Checking and Reasoning about Semantic Web through Alloy

  • Jin Song Dong
  • Jing Sun
  • Hai Wang
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 2805)


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.


Semantic Web Alloy 


  1. 1.
    Berners-Lee, T., Hendler, J., Lassila, O.: The semantic web, May 2001. Scientific American (2001)Google Scholar
  2. 2.
    Brickley, D., Guha, R.V. (eds). Resource description framework (rdf) schema specification 1.0. (March 2000),
  3. 3.
    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)Google Scholar
  4. 4.
    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)CrossRefGoogle Scholar
  5. 5.
    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)CrossRefGoogle Scholar
  6. 6.
    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)Google Scholar
  7. 7.
    Fikes, R., McGuinness, D.L.: An axiomatic semantics for rdf, rdf schema, and daml+oil. Technical Report KSL-01-01, Knowledge Systems Laboratory (2001)Google Scholar
  8. 8.
    Horrocks, I.: The FaCT system. In: de Swart, H. (ed.) TABLEAUX 1998. LNCS (LNAI), vol. 1397, pp. 307–312. Springer, Heidelberg (1998)CrossRefGoogle Scholar
  9. 9.
    Jackson, D.: Micromodels of software: Lightweight modelling and analysis with alloy (2002), Available
  10. 10.
    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)Google Scholar
  11. 11.
    Lassila, O., Swick, R.R. (editors). Resource description framework (rdf) model and syntax specification (February 1999),
  12. 12.
    Lee, C.H.: Phase I Report for Plan Ontology. DSO National Labs, Singapore (2002)Google Scholar
  13. 13.
    Mascolo, C., Emmerich, W., Finkelstein, A.: XML technologies and software engineering. In: International Conference on Software Engineering, pp. 775–776 (2001)Google Scholar
  14. 14.
    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)Google Scholar
  15. 15.
    World Wide Web Consortium (W3C). Xsl transformations (xslt) version 1.0 (1999),

Copyright information

© Springer-Verlag Berlin Heidelberg 2003

Authors and Affiliations

  • Jin Song Dong
    • 1
  • Jing Sun
    • 1
  • Hai Wang
    • 1
  1. 1.School of ComputingNational University of SingaporeSingapore

Personalised recommendations