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

Descrizione completa

Dettagli Bibliografici
Autori principali:	Grau, B, Horrocks, I, Krötzsch, M, Kupke, C, Magka, D, Motik, B, Wang, Z
Natura:	Journal article
Lingua:	English
Pubblicazione:	Association for the Advancement of Artificial Intelligence 2013

Documenti analoghi

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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