A formal model of semantic Web Service Ontology (WSMO) execution
Semantic Web services have been one of the most significant research areas within the semantic Web vision, and have been recognized as a promising technology that exhibits huge commercial potential. Current semantic Web service research focuses on defining models and languages for the semantic marku...
Saved in:
Main Authors: | WANG, Hai H., GIBBINS, Nick, PAYNE, Terry R., SALEH, Ahmed, SUN, Jun |
---|---|
Format: | text |
Language: | English |
Published: |
Institutional Knowledge at Singapore Management University
2008
|
Subjects: | |
Online Access: | https://ink.library.smu.edu.sg/sis_research/5052 https://ink.library.smu.edu.sg/context/sis_research/article/6055/viewcontent/a_formal_model.pdf |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Institution: | Singapore Management University |
Language: | English |
Similar Items
-
A formal model of semantic web service ontology (WSMO) execution
by: Wang, H.H., et al.
Published: (2013) -
A formal semantic model of the semantic Web Service Ontology (WSMO)
by: Wang, H.H., et al.
Published: (2013) -
K-ST: A formal executable semantics of the structured text language for PLCs
by: WANG, Kun, et al.
Published: (2023) -
Using monterey phoenix to formalize and verify system architectures
by: ZHANG, Jiexin, et al.
Published: (2012) -
A UTP semantics for communicating processes with shared variables and its formal encoding in PVS
by: SHI, Ling, et al.
Published: (2018)