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...
主要な著者: | Calì, A, Gottlob, G, Lukasiewicz, T |
---|---|
フォーマット: | Conference item |
出版事項: |
ACM Press
2009
|
類似資料
-
Datalog±: a unified approach to ontologies and integrity constraints.
著者:: Calì, A, 等
出版事項: (2009) -
Tractable Query Answering over Ontologies with Datalog+⁄−
著者:: Calì, A, 等
出版事項: (2009) -
Datalog+⁄−: A Family of Languages for Ontology Querying
著者:: Calì, A, 等
出版事項: (2011) -
Datalog+/-: A Family of Languages for Ontology Querying.
著者:: Calì, A, 等
出版事項: (2010) -
A General Datalog−Based Framework for Tractable Query Answering over Ontologies
著者:: Calì, A, 等
出版事項: (2009)