You are in : Home » Results & submissions » Select UOA » 11 - Computer Science and Informatics » View submission: University of Liverpool » Outputs » Detail

Output details

11 - Computer Science and Informatics

University of Liverpool

Return to search Previous output Next output

Output 2 of 94 in the submission

Article title

A formal model of the Semantic Web Service Ontology (WSMO)

Type

D - Journal article

DOI

10.1016/j.is.2011.07.003

Title of journal

Information Systems

Article number

Volume number

Issue number

First page of article

ISSN of journal

03064379

Year of publication

2012

URL

Number of additional authors

Additional information

<7>This paper extends the work of two conference papers "A Formal Semantics Model of the Semantic Web Service Ontology (WSMO)" and "A Formal Model of Semantic Web Service Ontology (WSMO) Execution", published in the Twelfth (2007) and Thirteenth (2008) IEEE International Conference on Engineering of Complex Computer Systems respectively, to present a complete framework for the WSMO ontology that can be formally verified. The conference papers were not returned in RAE-2008.

Interdisciplinary

Cross-referral requested

Research group

None

Citation count

Proposed double-weighted

Double-weighted statement

Reserve for a double-weighted output

Non-English

English abstract