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...

Full description

Bibliographic Details
Main Author: Knorr, Matthias (author)
Other Authors: Alferes, José Júlio (author)
Format: conferenceObject
Language:eng
Published: 2019
Subjects:
Description Logic
Reasoning Task
Conjunctive Query
Minimal Answer
Combine Complexity
Theoretical Computer Science
Computer Science(all)
Online Access:https://doi.org/10.1007/978-3-642-25073-6_22
Country:Portugal
Oai:oai:run.unl.pt:10362/64711

Internet

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

Similar Items