Acyclicity Notions for Existential Rules and Their Application to Query Answering in Ontologies

DOI10.1613/jair.3949zbMath1270.68295arXiv1406.4110OpenAlexW3102313542MaRDI QIDQ2846569

Markus Krötzsch, Boris Motik, Ian Horrocks, Clemens Kupke, Zhe Wang, Bernardo Cuenca Grau, Despoina Magka

Publication date: 6 September 2013

Published in: Journal of Artificial Intelligence Research (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1406.4110

Mathematics Subject Classification ID

Knowledge representation (68T30) Information storage and retrieval of data (68P20)

Related Items

Bringing existential variables in answer set programming and bringing non-monotony in existential rules: two sides of the same coin, Craig interpolation with clausal first-order tableaux, Preserving Constraints with the Stable Chase, Restricted Chase Termination: A Hierarchical Approach and Experimentation, Uniform Restricted Chase Termination, Logical foundations of information disclosure in ontology-based data integration, Logic, Languages, and Rules for Web Data Extraction and Reasoning over Data, Unnamed Item, Unnamed Item, Semi-oblivious chase termination: the sticky case, Restricted Chase Termination for Existential Rules: A Hierarchical Approach and Experimentation, Characterizing Boundedness in Chase Variants, Computing optimal repairs of quantified ABoxes w.r.t. static \(\mathcal{EL}\) TBoxes, A Single Approach to Decide Chase Termination on Linear Existential Rules, Query inseparability for \(\mathcal{ALC}\) ontologies, Query answering over inconsistent knowledge bases: a probabilistic approach, On the Complexity of Evaluating Regular Path Queries over Linear Existential Rules, Domain expansion for ASP-programs with external sources