Paper Info
Title
Formal specification of OWL-S with object-Z: the dynamic aspect
Abstract
OWL-S, one of the most significant Semantic Web Service ontologies proposed to date, provides Web Service providers with a core ontological framework and guidelines for describing the properties and capabilities of their Web Services in unambiguous, computer-interpretable form. 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. Different aspects of the language have been precisely defined within one unified framework. 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.
Year
DOI
Venue
2007
10.1007/978-3-540-76993-4_20
WISE
Keywords
Field
DocType
core ontological framework,significant semantic web service,dynamic aspect,computer-interpretable form,web services,formal specification,unified framework,formal unambiguous model,formal object-z semantics,tool support,web service provider,formal semantics,web service
Data mining,Programming language,Semantic Web Stack,Computer science,Semantic Web,Formal specification,OWL-S,Formal methods,Social Semantic Web,Web service,Database,Formal verification
Conference
Volume
ISSN
ISBN
4831
0302-9743
3-540-76992-7
Citations 
PageRank 
References 
5
0.50
10
Authors
4
Name
Order
Citations
PageRank
Hai H. Wang117216.33
Terry Payne2392.93
Nick Gibbins3525.01
Ahmed Saleh4222.36