Verifying DAML+OIL and beyond in Z/EVES

Proceedings - International Conference on Software Engineering

Volumn 26, Issue , 2004, Pages 201-210

  Dong, Jin Song ^a   Lee, Chew Hung ^b   Li, Yuan Fang ^a   Wang, Hai ^c  

^a NATIONAL UNIVERSITY OF SINGAPORE   (Singapore)

^b DSO NATIONAL LABORATORIES   (Singapore)

^c UNIVERSITY OF MANCHESTER   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

SEMANTIC WEB; SOFTWARE MODELING LANGUAGES; Z CODES;

CODES (SYMBOLS); COMPUTATIONAL COMPLEXITY; COMPUTER PROGRAMMING LANGUAGES; DATA HANDLING; INTELLIGENT AGENTS; SEMANTICS; WORLD WIDE WEB;

SOFTWARE ENGINEERING;

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

References (24)

1. F. Baader and W. Nutt. Basic description logics. In F. Baader, D. Calvanese, D. McGuinness, D. Nardi, and P. Patel-Schneider, editors, The description logic handbook: theory, implementation, and applications, pages 43-95. Cambridge University Press, 2003.
2. T. Berners-Lee, J. Hendler, and O. Lassila. The Semantic Web. Scientific American, May 2001.
3. D. Brickley and R. G. (editors) Resource description framework (rdf) schema specification 1.0. http://www.w3.org/TR/2000/CR-rdf-schema-20000327/, March, 2000.
4. 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.
5. M. Burstein, J. Hobbs, O. Lassila, D. Martin, S. McIlraith, S. Narayanan, M. Paolucci, T. Payne, K. Sycara, and H. Zeng. Daml service. http://www.daml.org/services/damls/2001/05/.
6. M. Dean, D. Connolly, F. van Harmelen, J. Hendler, I. Horrocks, D. L. McGuinness, P. F. Patel-Schneider, and L. A. S. (editors). OWL Web Ontology Language 1.0 Reference. http://www.w3.org/TR/owl-ref/, 2002.
7. J. S. Dong, J. Sun, and H. Wang. Z Approach to Semantic Web. In International Conference on Formal Engineering Methods (ICFEM'02), pages 156-167, Shanghai, China, Oct. 2002. LNCS, Springer-Verlag.
8. V. Haarslev and R. Möller. RACER User's Guide and Reference Manual: Version 1.7.6, Dec. 2002.
9. I. Horrocks. The FaCT system. Tableaux'98, LNCS, 1397:307-312, 1998.
10. I. Horrocks. DAML+OIL: a description logic for the semantic web. IEEE Data Engineering Bulletin, 25(1):4-9, 2002.
11. I. Horrocks, U. Sattler, and S. Tobies. Practical reasoning for very expressive description logics. Logic Journal of the IGPL, 8(3):239-263, 2000.
12. HP Labs. Jena Semantic Web Toolkit - version 1. http://www.hpl.hp.com/semweb/jena1.htm.
13. D. Jackson. Alloy: A lightweight object modeling notation. Available: http://sdg.lcs.mis.edu/alcoa, 1999.
14. P. Lambrix. Description Logics home page. http://www.ida.liu.se/labs/iislab/people/patla/DL/index.html.
15. C. H. Lee. Phase I Report for Plan Ontology. DSO National Labs, Singapore, 2002.
16. D. Nardi and R. J. Brachman. An introduction to description logics. In F. Baader, D. Calvanese, D. McGuinness, D. Nardi, and P. Patel-Schneider, editors, The description logic handbook: theory, implementation, and applications, pages 1-40. Cambridge University Press, 2003.
17. 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.
18. Ontoweb Ontology-Based Information. Deliverable 1.3: A survey on ontology tools. http://ontoweb.aifb.uni-karlsruhe.de/About/Deliverables/D13_v1-0.zip.
19. M. Saaltink. The Z/EVES system. In J. P. Bowen, M. G. Hinchey, and D. Till, editors, ZUM'97: Z Formal Specification Notation, volume 1212 of Lect. Notes in Comput. Sci., pages 72-85. Springer-Verlag, 1997.
20. F. van Harmelen, P. F. Patel-Schneider, and I. H. (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.
21. H. Wang, J. S. Dong, and J. Sun. Checking and Reasoning about Semantic Web through Alloy. In Proceedings of Formal Methods Europe: FME'03, volume 2805 of Lect. Notes in Comput. Sci., pages 796-814, Pisa, Italy, Sept. 2003. LNCS, Springer-Verlag.
22. J. Woodcock and J. Davies. Using Z: Specification, Refinement, and Proof. Prentice-Hall International, 1996.
23. World Wide Web Consortium (W3C). OWL Web Ontology Language Overview. http://www.w3.org/TR/owl-features/, Mar. 2003.
24. World Wide Web Consortium (W3C). Web Ontology Language (OWL) Use Cases and Requirements. http://www.w3.org/TR/webont-req/, Mar. 2003.