论文信息 - Adding Integrity Constraints to OWL

Adding Integrity Constraints to OWL

Schema statements in OWL are interpreted quite differently from analogous statements in relational databases. If these statements are meant to be interpreted as integrity constraints (ICs), OWL’s interpretation may seem confusing and/or inappropriate. Therefore, we propose an extension of OWL with ICs that captures the intuition behind ICs in relational databases. We show that, if the constraints are satisfied, we can disregard them while answering a broad range of positive queries.

Boris Motik | Ian Horrocks | Ulrike Sattler

[1] Boris Motik,et al. A Faithful Integration of Description Logics with Logic Programming , 2007, IJCAI.

[2] Christoph Weidenbach,et al. Computing Small Clause Normal Forms , 2001, Handbook of Automated Reasoning.

[3] Carsten Lutz,et al. Description Logics with Circumscription , 2006, KR.

[4] Francesco M. Donini,et al. Description logics of minimal knowledge and negation as failure , 2002, TOCL.

[5] Boris Motik,et al. Integrating Description Logics and Relational Databases , 2006 .

[6] Boris Motik,et al. Bridging the gap between OWL and relational databases , 2007, WWW '07.

[7] Diego Calvanese,et al. The Description Logic Handbook: Theory, Implementation, and Applications , 2003, Description Logic Handbook.

[8] Vladimir Lifschitz. Minimal Belief and Negation as Failure , 1994, Artif. Intell..

[9] Alexander Borgida,et al. On the Relative Expressiveness of Description Logics and Predicate Logics , 1996, Artif. Intell..

[10] Raymond Reiter,et al. What should a database know? , 1988, PODS '88.

[11] Stijn Heymans,et al. Conceptual logic programs , 2006, Annals of Mathematics and Artificial Intelligence.