Querying OWL 2 QL and non-monotonic rules

Answering (conjunctive) queries is an important reasoning task in Description Logics (DL), hence also in highly expressive ontology languages, such as OWL. Extending such ontology languages with rules, such as those expressible in RIF-Core, and further with non-monotonic rules, integrating default n...

ver descrição completa

Detalhes bibliográficos
Autor principal: Knorr, Matthias (author)
Outros Autores: Alferes, José Júlio (author)
Formato: conferenceObject
Idioma:eng
Publicado em: 2019
Assuntos:
Description Logic
Reasoning Task
Conjunctive Query
Minimal Answer
Combine Complexity
Theoretical Computer Science
Computer Science(all)
Texto completo:https://doi.org/10.1007/978-3-642-25073-6_22
País:Portugal
Oai:oai:run.unl.pt:10362/64711

Texto Completo

https://doi.org/10.1007/978-3-642-25073-6_22

Registros relacionados