A combined approach to checking Web ontologies

Thirteenth International World Wide Web Conference Proceedings, WWW2004

Volumn , Issue , 2004, Pages 714-722

  Dong, Jin Song ^a   Lee, Chew Hung ^b   Lee, Hian Beng ^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

Alloy; Ontologies; RACER; Semantic Web; Z

Indexed keywords

ALLOYS; COMPUTATIONAL COMPLEXITY; COMPUTER PROGRAMMING LANGUAGES; FORMAL LOGIC; INFORMATION RETRIEVAL; SEMANTICS;

ONTOLOGIES; RACER; SEMANTIC WEB; Z;

WORLD WIDE WEB;

EID: 19944419488     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/988672.988770     Document Type: Conference Paper

References (27)

1. S. Bechhofer, I. Horrocks, C. Goble, and R. Stevens. OilEd: a reason-able ontology editor for the semantic web. In Proceedings of KI2001, Joint German/Austrian Conference on Artificial Intelligence, number 2174 in Lecture Notes in Computer Science, pages 396-408, Vienna, September 2001. Springer-Verlag.
2. T. Berners-Lee, J. Hendler, and O. Lassila. The Semantic Web. Scientific American, May 2001.
3. D. Brickley and R. Guha (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/daml-s/2001/05/.
6. M. Dean, D. Connolly, F. van Harmelen, J. Hendler. I. Horrocks, D. L. McGuinness, P. F. Patel-Schneider, and L. A. Stein (editors). OWL Web Ontology Language 1.0 Reference, http://www.w3.org/TR/owl-ref/, 2002.
7. th International Conference on Software Engineering (ICSE'04), Edinburgh, Scotland, May 2003. to appear.
8. J. S. Dong, J. Sun, and H. Wang. 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.
9. J. A. Goguen and R. M. Burstall. Institutions: abstract model theory for specification and programming. J. ACM, 39(1):95-146, 1992.
10. V. Haarslev and R. Möller. Practical Reasoning in Racer with a Concrete Domain for Linear Inequations. In I. Horrocks and S. Tessaris, editors, Proceedings of the International Workshop on Description Logics (DL-2002), Toulouse, France, Apr. 2002. CEUR-WS.
11. V. Haarslev and R. Möller. RACER User's Guide and Reference Manual: Version 1.7.6, Dec. 2002.
12. C. A. R. Hoare, Communicating Sequential Processes. Prentice-Hall International, 1985.
13. I. Horrocks. The FaCT system. Tableaux'98, LNCS, 1397:307-312, 1998.
14. D. Jackson. Micromodels of software: Lightweight modelling and analysis with Alloy. Available: http://sdg.lcs.mit.edu/alloy/book.pdf (an early version has been published in TOSEM Vol-11), 2002.
15. D. Jackson, I. Schlechter, and I. Shlyakhter. Alcoa: the Alloy Constraint Analyzer. In The 22nd International Conference on Software Engineering (ICSE'00), pages 730-733, Limerick, Ireland, June 2000. ACM Press.
16. P. Lambrix. Description Logics home page. http://www.ida.liu.se/labs/ iislab/people/patla/DL/index.html.
17. C. H. Lee. Phase I Report for Plan Ontology. DSO National Labs, Singapore, 2002.
18. 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.
19. S. Owre, J. M. Rushby, and N. Shankar. PVS: A prototype verification system. In D. Kapur, editor, 11th International Conference on Automated Deduction (CADE), volume 607 of Lecture Notes in Artificial Intelligence, pages 748-752, Saratoga, NY, June 1992. Springer-Verlag.
20. 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.
21. M. Sintek and S. Decker. TRIPLE - A query, inference, and transformation language for the semantic web. In I. Horrocks and J. Hendler, editors, The Semantic Web - ISWC 2002. Proceedings of the First International Semantic Web Conference, volume 2348 of Lect. Notes in Comput. Sci., pages 364-378, Sardinia, Italy, June 2002. Springer-Verlag.
22. Tim Berners-Lee. cwm - a general purpose data processor for the semantic web. http://www.w3.org/2000/10/swap/doc/cwm, 2004.
23. 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. Heftin, J. Hendler, O. Lassila, D. McGuinness, L. A. Stein,..., March, 2001.
24. J. Woodcock and J. Davies. Using Z: Specification. Refinement, and Proof. Prentice-Hall International, 1996.
25. World Wide Web Consortium (W3C). XSL Transformations (XSLT) Version 1.0. http://www.w3.org/TR/xslt, 1999.
26. World Wide Web Consortium (W3C). OWL Web Ontology Language Overview. http://www.w3.org/TR/owl-features/. Mar. 2003.
27. World Wide Web Consortium (W3C). Web Ontology Language (OWL) Use Cases and Requirements. http://www.w3.org/TR/webont-req/, Mar. 2003.