Adding integrity constraints to OWL

CEUR Workshop Proceedings

Volumn 258, Issue , 2007, Pages

  Motik, Boris ^a   Horrocks, Ian ^a   Sattler, Ulrike ^a  

^a UNIVERSITY OF MANCHESTER   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

INTEGRITY CONSTRAINTS; RELATIONAL DATABASE;

BIRDS;

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

References (11)

1. F. Baader, D. Calvanese, D. McGuinness, D. Nardi, and P. F. Patel-Schneider, editors. The Description Logic Handbook: Theory, Implementation and Applications. Cambridge University Press, 2003.
2. P. Bonatti, C. Lutz, and F. Wolter. Description Logics with Circumscription. In Proc. KR 2006, pages 400-410, Lake District, UK, 2006.
3. A. Borgida. On the Relative Expressiveness of Description Logics and Predicate Logics. Artificial Intelligence, 82(1-2):353-367, 1996.
4. F. M. Donini, D. Nardi, and R. Rosati. Description Logics of Minimal Knowledge and Negation as Failure. ACM Transactions on Computational Logic, 3(2):177-225, 2002.
5. S. Heymans, D. Van Nieuwenborgh, and D. Vermeir. Conceptual Logic Programs. Annals of Mathematics and Artificial Intelligence, 2006. To appear.
6. V. Lifschitz. Minimal Belief and Negation as Failure. Artificial Intelligence, 70(1-2):53-72, 1994.
7. B. Motik, I. Horrocks, and U. Sattler. Bridging the Gap Between OWL and Relational Databases. In Proc. WWW 2007, Banff, Alberta, Canada. ACM Press. To appear.
8. B. Motik, I. Horrocks, and U. Sattler. Integrating Description Logics and Relational Databases. Technical report, University of Manchester, UK, 2006.
9. B. Motik and R. Rosati. A Faithful Integration of Description Logics with Logic Programming. In Proc. IJCAI 2007, Hyderabad, India, 2007.
10. A. Nonnengart and C. Weidenbach. Computing Small Clause Normal Forms. In Handbook of Automated Reasoning, volume I, chapter 6, pages 335-367. Elsevier Science, 2001.
11. R. Reiter. What Should a Database Know? Journal of Logic Programming, 14(1-2):127-153, 1992.