Abstract
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.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Bassiliades, N., Gray, P.M.D.: CoLan: a Functional Constraint Language and Its Implementation. Data and Knowledge Engineering 14, 203–249 (1994)
Chalmers, S., Preece, A.D., Norman, T.J., Gray, P.: Commitment management through constraint reification. In: 3rd International Joint Conference on Autonomous Agents and Multi Agent Systems, AAMAS 2004 (2004)
Embury, S.M., Gray, P.M.D.: Compiling a Declarative, High-Level Language for Semantic Integrity Constraints. In: Meersman, R., Mark, L. (eds.) Database Application Semantics: Proceedings of 6th IFIP TC-2 Working Conference on Data Semantics, Atlanta, USA, pp. 188–226. Chapman and Hall, Boca Raton (1995)
Gray, P.M.D., Embury, S.M., Hui, K., Kemp, G.J.L.: The evolving role of constraints in the functional data model. Journal of Intelligent Information Systems 12, 113–137 (1999)
Grosof, B., Horrocks, I., Volz, R., Decker, S.: Description logic programs: Combining logic programs with description logic. In: Proceedings of the Twelfth International World Wide Web Conference, pp. 48–57. ACM, New York (2003)
Hui, K., Chalmers, S., Gray, P., Preece, A.: Experience in using RDF in agentmediated knowledge architectures. In: van Elst, L., Dignum, V., Abecker, A. (eds.) AMKM 2003. LNCS (LNAI), vol. 2926, pp. 177–192. Springer, Heidelberg (2004)
Hui, K., Gray, P., Kemp, G., Preece, A.: Constraints as mobile specifications in e-commerce applications. In: Meersman, R., Aberer, K., Dillon, T. (eds.) Semantic Issues in e-Commerce Systems, pp. 327–341. Kluwer, Dordrecht (2003)
Kemp, G., Gray, P., Sjöstedt, A.: Rewrite rules for quantified subqueries in a federated database. In: Kerschberg, L., Kafatos, M. (eds.) Proceedings of the Thirteenth International Conference on Scientific and Statistical Database Management, pp. 134–143. IEEE Computer Society Press, Los Alamitos (2001)
Nicolas, J.-M.: Logic for Improving Integrity Checking in Relational Databases. Acta Informatica 18, 227–253 (1982)
Norman, T.J., Preece, A.D., Chalmers, S., Jennings, N.R., Luck, M.M., Dang, V.D., Nguyen, T.D., Deora, V., Shao, J., Gray, W.A., Fiddian, N.J.: CONOISE: Agent-based formation of virtual organisations. In: Research and Development in Intelligent Systems, vol. XX, pp. 353–366. Springer, Heidelberg (2003)
Preece, A., Hui, K., Gray, A., Marti, P., Bench-Capon, T., Cui, Z., Jones, D.: KRAFT: An agent architecture for knowledge fusion. Inernational Journal of Cooperative Information Systems 10(1&2), 171–195 (2001)
Preece, A., Hui, K., Gray, P.: An FDM-based constraint language for semantic web applications. In: Gray, P., Kerschberg, L., King, P., Poulovassilis, A. (eds.) Agent-Mediated Knowledge Management. LNCS (LNAI), vol. 2926, pp. 417–434. Springer, Heidelberg (2004)
Shadbolt, N., Gibbins, N., Glaser, H., Harris, S., Schraefel, M.C.: CS AKTive Space, or how we learned to stop worrying and love the semantic web. IEEE Intelligent Systems, 41–47 (May/June 2004)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
McKenzie, C., Gray, P., Preece, A. (2004). Extending SWRL to Express Fully-Quantified Constraints. In: Antoniou, G., Boley, H. (eds) Rules and Rule Markup Languages for the Semantic Web. RuleML 2004. Lecture Notes in Computer Science, vol 3323. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-30504-0_11
Download citation
DOI: https://doi.org/10.1007/978-3-540-30504-0_11
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-23842-3
Online ISBN: 978-3-540-30504-0
eBook Packages: Springer Book Archive