Affiliations: [a] Department of Computer Science, The University of Manchester, UK. E-mail: hai.wang@cs.manchester.ac.uk | [b] School of Computing, National University of Singapore, Singapore. E-mail: sunj@comp.nus.edu.sg, dongjs@comp.nus.edu.sg | [c] Department of Computer Science, The University of Auckland, New Zealand. E-mail: j.sun@cs.auckland.ac.nz | Department of Computing, Oxford Brookes University, Oxford OX33 1HX, UK
Correspondence:
[*]
Corresponding author: Hai H. Wang, School of Computer Science, The University of Manchester, M13 9JPL, UK. Tel.: +44 161 275 0686; Fax: +44 161 275 6204; E-mail: hai.wang@cs.manchester.ac.uk
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. To realize this vision, a series of techniques has been proposed. Semantic Web Ontology Langauge (OWL) and its extension Semantic Web rule Language (SWRL) and Semantic Web Logic Language (SWRL-FOL) are some of the most important outputs from the SW activities. However the existing reasoning and consistency checking tools for those languages are primitive. This paper proposes using the existing formal modelling tool, in particular Alloy, to provide an automatic reasoning service for the Semantic Web ontology family languages (OWL/SWRL/SWRL-FOL).
