Cardiff University | Prifysgol Caerdydd ORCA
Online Research @ Cardiff 
WelshClear Cookie - decide language by browser settings

Extending SWRL to express fully-quantified constraints

McKenzie, Craig, Gray, Peter and Preece, Alun David ORCID: 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

Full text not available from this repository.


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.

Item Type: Article
Date Type: Publication
Status: Published
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
ISSN: 0302-9743
Last Modified: 24 Oct 2022 10:25

Citation Data

Cited 16 times in Scopus. View in Scopus. Powered By Scopus® Data

Actions (repository staff only)

Edit Item Edit Item