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

書誌詳細
主要な著者:	Grau, B, Horrocks, I, Krötzsch, M, Kupke, C, Magka, D, Motik, B, Wang, Z
フォーマット:	Journal article
言語:	English
出版事項:	Association for the Advancement of Artificial Intelligence 2013

類似資料

Acyclicity Conditions and their Application to Query Answering in Description Logics
著者:: Grau, B, 等
出版事項: (2012)

Acyclicity Conditions and their Application to Query Answering in Description Logics
著者:: Grau, B, 等
出版事項: (2012)

Goal-driven query answering for existential rules with equality
著者:: Benedikt, M, 等
出版事項: (2018)

Extending Decidable Existential Rules by Joining Acyclicity and Guardedness.
著者:: Krötzsch, M, 等
出版事項: (2011)

Computing Stable Models for Nonmonotonic Existential Rules
著者:: Magka, D, 等
出版事項: (2013)

Explanations for Query Answers under Existential Rules
著者:: Ceylan, İ, 等
出版事項: (2019)

A rule-based ontological framework for the classification of molecules
著者:: Magka, D, 等
出版事項: (2014)

Explanations for negative query answers under existential rules
著者:: Ceylan, I, 等
出版事項: (2020)

Generalized consistent query answering under existential rules
著者:: Eiter, T, 等
出版事項: (2016)

On the Interaction of Existential Rules and Equality Constraints in Ontology Querying
著者:: Calì, A, 等
出版事項: (2012)

Query Answering for OWL-DL with Rules.
著者:: Motik, B, 等
出版事項: (2004)

Query Answering for OWL-DL with rules.
著者:: Motik, B, 等
出版事項: (2005)

Answering Queries over OWL Ontologies with SPARQL
著者:: Kollia, I, 等
出版事項: (2011)

SPARQL Query Answering over OWL Ontologies
著者:: Kollia, I, 等
出版事項: (2011)

Explanations for inconsistency-tolerant query answering under existential rules
著者:: Lukasiewicz, T, 等
出版事項: (2020)

From classical to consistent query answering under existential rules
著者:: Lukasiewicz, T, 等
出版事項: (2015)

Preferred explanations for ontology−mediated queries under existential rules
著者:: Ceylan, II, 等
出版事項: (2021)

Complete Query Answering Over Horn Ontologies Using a Triple Store
著者:: Zhou, Y, 等
出版事項: (2013)

Complete Query Answering over Horn Ontologies Using a Triple Store.
著者:: Zhou, Y, 等
出版事項: (2013)

Efficient Query Answering for OWL 2.
著者:: Pérez-Urbina, H, 等
出版事項: (2009)

Efficient Query Answering for OWL 2
著者:: Pérez−Urbina, H, 等
出版事項: (2009)

Pay−as−you−go ontology query answering using a datalog reasoner
著者:: Zhou, Y, 等
出版事項: (2014)

Modeling Ontologies Using OWL‚ Description Graphs and Rules
著者:: Motik, B, 等
出版事項: (2008)

Practical Considerations for Query Answering in OWL 2
著者:: Pérez−Urbina, H, 等
出版事項: (2009)

Introducing Nominals to the Combined Query Answering Approaches for EL
著者:: Stefanoni, G, 等
出版事項: (2013)

Introducing Nominals to the Combined Query Answering Approaches for EL
著者:: Stefanoni, G, 等
出版事項: (2013)

Reasoning over Ontologies with Hidden Content: The Import-by-Query Approach
著者:: Grau, B, 等
出版事項: (2014)

Reasoning over Ontologies with Hidden Content: The Import−by−Query Approach
著者:: Grau, B, 等
出版事項: (2012)

Representing ontologies using description logics, description graphs, and rules.
著者:: Motik, B, 等
出版事項: (2009)

Representing Ontologies Using Description Logics‚ Description Graphs and Rules
著者:: Motik, B, 等
出版事項: (2009)

Conjunctive query answering over unrestricted OWL 2 ontologies
著者:: Igne, F, 等
出版事項: (2023)

Import-by-Query: Ontology Reasoning under Access Limitations.
著者:: Grau, B, 等
出版事項: (2009)

Import−by−Query: Ontology Reasoning under Access Limitations
著者:: Grau, B, 等
出版事項: (2009)

Import−by−Query: Ontology Reasoning under Access Limitations
著者:: Grau, B, 等
出版事項: (2015)

Distributed RDF query answering with dynamic data exchange
著者:: Potter, A, 等
出版事項: (2016)

The complexity of answering conjunctive and navigational queries over OWL 2 EL knowledge bases
著者:: Stefanoni, G, 等
出版事項: (2014)

Tractable query answering and rewriting under description logic constraints.
著者:: Pérez-Urbina, H, 等
出版事項: (2010)

Tractable Query Answering and Rewriting under Description Logic Constraints
著者:: Pérez−Urbina, H, 等
出版事項: (2009)

Privacy−preserving Query Answering in Logic−based Information Systems
著者:: Grau, B, 等
出版事項: (2008)

Concrete Results on Abstract Rules
著者:: Krötzsch, M, 等
出版事項: (2013)