Checking and reasoning about Semantic Web through alloy

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2805, Issue , 2003, Pages 796-813

  Dong, Jin Song ^a   Sun, Jing ^a   Wang, Hai ^a  

^a NATIONAL UNIVERSITY OF SINGAPORE   (Singapore)

Author keywords

Alloy; Semantic Web

Indexed keywords

ALLOYING; FORMAL METHODS; KNOWLEDGE REPRESENTATION; SEMANTICS;

ALLOY ANALYZERS; AUTOMATIC REASONING; CONSISTENCY CHECKING; FORMAL TECHNIQUES; REASONING TASKS; SEMANTIC DOMAINS; SEMANTIC MODEL; TECHNIQUES AND TOOLS;

SEMANTIC WEB;

EID: 33847216004     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-45236-2_43     Document Type: Article

References (15)

1. T. Berners-Lee, J. Hendler, and O. Lassila. The semantic web. Scientific American, May 2001.
2. D. Brickley and R.V. Guha (editors). Resource description framework (rdf) schema specification 1.0. http://www.w3.org/TR/2000/CR-rdf-schema-20000327/, March, 2000.
3. J. Broekstra, M. Klein, S. Decker, D. Fensel, and I. Horrocks. Adding formal semantics to the web: building on top of rdf schema. In ECDL Workshop on the Semantic Web: Models, Architectures and Management, 2000.
4. J. S. Dong, J. Sun, and H. Wang. Semantic Web for Extending and Linking Formalisms. In L.-H. Eriksson and P. A. Lindsay, editors, Proceedings of Formal Methods Europe: FME'02, Copenhagen, Denmark, July 2002. Springer-Verlag.
5. J. S. Dong, J. Sun, and H. Wang. Z Approach to Semantic Web Services. In C. George and H. Miao, editors, International Conference on Formal Engineering Methods (ICFEM'02). LNCS, Springer-Verlag, October 2002.
6. 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'03, San Francisco, USA, July 2003.
7. Richard Fikes and Deborah L. McGuinness. An axiomatic semantics for rdf, rdf schema, and daml+oil. Technical Report KSL-01-01, Knowledge Systems Laboratory, 2001.
8. I. Horrocks. The FaCT system. Tableaux'98, Lecture Notes in Computer Science, 1397:307-312, 1998.
9. D. Jackson. Micromodels of software: Lightweight modelling and analysis with alloy. Available: http://sdg.lcs.mit.edu/alloy/book.pdf, 2002.
10. D. Jackson, I. Schechter, and I. Shlyakhter. Alcoa: the alloy constraint analyzer. In Proc. Send International Conference on Software Engineering: ICSE'2000, pages 730-733, Limerick, Ireland, June 2000. ACM Press.
11. O. Lassila and R. R. Swick (editors). Resource description framework (rdf) model and syntax specification. http://www.w3.org/TR/1999/REC-rdf-syntax-19990222/, Feb, 1999.
12. C. H. Lee. Phase I Report for Plan Ontology. DSO National Labs, Singapore, 2002.
13. Cecilia Mascolo, Wolfgang Emmerich, and Anthony Finkelstein. XML technologies and software engineering. In International Conference on Software Engineering, pages 775-776, 2001.
14. F. van Harmelen, P. F. Patel-Schneider, and I. Horrocks (editors). Reference description of the daml+oil ontology markup language. Contributors: T. Berners-Lee, D. Brickley, D. Connolly, M. Dean, S. Decker, P. Hayes, J. Heflin, J. Hendler, O. Lassila, D. McGuinness, L. A. Stein, ..., March, 2001.
15. World Wide Web Consortium (W3C). Xsl transformations (xslt) version 1.0. http://www.w3.org/TR/xslt, 1999.