Verifying DAML+OIL and beyond in Z/EVES

  title={Verifying DAML+OIL and beyond in Z/EVES},
  author={Jin Song Dong and Chew Hung Lee and Yuan-Fang Li and Hai H. Wang},
  journal={Proceedings. 26th International Conference on Software Engineering},
Semantic Web, the next generation of Web, gives datawell-defined and machine-understandable meaning so thatthey can be processed by remote intelligent agents cooperatively.Ontology languages are the building blocks of SemanticWeb as they prescribe how data are defined and related.The existing reasoning and verification tools for SemanticWeb are improving however still elementary. We believethat Semantic Web can be a novel application domainfor software modeling languages and tools. Z is aformal… CONTINUE READING
Highly Cited
This paper has 40 citations. REVIEW CITATIONS


Publications referenced by this paper.
Showing 1-3 of 3 references


  • M. Dean, D. Connolly
  • van Harmelen, J. Hendler, I. Horrocks, D. L…
  • 2002
Highly Influential
12 Excerpts

Resource Description Framework (RDF) Model and Syntax Specification

  • O. Lassila, R. R. Swick editors
  • 1999
Highly Influential
3 Excerpts

Similar Papers

Loading similar papers…