|McKenzie, Craig, Gray, Peter and Preece, Alun David 2004. Extending SWRL to express fully-quantified constraints. Lecture Notes in Computer Science 3323 , pp. 139-154. 10.1007/978-3-540-30504-0_11|
Drawing on experience gained over a series of distributed knowledge base and database projects, we argue for the utility of an expressive quantified constraint language for the Semantic Web logic layer. Our Constraint Interchange Format (CIF) is based on classical range-restricted FOL. CIF allows the expression of invariant conditions in Semantic Web data models, but the choice of how to implement the constraints is left to local reasoners. We develop the quantified constraint representation as an extension of the current proposal for a Semantic Web Rule Language (SWRL). An RDF syntax for our extended CIF/SWRL is given in this paper. While our approach differs from SWRL in that existential quantifiers are handled explicitly rather than using OWL-DL constructs, we believe our proposal is still fully compatible with the use of the various OWL species as well as RDFS. We demonstrate the use of the CIF/SWRL representation in the context of a practical Semantic Web reasoning application, based on the CS AKTive Space demonstrator (the 2003 Semantic Web Challenge winner). We indicate where in our application it makes sense to use the existing SWRL directly, and where our CIF/SWRL allows more complex constraints to be expressed in a natural manner.
|Additional Information:||ISBN 9783540238423 - 'Rules and Rule Markup Languages for the Semantic Web' Third International Workshop, RuleML 2004, Hiroshima, Japan, November 8, 2004, Proceedings|
|Publisher:||Springer Berlin Heidelberg|
|Last Modified:||15 Nov 2013 10:51|
Cited 28 times in Google Scholar. View in Google Scholar
Cited 12 times in Scopus. View in Scopus. Powered By Scopus® Data
Actions (repository staff only)