Reasoning support for SWRL-FOL using alloy

17th International Conference on Software Engineering and Knowledge Engineering, SEKE 2005

Volumn , Issue , 2005, Pages 626-631

  Wang, Hai ^a   Songdong, Jin ^b   Sun, Jing ^c  

^a UNIVERSITY OF MANCHESTER   (United Kingdom)

^b NATIONAL UNIVERSITY OF SINGAPORE   (Singapore)

^c UNIVERSITY OF AUCKLAND   (New Zealand)

Author keywords

Alloy; OWL; Semantic web; SWRL FOL

Indexed keywords

AUTOMATIC REASONING; FIRST ORDER LOGIC; FORMAL MODELLING; OWL; SEMANTIC WEB APPLICATIONS; SWRL-FOL; TOOL SUPPORT; WEB ONTOLOGY LANGUAGE;

ALLOYING; ALLOYS; BIRDS; CERIUM ALLOYS; KNOWLEDGE ENGINEERING; ONTOLOGY; SEMANTIC WEB; TOOLS;

SOFTWARE ENGINEERING;

EID: 84886929099     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (12)

1. S. Bechhofer, F. van Harmelen, J. Hendler, I. Horrocks, D. L. McGuinness, P. F. Patel-Schneider, and L. A. Stein. OWL Web Ontology Language Reference. Available at: http://www.w3c.org/TR/owl-ref/, 2004.
2. T. Berners-Lee, J. Hendler, and O. Lassila. The semantic web. Scientific American, May 2001.
3. J. S. Dong, C. H. Lee, Y. F. Li, and H. Wang. Verifying DAML+OIL and Beyond in Z/EVES. In Proc. The 26th International Conference on Software Engineering (ICSE'04), pages 201-210, Edinburgh, Scotland, May 2004.
4. J. S. Dong, J. Sun, H. Wang, C. H. Lee, and H. B. Lee. Analysing Web Ontology in Alloy: A Military Case Study. In Proc. 15th International Conference on Software Engineering and Knowledge Engineering: SEKE'2003, San Francisco, USA, July 2003.
5. V. Haarslev and R.M̈oller. RACER system description. Lecture Notes in Computer Science, 2083:701-705, 2001.
6. I. Horrocks. The FaCT system. Tableaux'98, Lecture Notes in Computer Science, 1397:307-312, 1998.
7. I. Horrocks, P. Patel-Schneider, H. Boley, S.Tabet, B. Grosof, and M. Dean. SWRL: A Semantic Web Rule Language Combining OWL and RuleML. Available at: http://www.daml.org/2003/11/swrl/2003.
8. D. Jackson. Micro models of software: Lightweight modelling and analysis with alloy. Available at: http://sdg.lcs.mit.edu/alloy/book.pdf, 2002.
9. D. L. McGuinness and F. van Harmelen. OWL Web Ontology Language Overview. Available at: http://www.w3c.org/TR/owl-features/2004.
10. P. Patel-Schneider, P. Hayes, and I. Horrocks. Web Ontology Language (OWL) Abstract Syntax and Semantics. Available at: http://www.w3.org/TR/2002/WD- owl-semantics-20021108/, 2004.
11. P. Patel-Schneider, P. Hayes, I. Horrocks, and F. Harmelen. A Proposal for a SWRL Extension to First-Order Logic. http://www.daml.org/2003/11/swrl/ 2004.
12. I. Shlyakhter, R. Seater, D. Jackson, M. Sridharan, and M. Taghdiri. Debugging Over constrained Declarative Models Using Unsatisfiable Cores. In Proc. 18th IEEE International Conference on Automated Software Engineering (ASE 2003), pages 94-105, Montreal, Quebec, Canada, October 2004.