Acyclicity notions for existential rules and their application to query answering in ontologies

Acyclicity notions for existential rules and their application to query answering in ontologies

Answering conjunctive queries (CQs) over a set of facts extended with existential rules is a prominent problem in knowledge representation and databases. This problem can be solved using the chase algorithm, which extends the given set of facts with fresh facts in order to satisfy the rules. If the...

Full beskrivning

Bibliografiska uppgifter
Huvudupphovsmän:	Grau, B, Horrocks, I, Krötzsch, M, Kupke, C, Magka, D, Motik, B, Wang, Z
Materialtyp:	Journal article
Språk:	English
Publicerad:	Association for the Advancement of Artificial Intelligence 2013

Liknande verk

Acyclicity Conditions and their Application to Query Answering in Description Logics
av: Grau, B, et al.
Publicerad: (2012)

Acyclicity Conditions and their Application to Query Answering in Description Logics
av: Grau, B, et al.
Publicerad: (2012)

Goal-driven query answering for existential rules with equality
av: Benedikt, M, et al.
Publicerad: (2018)

Extending Decidable Existential Rules by Joining Acyclicity and Guardedness.
av: Krötzsch, M, et al.
Publicerad: (2011)

Computing Stable Models for Nonmonotonic Existential Rules
av: Magka, D, et al.
Publicerad: (2013)

Explanations for Query Answers under Existential Rules
av: Ceylan, İ, et al.
Publicerad: (2019)

A rule-based ontological framework for the classification of molecules
av: Magka, D, et al.
Publicerad: (2014)

Explanations for negative query answers under existential rules
av: Ceylan, I, et al.
Publicerad: (2020)

Generalized consistent query answering under existential rules
av: Eiter, T, et al.
Publicerad: (2016)

On the Interaction of Existential Rules and Equality Constraints in Ontology Querying
av: Calì, A, et al.
Publicerad: (2012)

Query Answering for OWL-DL with Rules.
av: Motik, B, et al.
Publicerad: (2004)

Query Answering for OWL-DL with rules.
av: Motik, B, et al.
Publicerad: (2005)

Answering Queries over OWL Ontologies with SPARQL
av: Kollia, I, et al.
Publicerad: (2011)

SPARQL Query Answering over OWL Ontologies
av: Kollia, I, et al.
Publicerad: (2011)

Explanations for inconsistency-tolerant query answering under existential rules
av: Lukasiewicz, T, et al.
Publicerad: (2020)

From classical to consistent query answering under existential rules
av: Lukasiewicz, T, et al.
Publicerad: (2015)

Preferred explanations for ontology−mediated queries under existential rules
av: Ceylan, II, et al.
Publicerad: (2021)

Complete Query Answering Over Horn Ontologies Using a Triple Store
av: Zhou, Y, et al.
Publicerad: (2013)

Complete Query Answering over Horn Ontologies Using a Triple Store.
av: Zhou, Y, et al.
Publicerad: (2013)

Efficient Query Answering for OWL 2.
av: Pérez-Urbina, H, et al.
Publicerad: (2009)

Efficient Query Answering for OWL 2
av: Pérez−Urbina, H, et al.
Publicerad: (2009)

Pay−as−you−go ontology query answering using a datalog reasoner
av: Zhou, Y, et al.
Publicerad: (2014)

Modeling Ontologies Using OWL‚ Description Graphs and Rules
av: Motik, B, et al.
Publicerad: (2008)

Practical Considerations for Query Answering in OWL 2
av: Pérez−Urbina, H, et al.
Publicerad: (2009)

Introducing Nominals to the Combined Query Answering Approaches for EL
av: Stefanoni, G, et al.
Publicerad: (2013)

Introducing Nominals to the Combined Query Answering Approaches for EL
av: Stefanoni, G, et al.
Publicerad: (2013)

Reasoning over Ontologies with Hidden Content: The Import-by-Query Approach
av: Grau, B, et al.
Publicerad: (2014)

Reasoning over Ontologies with Hidden Content: The Import−by−Query Approach
av: Grau, B, et al.
Publicerad: (2012)

Representing ontologies using description logics, description graphs, and rules.
av: Motik, B, et al.
Publicerad: (2009)

Representing Ontologies Using Description Logics‚ Description Graphs and Rules
av: Motik, B, et al.
Publicerad: (2009)

Conjunctive query answering over unrestricted OWL 2 ontologies
av: Igne, F, et al.
Publicerad: (2023)

Import-by-Query: Ontology Reasoning under Access Limitations.
av: Grau, B, et al.
Publicerad: (2009)

Import−by−Query: Ontology Reasoning under Access Limitations
av: Grau, B, et al.
Publicerad: (2009)

Import−by−Query: Ontology Reasoning under Access Limitations
av: Grau, B, et al.
Publicerad: (2015)

Distributed RDF query answering with dynamic data exchange
av: Potter, A, et al.
Publicerad: (2016)

The complexity of answering conjunctive and navigational queries over OWL 2 EL knowledge bases
av: Stefanoni, G, et al.
Publicerad: (2014)

Tractable query answering and rewriting under description logic constraints.
av: Pérez-Urbina, H, et al.
Publicerad: (2010)

Tractable Query Answering and Rewriting under Description Logic Constraints
av: Pérez−Urbina, H, et al.
Publicerad: (2009)

Privacy−preserving Query Answering in Logic−based Information Systems
av: Grau, B, et al.
Publicerad: (2008)

Concrete Results on Abstract Rules
av: Krötzsch, M, et al.
Publicerad: (2013)