Abstract
The Semantic Web (SW) is viewed as the next generation of the Web that enables intelligent software agents to process and aggregate data autonomously. Ontology languages provide basic vocabularies to semantically markup data on the SW. We have witnessed an increase of numbers of SW languages in the last years. These languages, such as RDF, RDF Schema (RDFS), the OWL suite of languages, the OWL− − suite, SWRL, are based on different semantics, such as the RDFS-based, description logic-based, Datalog-based semantics. The relationship among the various semantics poses a challenge for the SW community for making the languages interoperable. Institutions provide a means of reasoning about software specifications regardless of the logical system. This makes it an ideal candidate to represent and reason about the various languages in the Semantic Web. In this paper, we construct institutions for the SW languages and use institution morphisms to relate them. We show that RDF framework together with the RDF serializations of SW languages form an indexed institution. This allows the use of Grothendieck institutions to combine Web ontologies described in various languages.
This work is partially supported by Singapore MOE project Rigorous Design Methods and Tools for Intelligent Autonomous (R-252-000-201-112) and NUS EERSS Program. The second author would like to thank Singapore Millennium Foundation (SMF) for the financial support.
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
Angele, J., Boley, H., de Brujin, J., Fensel, D., Hitzler, P., Kifer, M., Krummenacher, R., Lausen, H., Polleres, A., Studer, R.: Web Rule Language (WRL). Version 1.0 (2005), http://www.wsmo.org/wsml/wrl/wrl.html
Barr, M., Wells, C.: Category Theory for Computing Science, 3rd edn. Les Publications CRM, Montreal (1999)
Berners-Lee, T., Hendler, J., Lassila, O.: The Semantic Web. Scientific American (May 2001)
Brickley, D., Guha, R.V. (eds.): Resource Description Framework (RDF) Schema Specification 1.0 (February 2004), http://www.w3.org/TR/rdf-schema/
de Brujin, J., Lausen, H., Fensel, D.: OWL. Deliverable D20.1v0.2, WSML (2004), http://www.wsmo.org/TR/d20/d20.1/v0.2/
Diaconescu, R.: Institution-independent Model Theory. http://www.imar.ro/diacon/ (to appear)
Diaconescu, R.: Grothendieck institutions. Applied Categorical Structures 10, 383–402 (2002)
Dong, J.S., Lee, C.H., Li, Y.F., Wang, H.: Verifying DAML+OIL and beyond in Z/EVES. In: Proceedings of 26th International Conference on Software Engineering (ICSE 2004), Edinburgh, Scotland, May 2004, pp. 201–210 (2004)
Goguen, J.: Information Integration in Institutions. To appear in avolume dedicated to Jon Barwise, edited by Larry Moss (2004)
Goguen, J., Burstall, R.: Institutions: Abstract Model Theory for Specification and Programming. Journal of the Association for Computing Machinery 39(1), 95–146 (1992)
Goguen, J., Roşu, G.: Institution Morphisms. Formal Aspects of Computing 13, 274–307 (2002)
Grosof, B.N., Horrocks, I., Volz, R., Decker, S.: Description Logic Programs: Combining Logic Programs with Description Logic. In: Proc. of the Twelfth International World Wide Web Conference, pp. 48–57. ACM Press, New York (2003)
Hayes, P.: RDF Semantics (February 2004), http://www.w3.org/TR/rdf-mt/
Horrocks, I., Patel-Schneider, P.: A proposal for an OWL rules language. In: Proc. of the Thirteenth International World Wide Web Conference (WWW 2004), ACM, New York (2004)
Horrocks, I., Patel-Schneider, P., Boley, H., Tabet, S., Grosof, B., Dean, M.: SWRL: A semantic web rule language combining OWL and RuleML (November 2004) http://www.daml.org/2004/11/fol/rules-all.html
Horrocks, I., Patel-Schneider, P., van Harmelen, F.: From SHIQ and RDF to OWL: The making of a web ontology language. J. of Web Semantics 1(1), 7–26 (2003)
Klyne, G., Carroll, J. (eds.): Resource Description Framework (RDF): Concepts and Abstract Syntax. W3C Recommendation (2004), http://www.w3.org/TR/rdf-concepts/
Lucanu, D., Li, Y.F., Dong, J.S.: Web Ontology Verification and Analysis in the Z Framework. Technical Report TR 05-01, University “Alexandru Ioan Cuza” of Iaşi, Romania (January 2005), http://thor.info.uaic.ro/tr/tr05-01.ps
McBride, B.: Jena: Implementing the RDF Model and Syntax Specification. In: 2nd Int’l Semantic Web Workshop (2001), http://www.hpl.hp.com/personal/bwm/papers/20001221-paper/
Patel-Schneider, P., Hayes, P., Horrocks, I. (eds.): OWL Web Ontology Semantics and Abstract Syntax (2004), http://www.w3.org/TR/2004/REC-owl-semantics-20040210/
Patel-Schneider, P.: A proposal for a SWRL extension to forst-order logic (November 2004), http://www.daml.org/2004/11/fol/proposal
Patel-Schneider, P.F., Fensel, D.: Layering the semantic web: Problems and directions. In: Horrocks, I., Hendler, J. (eds.) ISWC 2002. LNCS, vol. 2342, p. 16. Springer, Heidelberg (2002)
Pierce, B.C.: Basic Category Theory for Computer Science. MIT, Cambridge (1991)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Lucanu, D., Li, Y.F., Dong, J.S. (2006). Semantic Web Languages – Towards an Institutional Perspective. In: Futatsugi, K., Jouannaud, JP., Meseguer, J. (eds) Algebra, Meaning, and Computation. Lecture Notes in Computer Science, vol 4060. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11780274_6
Download citation
DOI: https://doi.org/10.1007/11780274_6
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-35462-8
Online ISBN: 978-3-540-35464-2
eBook Packages: Computer ScienceComputer Science (R0)