Datalog±: A Unified Approach to Ontologies and Integrity Constraints

Datalog±: A Unified Approach to Ontologies and Integrity Constraints

Taispeáin leaganacha eile (1)

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

Cur síos iomlán

Sonraí bibleagrafaíochta
Príomhchruthaitheoirí:	Calì, A, Gottlob, G, Lukasiewicz, T
Formáid:	Conference item
Foilsithe / Cruthaithe:	ACM Press 2009

Míreanna comhchosúla

Datalog±: a unified approach to ontologies and integrity constraints.
de réir: Calì, A, et al.
Foilsithe / Cruthaithe: (2009)

Tractable Query Answering over Ontologies with Datalog+⁄−
de réir: Calì, A, et al.
Foilsithe / Cruthaithe: (2009)

Datalog+⁄−: A Family of Languages for Ontology Querying
de réir: Calì, A, et al.
Foilsithe / Cruthaithe: (2011)

Datalog+/-: A Family of Languages for Ontology Querying.
de réir: Calì, A, et al.
Foilsithe / Cruthaithe: (2010)

A General Datalog−Based Framework for Tractable Query Answering over Ontologies
de réir: Calì, A, et al.
Foilsithe / Cruthaithe: (2009)

A general datalog-based framework for tractable query answering over ontologies.
de réir: Calì, A, et al.
Foilsithe / Cruthaithe: (2009)

A General Datalog−Based Framework for Tractable Query Answering over Ontologies
de réir: Calì, A, et al.
Foilsithe / Cruthaithe: (2012)

A general Datalog-based framework for tractable query answering over ontologies.
de réir: Calì, A, et al.
Foilsithe / Cruthaithe: (2012)

A General Datalog−Based Framework for Tractable Query Answering over Ontologies
de réir: Calì, A, et al.
Foilsithe / Cruthaithe: (2012)

Answering Threshold Queries in Probabilistic Datalog+/- Ontologies.
de réir: Gottlob, G, et al.
Foilsithe / Cruthaithe: (2011)

Conjunctive Query Answering in Probabilistic Datalog+⁄− Ontologies
de réir: Gottlob, G, et al.
Foilsithe / Cruthaithe: (2011)

Conjunctive Query Answering in Probabilistic Datalog+/- Ontologies.
de réir: Gottlob, G, et al.
Foilsithe / Cruthaithe: (2011)

A General Datalog−Based Framework for Tractable Query Answering over Ontologies (Extended Abstract)
de réir: Calì, A, et al.
Foilsithe / Cruthaithe: (2009)

Well−Founded Semantics for Extended Datalog and Ontological Reasoning
de réir: Hernich, A, et al.
Foilsithe / Cruthaithe: (2013)

Well−Founded Semantics for Extended Datalog and Ontological Reasoning
de réir: Hernich, A, et al.
Foilsithe / Cruthaithe: (2013)

Query Answering under Probabilistic Uncertainty in Datalog+⁄− Ontologies
de réir: Gottlob, G, et al.
Foilsithe / Cruthaithe: (2013)

Inconsistency Handling in Datalog+⁄− Ontologies
de réir: Lukasiewicz, T, et al.
Foilsithe / Cruthaithe: (2012)

Consistent Answers in Probabilistic Datalog+⁄− Ontologies
de réir: Lukasiewicz, T, et al.
Foilsithe / Cruthaithe: (2012)

Datalog+⁄−: Questions and Answers
de réir: Gottlob, G, et al.
Foilsithe / Cruthaithe: (2014)

Preference−Based Query Answering in Datalog+⁄− Ontologies
de réir: Lukasiewicz, T, et al.
Foilsithe / Cruthaithe: (2013)

Preference−Based Query Answering in Datalog+⁄− Ontologies
de réir: Lukasiewicz, T, et al.
Foilsithe / Cruthaithe: (2013)

Group Preferences for Query Answering in Datalog+⁄− Ontologies
de réir: Lukasiewicz, T, et al.
Foilsithe / Cruthaithe: (2013)

Preference−Based Query Answering in Probabilistic Datalog+⁄− Ontologies
de réir: Lukasiewicz, T, et al.
Foilsithe / Cruthaithe: (2013)

Datalog+/-: A Family of Logical Knowledge Representation and Query Languages for New Applications.
de réir: Calì, A, et al.
Foilsithe / Cruthaithe: (2010)

Datalog+⁄−: A Family of Logical Knowledge Representation and Query Languages for New Applications
de réir: Calì, A, et al.
Foilsithe / Cruthaithe: (2010)

Preference−Based Query Answering in Probabilistic Datalog+⁄− Ontologies
de réir: Lukasiewicz, T, et al.
Foilsithe / Cruthaithe: (2014)

Query Answering in Probabilistic Datalog+⁄− Ontologies under Group Preferences
de réir: Lukasiewicz, T, et al.
Foilsithe / Cruthaithe: (2013)

Query Answering in Datalog+⁄− Ontologies under Group Preferences and Probabilistic Uncertainty
de réir: Lukasiewicz, T, et al.
Foilsithe / Cruthaithe: (2013)

Datalog rewritability of Disjunctive Datalog programs and non-Horn ontologies
de réir: Cuenca Grau, B, et al.
Foilsithe / Cruthaithe: (2016)

Top−k Query Answering in Datalog+/ Ontologies under Subjective Reports
de réir: Lukasiewicz, T, et al.
Foilsithe / Cruthaithe: (2013)

Query Answering under Non−guarded Rules in Datalog+/−
de réir: Calì, A, et al.
Foilsithe / Cruthaithe: (2010)

Ontological query answering under many-valued group preferences in Datalog+/–
de réir: Fazzinga, B, et al.
Foilsithe / Cruthaithe: (2017)

Disjunctive Datalog
de réir: Eiter, T, et al.
Foilsithe / Cruthaithe: (1997)

Datalog Rewritability of Disjunctive Datalog Programs and its Applications to Ontology Reasoning
de réir: Kaminski, M, et al.
Foilsithe / Cruthaithe: (2014)

Datalog rewritability of disjunctive datalog programs and its applications to ontology reasoning
de réir: Kaminski, M, et al.
Foilsithe / Cruthaithe: (2014)

Datalog rewritability of disjunctive datalog programs and its applications to ontology reasoning
de réir: Kaminski, M, et al.
Foilsithe / Cruthaithe: (2014)

Computing datalog rewritings for disjunctive datalog programs and description logic ontologies
de réir: Kaminski, M, et al.
Foilsithe / Cruthaithe: (2014)

Datalog Rewritability of Disjunctive Datalog Programs and its Applications to Ontology Reasoning
de réir: Kaminski, M, et al.
Foilsithe / Cruthaithe: (2014)

Adding Disjunction to Datalog
de réir: Eiter, T, et al.
Foilsithe / Cruthaithe: (1994)

A Logical Toolbox for Ontological Reasoning
de réir: Calì, A, et al.
Foilsithe / Cruthaithe: (2011)