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

Detaylı Bibliyografya
Asıl Yazarlar:	Grau, B, Horrocks, I, Krötzsch, M, Kupke, C, Magka, D, Motik, B, Wang, Z
Materyal Türü:	Journal article
Dil:	English
Baskı/Yayın Bilgisi:	Association for the Advancement of Artificial Intelligence 2013

Benzer Materyaller

Acyclicity Conditions and their Application to Query Answering in Description Logics
Yazar:: Grau, B, ve diğerleri
Baskı/Yayın Bilgisi: (2012)

Acyclicity Conditions and their Application to Query Answering in Description Logics
Yazar:: Grau, B, ve diğerleri
Baskı/Yayın Bilgisi: (2012)

Goal-driven query answering for existential rules with equality
Yazar:: Benedikt, M, ve diğerleri
Baskı/Yayın Bilgisi: (2018)

Extending Decidable Existential Rules by Joining Acyclicity and Guardedness.
Yazar:: Krötzsch, M, ve diğerleri
Baskı/Yayın Bilgisi: (2011)

Computing Stable Models for Nonmonotonic Existential Rules
Yazar:: Magka, D, ve diğerleri
Baskı/Yayın Bilgisi: (2013)

Explanations for Query Answers under Existential Rules
Yazar:: Ceylan, İ, ve diğerleri
Baskı/Yayın Bilgisi: (2019)

A rule-based ontological framework for the classification of molecules
Yazar:: Magka, D, ve diğerleri
Baskı/Yayın Bilgisi: (2014)

Explanations for negative query answers under existential rules
Yazar:: Ceylan, I, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Generalized consistent query answering under existential rules
Yazar:: Eiter, T, ve diğerleri
Baskı/Yayın Bilgisi: (2016)

On the Interaction of Existential Rules and Equality Constraints in Ontology Querying
Yazar:: Calì, A, ve diğerleri
Baskı/Yayın Bilgisi: (2012)

Query Answering for OWL-DL with Rules.
Yazar:: Motik, B, ve diğerleri
Baskı/Yayın Bilgisi: (2004)

Query Answering for OWL-DL with rules.
Yazar:: Motik, B, ve diğerleri
Baskı/Yayın Bilgisi: (2005)

Answering Queries over OWL Ontologies with SPARQL
Yazar:: Kollia, I, ve diğerleri
Baskı/Yayın Bilgisi: (2011)

SPARQL Query Answering over OWL Ontologies
Yazar:: Kollia, I, ve diğerleri
Baskı/Yayın Bilgisi: (2011)

Explanations for inconsistency-tolerant query answering under existential rules
Yazar:: Lukasiewicz, T, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

From classical to consistent query answering under existential rules
Yazar:: Lukasiewicz, T, ve diğerleri
Baskı/Yayın Bilgisi: (2015)

Preferred explanations for ontology−mediated queries under existential rules
Yazar:: Ceylan, II, ve diğerleri
Baskı/Yayın Bilgisi: (2021)

Complete Query Answering Over Horn Ontologies Using a Triple Store
Yazar:: Zhou, Y, ve diğerleri
Baskı/Yayın Bilgisi: (2013)

Complete Query Answering over Horn Ontologies Using a Triple Store.
Yazar:: Zhou, Y, ve diğerleri
Baskı/Yayın Bilgisi: (2013)

Efficient Query Answering for OWL 2.
Yazar:: Pérez-Urbina, H, ve diğerleri
Baskı/Yayın Bilgisi: (2009)

Efficient Query Answering for OWL 2
Yazar:: Pérez−Urbina, H, ve diğerleri
Baskı/Yayın Bilgisi: (2009)

Pay−as−you−go ontology query answering using a datalog reasoner
Yazar:: Zhou, Y, ve diğerleri
Baskı/Yayın Bilgisi: (2014)

Modeling Ontologies Using OWL‚ Description Graphs and Rules
Yazar:: Motik, B, ve diğerleri
Baskı/Yayın Bilgisi: (2008)

Practical Considerations for Query Answering in OWL 2
Yazar:: Pérez−Urbina, H, ve diğerleri
Baskı/Yayın Bilgisi: (2009)

Introducing Nominals to the Combined Query Answering Approaches for EL
Yazar:: Stefanoni, G, ve diğerleri
Baskı/Yayın Bilgisi: (2013)

Introducing Nominals to the Combined Query Answering Approaches for EL
Yazar:: Stefanoni, G, ve diğerleri
Baskı/Yayın Bilgisi: (2013)

Reasoning over Ontologies with Hidden Content: The Import-by-Query Approach
Yazar:: Grau, B, ve diğerleri
Baskı/Yayın Bilgisi: (2014)

Reasoning over Ontologies with Hidden Content: The Import−by−Query Approach
Yazar:: Grau, B, ve diğerleri
Baskı/Yayın Bilgisi: (2012)

Representing ontologies using description logics, description graphs, and rules.
Yazar:: Motik, B, ve diğerleri
Baskı/Yayın Bilgisi: (2009)

Representing Ontologies Using Description Logics‚ Description Graphs and Rules
Yazar:: Motik, B, ve diğerleri
Baskı/Yayın Bilgisi: (2009)

Conjunctive query answering over unrestricted OWL 2 ontologies
Yazar:: Igne, F, ve diğerleri
Baskı/Yayın Bilgisi: (2023)

Import-by-Query: Ontology Reasoning under Access Limitations.
Yazar:: Grau, B, ve diğerleri
Baskı/Yayın Bilgisi: (2009)

Import−by−Query: Ontology Reasoning under Access Limitations
Yazar:: Grau, B, ve diğerleri
Baskı/Yayın Bilgisi: (2009)

Import−by−Query: Ontology Reasoning under Access Limitations
Yazar:: Grau, B, ve diğerleri
Baskı/Yayın Bilgisi: (2015)

Distributed RDF query answering with dynamic data exchange
Yazar:: Potter, A, ve diğerleri
Baskı/Yayın Bilgisi: (2016)

The complexity of answering conjunctive and navigational queries over OWL 2 EL knowledge bases
Yazar:: Stefanoni, G, ve diğerleri
Baskı/Yayın Bilgisi: (2014)

Tractable query answering and rewriting under description logic constraints.
Yazar:: Pérez-Urbina, H, ve diğerleri
Baskı/Yayın Bilgisi: (2010)

Tractable Query Answering and Rewriting under Description Logic Constraints
Yazar:: Pérez−Urbina, H, ve diğerleri
Baskı/Yayın Bilgisi: (2009)

Privacy−preserving Query Answering in Logic−based Information Systems
Yazar:: Grau, B, ve diğerleri
Baskı/Yayın Bilgisi: (2008)

Concrete Results on Abstract Rules
Yazar:: Krötzsch, M, ve diğerleri
Baskı/Yayın Bilgisi: (2013)