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

Mô tả đầy đủ

Chi tiết về thư mục
Những tác giả chính:	Grau, B, Horrocks, I, Krötzsch, M, Kupke, C, Magka, D, Motik, B, Wang, Z
Định dạng:	Journal article
Ngôn ngữ:	English
Được phát hành:	Association for the Advancement of Artificial Intelligence 2013

Những quyển sách tương tự

Acyclicity Conditions and their Application to Query Answering in Description Logics
Bằng: Grau, B, et al.
Được phát hành: (2012)

Acyclicity Conditions and their Application to Query Answering in Description Logics
Bằng: Grau, B, et al.
Được phát hành: (2012)

Goal-driven query answering for existential rules with equality
Bằng: Benedikt, M, et al.
Được phát hành: (2018)

Extending Decidable Existential Rules by Joining Acyclicity and Guardedness.
Bằng: Krötzsch, M, et al.
Được phát hành: (2011)

Computing Stable Models for Nonmonotonic Existential Rules
Bằng: Magka, D, et al.
Được phát hành: (2013)

Explanations for Query Answers under Existential Rules
Bằng: Ceylan, İ, et al.
Được phát hành: (2019)

A rule-based ontological framework for the classification of molecules
Bằng: Magka, D, et al.
Được phát hành: (2014)

Explanations for negative query answers under existential rules
Bằng: Ceylan, I, et al.
Được phát hành: (2020)

Generalized consistent query answering under existential rules
Bằng: Eiter, T, et al.
Được phát hành: (2016)

On the Interaction of Existential Rules and Equality Constraints in Ontology Querying
Bằng: Calì, A, et al.
Được phát hành: (2012)

Query Answering for OWL-DL with Rules.
Bằng: Motik, B, et al.
Được phát hành: (2004)

Query Answering for OWL-DL with rules.
Bằng: Motik, B, et al.
Được phát hành: (2005)

Answering Queries over OWL Ontologies with SPARQL
Bằng: Kollia, I, et al.
Được phát hành: (2011)

SPARQL Query Answering over OWL Ontologies
Bằng: Kollia, I, et al.
Được phát hành: (2011)

Explanations for inconsistency-tolerant query answering under existential rules
Bằng: Lukasiewicz, T, et al.
Được phát hành: (2020)

From classical to consistent query answering under existential rules
Bằng: Lukasiewicz, T, et al.
Được phát hành: (2015)

Preferred explanations for ontology−mediated queries under existential rules
Bằng: Ceylan, II, et al.
Được phát hành: (2021)

Complete Query Answering Over Horn Ontologies Using a Triple Store
Bằng: Zhou, Y, et al.
Được phát hành: (2013)

Complete Query Answering over Horn Ontologies Using a Triple Store.
Bằng: Zhou, Y, et al.
Được phát hành: (2013)

Efficient Query Answering for OWL 2.
Bằng: Pérez-Urbina, H, et al.
Được phát hành: (2009)

Efficient Query Answering for OWL 2
Bằng: Pérez−Urbina, H, et al.
Được phát hành: (2009)

Pay−as−you−go ontology query answering using a datalog reasoner
Bằng: Zhou, Y, et al.
Được phát hành: (2014)

Modeling Ontologies Using OWL‚ Description Graphs and Rules
Bằng: Motik, B, et al.
Được phát hành: (2008)

Practical Considerations for Query Answering in OWL 2
Bằng: Pérez−Urbina, H, et al.
Được phát hành: (2009)

Introducing Nominals to the Combined Query Answering Approaches for EL
Bằng: Stefanoni, G, et al.
Được phát hành: (2013)

Introducing Nominals to the Combined Query Answering Approaches for EL
Bằng: Stefanoni, G, et al.
Được phát hành: (2013)

Reasoning over Ontologies with Hidden Content: The Import-by-Query Approach
Bằng: Grau, B, et al.
Được phát hành: (2014)

Reasoning over Ontologies with Hidden Content: The Import−by−Query Approach
Bằng: Grau, B, et al.
Được phát hành: (2012)

Representing ontologies using description logics, description graphs, and rules.
Bằng: Motik, B, et al.
Được phát hành: (2009)

Representing Ontologies Using Description Logics‚ Description Graphs and Rules
Bằng: Motik, B, et al.
Được phát hành: (2009)

Conjunctive query answering over unrestricted OWL 2 ontologies
Bằng: Igne, F, et al.
Được phát hành: (2023)

Import-by-Query: Ontology Reasoning under Access Limitations.
Bằng: Grau, B, et al.
Được phát hành: (2009)

Import−by−Query: Ontology Reasoning under Access Limitations
Bằng: Grau, B, et al.
Được phát hành: (2009)

Import−by−Query: Ontology Reasoning under Access Limitations
Bằng: Grau, B, et al.
Được phát hành: (2015)

Distributed RDF query answering with dynamic data exchange
Bằng: Potter, A, et al.
Được phát hành: (2016)

The complexity of answering conjunctive and navigational queries over OWL 2 EL knowledge bases
Bằng: Stefanoni, G, et al.
Được phát hành: (2014)

Tractable query answering and rewriting under description logic constraints.
Bằng: Pérez-Urbina, H, et al.
Được phát hành: (2010)

Tractable Query Answering and Rewriting under Description Logic Constraints
Bằng: Pérez−Urbina, H, et al.
Được phát hành: (2009)

Privacy−preserving Query Answering in Logic−based Information Systems
Bằng: Grau, B, et al.
Được phát hành: (2008)

Concrete Results on Abstract Rules
Bằng: Krötzsch, M, et al.
Được phát hành: (2013)