Reasoning support for Semantic Web ontology family languages using alloy

Multiagent and Grid Systems

Volumn 2, Issue 4, 2006, Pages 455-471

  Wang, Hai H ^a   Dong, Jin Song ^b   Sun, Jing ^c   Sun, Jun ^b  

^a UNIVERSITY OF MANCHESTER   (United Kingdom)

^b NATIONAL UNIVERSITY OF SINGAPORE   (Singapore)

^c UNIVERSITY OF AUCKLAND   (New Zealand)

Author keywords

Alloy; FOL; OWL; Semantic Web; SWRL

Indexed keywords

ALLOYING; BIRDS; KNOWLEDGE REPRESENTATION; MODELING LANGUAGES;

AUTOMATIC REASONING; CONSISTENCY CHECKING; FORMAL MODELLING; LOGIC LANGUAGES; SEMANTIC WEB ONTOLOGIES; SEMANTIC WEB RULE LANGUAGE(SWRL); SWRL; WEB COMMUNITY;

SEMANTIC WEB;

EID: 85006314602     PISSN: 15741702     EISSN: 18759076     Source Type: Journal    
DOI: 10.3233/MGS-2006-2410     Document Type: Article

References (19)

1. T. Berners-Lee, J. Hendler and O. Lassila, The Semantic Web, Scientific American, May 2001.
2. D. Brickley and R.V. Guha, (eds), Resource description framework (rdf) schema specification 1.0. http://www.w3.org/TR/2000/CR-rdfschema-20000327/, March, 2000.
3. J.S. Dong, C.H. Lee, Y.F. Li and H. Wang, A combined approach to checking web ontologies, in The 13th ACM International World Wide Web Conference (WWW’04), ACM Press, May 2004, 714-722.
4. 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), Edinburgh, Scotland, May 2004, 201-210.
5. 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, 542-546.
6. V. Haarslev and R. Möller, RACER system description, Lecture Notes in Computer Science 2083 (2001), 701-705.
7. V. Haarslev and R.Möller, Practical Reasoning in Racer with aConcrete Domain for Linear Inequations, in: Proceedings of the International Workshop on Description Logics (DL-2002), I. Horrocks and S. Tessaris, eds, Toulouse, France, April 2002, CEUR-WS.
8. I. Horrocks, The FaCT system, Tableaux’98, Lecture Notes in Computer Science 1397 (1998), 307-312.
9. I. Horrocks, P.F. Patel-Schneider, H. Boley, S. Tabet, B. Grosof and M. Dean, SWRL: A Semantic Web Rule Language Combining OWL and RuleML. Available: http://www.daml.org/2003/11/swrl/, 2003.
10. I. Horrocks, P.F. Patel-Schneider and F. van Harmelen, From SHIQ and RDF to OWL: The making of a web ontology language, J of Web Semantics 1(1) (2003), 7-26.
11. D. Jackson, Micromodels of software: Lightweight modelling and analysis with Alloy. Available: http://sdg.lcs.mit.edu/alloy/book.pdf, 2002.
12. O. Lassila and R.R. Swick, (eds), Resource description framework (rdf) model and syntax specification. http://www.w3.org/TR/1999/RECrdf- syntax-19990222/, Feb, 1999.
13. D. Lucanu, Y.F. Li and J.S. Dong, Institution Morphisms for Relating OWL and Z, in The 17th International Conference on Software Engineering and Knowledge Engineering (SEKE’05), Taipei, Taiwan, July 2005.
14. D.L. McGuinness and F. van Harmelen, OWLWeb Ontology Language Overview. Available: http://www.w3c.org/TR/owl-features/, 2004.
15. P.F. Patel-Schneider, P. Hayes, I. Horrocks and F. Harmelen, A Proposal for a SWRL Extension to First-Order Logic. Available: http://www.daml.org/2003/11/swrl/, 2004.
16. I. Shlyakhter, R. Seater, D. Jackson, M. Sridharan and M. Taghdiri, Debugging Overconstrained Declarative Models Using Unsatisfiable Cores, in Proc. 18th IEEE International Conference on Automated Software Engineering (ASE 2003), Montreal, Quebec, Canada, October 2004, 94-105.
17. M. Sintek and S. Decker, TRIPLE-A query, inference, and transformation language for the Semantic Web, in: The Semantic Web-ISWC 2002. Proceedings of the First International Semantic Web Conference, volume 2348 of Lect. Notes in Comput. Sci., I. Horrocks and J. Hendler, eds, Springer-Verlag, Sardinia, Italy, June 2002, 364-378.
18. T. Berners-Lee, cwm-a general purpose data processor for the Semantic Web. http://www.w3.org/2000/10/swap/doc/cwm, 2004.
19. H.Wang, J.S. Dong and J. Sun, Reasoning Support for SWRL-FOL Using Alloy, in 17th International Conference on Software Engineering and Knowledge Engineering (SEKE’05), Taipei, Taiwan, July 2005.