Datalog±: A unified approach to ontologies and integrity constraints

17th Italian Symposium on Advanced Database Systems, SEBD 2009

Volumn , Issue , 2009, Pages 1-2

  Calì, Andrea ^a,b   Gottlob, Georg ^a,b   Lukasiewicz, Thomas ^a  

^a UNIVERSITY OF OXFORD   (United Kingdom)

^b UNIVERSITY OF OXFORD   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 84893342670     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (7)

1. A. Cal?, G. Gottlob, and M. Kifer. Taming the infinite chase: Query answering under expressive relational constraints. In Proc. KR-2008, pp. 70-80. AAAI Press, 2008. Revised version: http://benner.dbai.tuwien.ac.at/staff/ gottlob/CGK.pdf.
2. A. Cal?, G. Gottlob, and T. Lukasiewicz. A general Datalog-based framework for tractable query answering over ontologies. In Proc. PODS-2009. ACM Press, 2009 (in press).
3. A. Cal?, G. Gottlob, and T. Lukasiewicz. Datalog-: A unified approach to ontologies and integrity constraints. In Proc. ICDT-2009, pp. 14-30. ACM Press, 2009.
4. A. Cal?, D. Lembo, and R. Rosati. On the decidability and complexity of query answering over inconsistent and incomplete databases. In Proc. PODS-2003, pp. 260-271, 2003.
5. D. Calvanese, G. De Giacomo, D. Lembo, M. Lenzerini, and R. Rosati. Tractable reasoning and efficient query answering in description logics: The DL-Lite family. J. Autom. Reasoning, 39(3):385-429, 2007.
6. D. Maier, A. O. Mendelzon, and Y. Sagiv. Testing implications of data dependencies. ACM Trans. Database Syst., 4(4):455-469, 1979.
7. A. Poggi, D. Lembo, D. Calvanese, G. De Giacomo, M. Lenzerini, and R. Rosati. Linking data to ontologies. J. Data Semantics, 10:133-173, 2008.