|
Published Articles >> Table of Contents >> Abstract
26th International Conference on Software Engineering (ICSE'04)
pp. 201-210
Verifying DAML+OIL and Beyond in Z/EVES
Jin Song Dong, National University of Singapore
Chew Hung Lee, DSO National Laboratories
Yuan Fang Li, National University of Singapore
Hai Wang, University of Manchester
Full Article Text:
  
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/ICSE.2004.1317442
Send link to a friend
| Abstract |
|
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.
|
 Additional Information
|
Citation:
Jin Song Dong, Chew Hung Lee, Yuan Fang Li, Hai Wang,
"Verifying DAML+OIL and Beyond in Z/EVES,"
icse,
pp. 201-210,
26th International Conference on Software Engineering (ICSE'04),
2004
|
|
