Title :
Formal Specification of OWL-S with Object-Z: the Static Aspect
Author :
Wang, Hai H. ; Saleh, Ahmed ; Payne, Terry ; Gibbins, Nick
Abstract :
To support standardization and tool support of OWL-S, a formal semantics of the language is highly desirable. In this paper, we present a formal Object-Z semantics of OWL-S. This model not only provides a formal unambiguous model which can be used to develop tools and facilitate future development, but as demonstrated in the paper, can be used to identify and eliminate errors in the current documentation.
Keywords :
Documentation; Formal specifications; Natural languages; OWL; Ontologies; Petri nets; Semantic Web; Specification languages; Standardization; Web services;
Conference_Titel :
Web Intelligence, IEEE/WIC/ACM International Conference on
Conference_Location :
Fremont, CA
Print_ISBN :
978-0-7695-3026-0
