DocumentCode
2728078
Title
Formal Specification of OWL-S with Object-Z: the Static Aspect
Author
Wang, Hai H. ; Saleh, Ahmed ; Payne, Terry ; Gibbins, Nick
fYear
2007
fDate
2-5 Nov. 2007
Firstpage
431
Lastpage
434
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Web Intelligence, IEEE/WIC/ACM International Conference on
Conference_Location
Fremont, CA
Print_ISBN
978-0-7695-3026-0
Type
conf
DOI
10.1109/WI.2007.67
Filename
4427128
Link To Document