Datalog±: A Unified Approach to Ontologies and Integrity Constraints
<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...
Prif Awduron: | Calì, A, Gottlob, G, Lukasiewicz, T |
---|---|
Fformat: | Conference item |
Cyhoeddwyd: |
ACM Press
2009
|
Eitemau Tebyg
-
Datalog±: a unified approach to ontologies and integrity constraints.
gan: Calì, A, et al.
Cyhoeddwyd: (2009) -
Tractable Query Answering over Ontologies with Datalog+⁄−
gan: Calì, A, et al.
Cyhoeddwyd: (2009) -
Datalog+⁄−: A Family of Languages for Ontology Querying
gan: Calì, A, et al.
Cyhoeddwyd: (2011) -
Datalog+/-: A Family of Languages for Ontology Querying.
gan: Calì, A, et al.
Cyhoeddwyd: (2010) -
A General Datalog−Based Framework for Tractable Query Answering over Ontologies
gan: Calì, A, et al.
Cyhoeddwyd: (2009)