Datalog±: A Unified Approach to Ontologies and Integrity Constraints

Datalog±: A Unified Approach to Ontologies and Integrity Constraints

Hiển thị phiên bản (1) khác

<p>We report on a recently introduced family of expressive extensions of Datalog, called Datalog+/-, which is a new framework for representing ontological axioms in form of integrity constraints, and for query answering under such constraints. Datalog+/- is derived from Datalog by allowing exi...

Mô tả đầy đủ

Chi tiết về thư mục
Những tác giả chính:	Calì, A, Gottlob, G, Lukasiewicz, T
Định dạng:	Conference item
Được phát hành:	ACM Press 2009

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

Datalog±: a unified approach to ontologies and integrity constraints.
Bằng: Calì, A, et al.
Được phát hành: (2009)

Tractable Query Answering over Ontologies with Datalog+⁄−
Bằng: Calì, A, et al.
Được phát hành: (2009)

Datalog+⁄−: A Family of Languages for Ontology Querying
Bằng: Calì, A, et al.
Được phát hành: (2011)

Datalog+/-: A Family of Languages for Ontology Querying.
Bằng: Calì, A, et al.
Được phát hành: (2010)

A General Datalog−Based Framework for Tractable Query Answering over Ontologies
Bằng: Calì, A, et al.
Được phát hành: (2009)

A general datalog-based framework for tractable query answering over ontologies.
Bằng: Calì, A, et al.
Được phát hành: (2009)

A General Datalog−Based Framework for Tractable Query Answering over Ontologies
Bằng: Calì, A, et al.
Được phát hành: (2012)

A general Datalog-based framework for tractable query answering over ontologies.
Bằng: Calì, A, et al.
Được phát hành: (2012)

A General Datalog−Based Framework for Tractable Query Answering over Ontologies
Bằng: Calì, A, et al.
Được phát hành: (2012)

Answering Threshold Queries in Probabilistic Datalog+/- Ontologies.
Bằng: Gottlob, G, et al.
Được phát hành: (2011)

Conjunctive Query Answering in Probabilistic Datalog+⁄− Ontologies
Bằng: Gottlob, G, et al.
Được phát hành: (2011)

Conjunctive Query Answering in Probabilistic Datalog+/- Ontologies.
Bằng: Gottlob, G, et al.
Được phát hành: (2011)

A General Datalog−Based Framework for Tractable Query Answering over Ontologies (Extended Abstract)
Bằng: Calì, A, et al.
Được phát hành: (2009)

Well−Founded Semantics for Extended Datalog and Ontological Reasoning
Bằng: Hernich, A, et al.
Được phát hành: (2013)

Well−Founded Semantics for Extended Datalog and Ontological Reasoning
Bằng: Hernich, A, et al.
Được phát hành: (2013)

Query Answering under Probabilistic Uncertainty in Datalog+⁄− Ontologies
Bằng: Gottlob, G, et al.
Được phát hành: (2013)

Inconsistency Handling in Datalog+⁄− Ontologies
Bằng: Lukasiewicz, T, et al.
Được phát hành: (2012)

Consistent Answers in Probabilistic Datalog+⁄− Ontologies
Bằng: Lukasiewicz, T, et al.
Được phát hành: (2012)

Datalog+⁄−: Questions and Answers
Bằng: Gottlob, G, et al.
Được phát hành: (2014)

Preference−Based Query Answering in Datalog+⁄− Ontologies
Bằng: Lukasiewicz, T, et al.
Được phát hành: (2013)

Preference−Based Query Answering in Datalog+⁄− Ontologies
Bằng: Lukasiewicz, T, et al.
Được phát hành: (2013)

Group Preferences for Query Answering in Datalog+⁄− Ontologies
Bằng: Lukasiewicz, T, et al.
Được phát hành: (2013)

Preference−Based Query Answering in Probabilistic Datalog+⁄− Ontologies
Bằng: Lukasiewicz, T, et al.
Được phát hành: (2013)

Datalog+/-: A Family of Logical Knowledge Representation and Query Languages for New Applications.
Bằng: Calì, A, et al.
Được phát hành: (2010)

Datalog+⁄−: A Family of Logical Knowledge Representation and Query Languages for New Applications
Bằng: Calì, A, et al.
Được phát hành: (2010)

Preference−Based Query Answering in Probabilistic Datalog+⁄− Ontologies
Bằng: Lukasiewicz, T, et al.
Được phát hành: (2014)

Query Answering in Probabilistic Datalog+⁄− Ontologies under Group Preferences
Bằng: Lukasiewicz, T, et al.
Được phát hành: (2013)

Query Answering in Datalog+⁄− Ontologies under Group Preferences and Probabilistic Uncertainty
Bằng: Lukasiewicz, T, et al.
Được phát hành: (2013)

Datalog rewritability of Disjunctive Datalog programs and non-Horn ontologies
Bằng: Cuenca Grau, B, et al.
Được phát hành: (2016)

Top−k Query Answering in Datalog+/ Ontologies under Subjective Reports
Bằng: Lukasiewicz, T, et al.
Được phát hành: (2013)

Query Answering under Non−guarded Rules in Datalog+/−
Bằng: Calì, A, et al.
Được phát hành: (2010)

Ontological query answering under many-valued group preferences in Datalog+/–
Bằng: Fazzinga, B, et al.
Được phát hành: (2017)

Disjunctive Datalog
Bằng: Eiter, T, et al.
Được phát hành: (1997)

Datalog Rewritability of Disjunctive Datalog Programs and its Applications to Ontology Reasoning
Bằng: Kaminski, M, et al.
Được phát hành: (2014)

Datalog rewritability of disjunctive datalog programs and its applications to ontology reasoning
Bằng: Kaminski, M, et al.
Được phát hành: (2014)

Datalog rewritability of disjunctive datalog programs and its applications to ontology reasoning
Bằng: Kaminski, M, et al.
Được phát hành: (2014)

Computing datalog rewritings for disjunctive datalog programs and description logic ontologies
Bằng: Kaminski, M, et al.
Được phát hành: (2014)

Datalog Rewritability of Disjunctive Datalog Programs and its Applications to Ontology Reasoning
Bằng: Kaminski, M, et al.
Được phát hành: (2014)

Adding Disjunction to Datalog
Bằng: Eiter, T, et al.
Được phát hành: (1994)

A Logical Toolbox for Ontological Reasoning
Bằng: Calì, A, et al.
Được phát hành: (2011)