The impact of disjunction on reasoning under existential rules

Thesis

Ontological database management systems are a powerful tool that combine traditional database techniques with ontological reasoning methods. In this setting, a classical extensional database is enriched with an ontology, or a set of logical assertions, that describe how new, intensional knowledge can be derived from the extensional data. Conjunctive queries are therefore answered against this combined knowledge base of extensional and intensional data.

Many languages that r...

Expand abstract

Authors: Morak, M

• Type of award: DPhil
• Level of award: Doctoral
• Awarding institution: University of Oxford
• Language: English
• Keywords: Description Logics; Tuple-Generating Dependencies; Disjunction; Complexity; Existential Rules
• Subjects: Artificial Intelligence; Databases; Logic; Ontological Reasoning; Knowledge Representation