Datalog±: A Unified Approach to Ontologies and Integrity Constraints

Datalog±: A Unified Approach to Ontologies and Integrity Constraints

Mostra altre versioni (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...

Descrizione completa

Dettagli Bibliografici
Autori principali:	Calì, A, Gottlob, G, Lukasiewicz, T
Natura:	Conference item
Pubblicazione:	ACM Press 2009

Documenti analoghi

Datalog±: a unified approach to ontologies and integrity constraints.
di: Calì, A, et al.
Pubblicazione: (2009)

Tractable Query Answering over Ontologies with Datalog+⁄−
di: Calì, A, et al.
Pubblicazione: (2009)

Datalog+⁄−: A Family of Languages for Ontology Querying
di: Calì, A, et al.
Pubblicazione: (2011)

Datalog+/-: A Family of Languages for Ontology Querying.
di: Calì, A, et al.
Pubblicazione: (2010)

A General Datalog−Based Framework for Tractable Query Answering over Ontologies
di: Calì, A, et al.
Pubblicazione: (2009)

A general datalog-based framework for tractable query answering over ontologies.
di: Calì, A, et al.
Pubblicazione: (2009)

A General Datalog−Based Framework for Tractable Query Answering over Ontologies
di: Calì, A, et al.
Pubblicazione: (2012)

A general Datalog-based framework for tractable query answering over ontologies.
di: Calì, A, et al.
Pubblicazione: (2012)

A General Datalog−Based Framework for Tractable Query Answering over Ontologies
di: Calì, A, et al.
Pubblicazione: (2012)

Answering Threshold Queries in Probabilistic Datalog+/- Ontologies.
di: Gottlob, G, et al.
Pubblicazione: (2011)

Conjunctive Query Answering in Probabilistic Datalog+⁄− Ontologies
di: Gottlob, G, et al.
Pubblicazione: (2011)

Conjunctive Query Answering in Probabilistic Datalog+/- Ontologies.
di: Gottlob, G, et al.
Pubblicazione: (2011)

A General Datalog−Based Framework for Tractable Query Answering over Ontologies (Extended Abstract)
di: Calì, A, et al.
Pubblicazione: (2009)

Well−Founded Semantics for Extended Datalog and Ontological Reasoning
di: Hernich, A, et al.
Pubblicazione: (2013)

Well−Founded Semantics for Extended Datalog and Ontological Reasoning
di: Hernich, A, et al.
Pubblicazione: (2013)

Query Answering under Probabilistic Uncertainty in Datalog+⁄− Ontologies
di: Gottlob, G, et al.
Pubblicazione: (2013)

Inconsistency Handling in Datalog+⁄− Ontologies
di: Lukasiewicz, T, et al.
Pubblicazione: (2012)

Consistent Answers in Probabilistic Datalog+⁄− Ontologies
di: Lukasiewicz, T, et al.
Pubblicazione: (2012)

Datalog+⁄−: Questions and Answers
di: Gottlob, G, et al.
Pubblicazione: (2014)

Preference−Based Query Answering in Datalog+⁄− Ontologies
di: Lukasiewicz, T, et al.
Pubblicazione: (2013)

Preference−Based Query Answering in Datalog+⁄− Ontologies
di: Lukasiewicz, T, et al.
Pubblicazione: (2013)

Group Preferences for Query Answering in Datalog+⁄− Ontologies
di: Lukasiewicz, T, et al.
Pubblicazione: (2013)

Preference−Based Query Answering in Probabilistic Datalog+⁄− Ontologies
di: Lukasiewicz, T, et al.
Pubblicazione: (2013)

Datalog+/-: A Family of Logical Knowledge Representation and Query Languages for New Applications.
di: Calì, A, et al.
Pubblicazione: (2010)

Datalog+⁄−: A Family of Logical Knowledge Representation and Query Languages for New Applications
di: Calì, A, et al.
Pubblicazione: (2010)

Preference−Based Query Answering in Probabilistic Datalog+⁄− Ontologies
di: Lukasiewicz, T, et al.
Pubblicazione: (2014)

Query Answering in Probabilistic Datalog+⁄− Ontologies under Group Preferences
di: Lukasiewicz, T, et al.
Pubblicazione: (2013)

Query Answering in Datalog+⁄− Ontologies under Group Preferences and Probabilistic Uncertainty
di: Lukasiewicz, T, et al.
Pubblicazione: (2013)

Datalog rewritability of Disjunctive Datalog programs and non-Horn ontologies
di: Cuenca Grau, B, et al.
Pubblicazione: (2016)

Query Answering under Non−guarded Rules in Datalog+/−
di: Calì, A, et al.
Pubblicazione: (2010)

Top−k Query Answering in Datalog+/ Ontologies under Subjective Reports
di: Lukasiewicz, T, et al.
Pubblicazione: (2013)

Ontological query answering under many-valued group preferences in Datalog+/–
di: Fazzinga, B, et al.
Pubblicazione: (2017)

Disjunctive Datalog
di: Eiter, T, et al.
Pubblicazione: (1997)

Datalog Rewritability of Disjunctive Datalog Programs and its Applications to Ontology Reasoning
di: Kaminski, M, et al.
Pubblicazione: (2014)

Datalog rewritability of disjunctive datalog programs and its applications to ontology reasoning
di: Kaminski, M, et al.
Pubblicazione: (2014)

Datalog rewritability of disjunctive datalog programs and its applications to ontology reasoning
di: Kaminski, M, et al.
Pubblicazione: (2014)

Computing datalog rewritings for disjunctive datalog programs and description logic ontologies
di: Kaminski, M, et al.
Pubblicazione: (2014)

Datalog Rewritability of Disjunctive Datalog Programs and its Applications to Ontology Reasoning
di: Kaminski, M, et al.
Pubblicazione: (2014)

Adding Disjunction to Datalog
di: Eiter, T, et al.
Pubblicazione: (1994)

A Logical Toolbox for Ontological Reasoning
di: Calì, A, et al.
Pubblicazione: (2011)