Non-standard Reasoning Services for the Verification of DAML+OIL Ontologies

  • Yingjie Song
  • Rong Chen
Part of the IFIP Advances in Information and Communication Technology book series (IFIPAICT, volume 339)


Ontology has a pivot role in the development of Semantic Web which provides the understanding of various domains that can be communicated between people and applications. Motivated by J. S. Dong’s work, we propose a new approach to interpreting DAML+OIL in a lightweight modeling language for software design, Alloy, which is used to provide a non-standard reasoning service for the verification of DAML+OIL ontologies. To do so, Jena is first used to parse ontology documents into classes, properties and statements, next we use algorithms to translate them into Alloy model, the Alloy Analyzer is then used to check and reason about such model. The experiments show that our method greatly improves J. S. Dong’s work, and distinguishes from the traditional ontology reasoners in property checking and reasoning.


Ontology Reasoning DAML+OIL Alloy Semantic Web 


  1. 1.
    Jin, H.W., Dong, S., Sun, J.: Checking and reasoning about semantic web through alloy. In: Araki, K., Gnesi, S., Mandrioli, D. (eds.) FME 2003. LNCS, vol. 2805, pp. 796–814. Springer, Heidelberg (2003)Google Scholar
  2. 2.
    Haarslev, V., Möller, R.: RACER User’s Guide and Reference Manaual: Version 1.7.6 (December 2002)Google Scholar
  3. 3.
    Horrocks, I.: The fact system. In: de Swart, H. (ed.) TABLEAUX 1998. LNCS (LNAI), vol. 1397, pp. 307–312. Springer, Heidelberg (1998)CrossRefGoogle Scholar
  4. 4.
    Hendler, J., Berners-Lee, T., Lassila, O.: The semantic web. Scientific American (May 2001)Google Scholar
  5. 5.
    Jackson, D.: Alloy: a lightweight object modelling notation. ACM Trans. Softw. Eng. Methodol. 11(2), 256–290 (2002)CrossRefGoogle Scholar
  6. 6.
    Jackson, D., Schechter, I., Shlyahter, H.: Alcoa: the alloy constraint analyzer. In: ICSE 2000: Proceedings of the 22nd International Conference on Software Engineering, pp. 730–733. ACM, New York (2000)CrossRefGoogle Scholar
  7. 7.
    Horrocks, I., Patel-Schneider, P.F., van Harmelen, F.: Reviewing the design of daml+oil: an ontology language for the semantic web. In: Eighteenth National Conference on Artificial Intelligence, pp. 792–797. American Association for Artificial Intelligence, Menlo Park (2002)Google Scholar
  8. 8.
    van Harmelen, F., Patel-Schneider, P.F., Horrocks, I. (eds.): Reference description of the daml+oil ontology markup language (March 2001)Google Scholar
  9. 9.
    Broekstra, J., Klein, M., Decker, S., Fensel, D., Horrocks, I.: Adding formal semantics to the web building on top of rdf schema. In: Proc. of the ECDL 2000 Workshop on the Semantic Web (2000)Google Scholar
  10. 10.
    Tsarkov, D., Horrocks, I.: Fact++ description logic reasoner: System description. In: Furbach, U., Shankar, N. (eds.) IJCAR 2006. LNCS (LNAI), vol. 4130, pp. 292–297. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  11. 11.
    Lutz, C.: The complexity of reasoning with concrete domains revised version. Technical report (1999)Google Scholar

Copyright information

© IFIP 2010

Authors and Affiliations

  • Yingjie Song
    • 1
  • Rong Chen
    • 1
  1. 1.School of Information Science & TechnologyDalian Maritime UniversityDalianP.R. China

Personalised recommendations