Abstract
Semantic Web (SW), commonly regarded as the next generation of the Web, is an emerging vision of the new Web from the Knowledge Representation and the Web communities. The Formal Methods community can also play an important role to contribute to SW development. Reasoning and consistency checking can be useful at many stages during the design, maintenance and deployment of SW ontology. However the existing reasoning and consistency checking tools for SW are primitive. We believe that formal techniques and tools, such as Alloy, can provide automatic reasoning and consistency checking services for SW. In this paper, we firstly construct semantic models for the SW language (DAML+OIL) in Alloy, and these models form the semantic domain for interpreting DAML+OIL in Alloy. Then we develop the translation techniques and tools which can automatically map the SW ontology into the DAML+OIL semantic domain in Alloy. Furthermore, with the assistance of Alloy Analyzer (AA) we demonstrate that the consistency of the SW ontology can be checked automatically and different kinds of reasoning tasks can be supported.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
References
Berners-Lee, T., Hendler, J., Lassila, O.: The semantic web, May 2001. Scientific American (2001)
Brickley, D., Guha, R.V. (eds). Resource description framework (rdf) schema specification 1.0. (March 2000), http://www.w3.org/TR/2000/CR-rdf-schema-20000327/
Broekstra, J., Klein, M., Decker, S., Fensel, D., Horrocks, I.: Adding formal semantics to the web: building on top of rdf schema. In: ECDL Workshop on the Semantic Web: Models, Architectures and Management (2000)
Dong, J.S., Sun, J., Wang, H.: Semantic Web for Extending and Linking Formalisms. In: Eriksson, L.-H., Lindsay, P.A. (eds.) FME 2002. LNCS, vol. 2391, p. 587. Springer, Heidelberg (2002)
Dong, J.S., Sun, J., Wang, H.: Z Approach to Semantic Web Services. In: George, C.W., Miao, H. (eds.) ICFEM 2002. LNCS, vol. 2495, p. 156. Springer, Heidelberg (2002)
Dong, J.S., Sun, J., Wang, H., Lee, C.H., Lee, H.B.: Analysing web ontology in alloy: A military case study. In: Proc. 15th International Conference on Software Engineering and Knowledge Engineering: SEKE2003, San Francisco, USA (July 2003)
Fikes, R., McGuinness, D.L.: An axiomatic semantics for rdf, rdf schema, and daml+oil. Technical Report KSL-01-01, Knowledge Systems Laboratory (2001)
Horrocks, I.: The FaCT system. In: de Swart, H. (ed.) TABLEAUX 1998. LNCS (LNAI), vol. 1397, pp. 307–312. Springer, Heidelberg (1998)
Jackson, D.: Micromodels of software: Lightweight modelling and analysis with alloy (2002), Available http://sdg.lcs.mit.edu/alloy/book_OnlinePDF.pdf
Jackson, D., Schechter, I., Shlyakhter, I.: Alcoa: the alloy constraint analyzer. In: Proc. 22nd International Conference on Software Engineering: ICSE 2000, Limerick, Ireland, June 2000, pp. 730–733. ACM Press, New York (2000)
Lassila, O., Swick, R.R. (editors). Resource description framework (rdf) model and syntax specification (February 1999), http://www.w3.org/TR/1999/REC-rdf-syntax-19990222/
Lee, C.H.: Phase I Report for Plan Ontology. DSO National Labs, Singapore (2002)
Mascolo, C., Emmerich, W., Finkelstein, A.: XML technologies and software engineering. In: International Conference on Software Engineering, pp. 775–776 (2001)
van Harmelen, F., Patel-Schneider, P.F., Horrocks, I. (eds.): Reference description of the daml+oil ontology markup language. Contributors: Berners- Lee, T., Brickley, D., Connolly, D., Dean, M., Decker, S., Hayes, P., Heflin, J., Hendler, J., Lassila, O., McGuinness, D., Stein, L.A., ... (March 2001)
World Wide Web Consortium (W3C). Xsl transformations (xslt) version 1.0 (1999), http://www.w3.org/TR/xslt
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Dong, J.S., Sun, J., Wang, H. (2003). Checking and Reasoning about Semantic Web through Alloy. In: Araki, K., Gnesi, S., Mandrioli, D. (eds) FME 2003: Formal Methods. FME 2003. Lecture Notes in Computer Science, vol 2805. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-45236-2_43
Download citation
DOI: https://doi.org/10.1007/978-3-540-45236-2_43
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-40828-4
Online ISBN: 978-3-540-45236-2
eBook Packages: Springer Book Archive