Sciweavers

1722 search results - page 28 / 345
» Ontology Formalism Transformation
Sort
View
ICECCS
2008
IEEE
140views Hardware» more  ICECCS 2008»
14 years 4 months ago
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 c...
Hai H. Wang, Nick Gibbins, Terry R. Payne, Ahmed S...
ICECCS
2007
IEEE
144views Hardware» more  ICECCS 2007»
14 years 4 months ago
A Formal Semantic Model of the Semantic Web Service Ontology (WSMO)
Semantic Web Services, one of the most significant research areas within the Semantic Web vision, has attracted increasing attention from both the research community and industry...
Hai H. Wang, Nick Gibbins, Terry R. Payne, Ahmed S...
ACMICEC
2006
ACM
191views ECommerce» more  ACMICEC 2006»
14 years 3 months ago
An ontology of trust: formal semantics and transitivity
This paper formalizes the semantics of trust and studies the transitivity of trust. On the Web, people and software agents have to interact with “strangers”. This makes trust ...
Jingwei Huang, Mark S. Fox
ASPDAC
2005
ACM
125views Hardware» more  ASPDAC 2005»
14 years 3 months ago
A formalism for functionality preserving system level transformations
— With the rise in complexity of modern systems, designers are spending a significant time on at the system level of abstraction. This paper introduces Model Algebra, a formalis...
Samar Abdi, Daniel Gajski
WISE
2005
Springer
14 years 3 months ago
A Formal Ontology Reasoning with Individual Optimization: A Realization of the Semantic Web
Abstract. Answering a query over a group of RDF data pages is a trivial process. However, in the Semantic Web, there is a need for ontology technology. Consequently, OWL, a family ...
Pakornpong Pothipruk, Guido Governatori