Verifying DAML+OIL and beyond in Z/EVES

Dong, J. S., Lee, C. H., Li, Y-F. and Wang, H. (2004). Verifying DAML+OIL and beyond in Z/EVES. In: Proceedings of the 26th International Conference on Software Engineering (ICSE 2004). 26th International Conference on Software Engineering (ICSE 2004), Scotland, U.K., (201-210). 23-28 May 2004.

Author Dong, J. S.
Lee, C. H.
Li, Y-F.
Wang, H.
Title of paper Verifying DAML+OIL and beyond in Z/EVES
Conference name 26th International Conference on Software Engineering (ICSE 2004)
Conference location Scotland, U.K.
Conference dates 23-28 May 2004
Proceedings title Proceedings of the 26th International Conference on Software Engineering (ICSE 2004)   Check publisher's open access policy
Place of Publication Piscataway, NJ, U.S.A.
Publisher IEEE Computer Society
Publication Year 2004
Sub-type Fully published paper
ISBN 0-7695-2163-0
ISSN 0270-5257
Start page 201
End page 210
Total pages 10
Language eng
Abstract/Summary Semantic Web, the next generation of Web, gives data well-defined and machine-understandable meaning so that they can be processed by remote intelligent agents cooperatively. Ontology languages are the building blocks of Semantic Web as they prescribe how data are defined and related. The existing reasoning and verification tools for Semantic Web are improving however still elementary. We believe that Semantic Web can be a novel application domain for software modeling languages and tools. Z is a formal modeling language for specifying software systems and Z/EVES is a proof tool for Z. In this paper, we firstly present Z semantics for ontology language DAML+OIL. This semantic model is embedded as a Z section daml2zin Z/EVES, which serves as an environment for checking and verifying Web ontologies. Then we present a tool for automatically transforming ontology documents into the specialized Z codes understood by Z/EVES. Finally, we use a recent real application, the military plan ontologies, to demonstrate the different reasoning tasks that Z/EVES can perform. Furthermore, undiscovered errors in the original ontologies were found by Z/EVES and some of these errors are even beyond Semantic Web modeling and reasoning capabilities.
Subjects 080309 Software Engineering
080505 Web Technologies (excl. Web Search)
Keyword DAML+OIL verification
Web ontology verification
Ontology language
Verification tools
Semantic web modeling
Semantic web reasoning
Q-Index Code E1

 
Versions
Version Filter Type
Citation counts: Google Scholar Search Google Scholar
Created: Tue, 27 Jan 2009, 12:58:37 EST by Maryanne Watson on behalf of Faculty Of Engineering, Architecture & Info Tech