Sciweavers

57 search results - page 6 / 12
» A Model Theoretic Semantics for Ontology Versioning
Sort
View
ACMICEC
2006
ACM
191views ECommerce» more  ACMICEC 2006»
14 years 1 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
SEKE
2005
Springer
14 years 1 months ago
Institution Morphisms for Relating OWL and Z
Checking for properties of Web ontologies is important for the development of reliable Semantic Web systems. Software specification and verification tools can be used to complem...
Dorel Lucanu, Yuan-Fang Li, Jin Song Dong
WEBI
2010
Springer
13 years 5 months ago
Learning in Presence of Ontology Mapping Errors
The widespread use of ontologies to associate semantics with data has resulted in a growing interest in the problem of learning predictive models from data sources that use differe...
Neeraj Koul, Vasant Honavar
GI
2007
Springer
14 years 1 months ago
Dealing with Knowledge Intensive Services in E-Government. A Case Study
Abstract: Governmental processes are complex and knowledge-intensive. Most process management systems fail to support them in an adequate way. On the other hand semantic technologi...
Daniela Feldkamp, Knut Hinkelmann, Holger Wache
EPEW
2005
Springer
14 years 1 months ago
A Compositional Operational Semantics for OWL-S
Software composition via workflow specifications has received a great deal of attention recently. One reason is the high degree of fit with the encapsulation of software modules...
Barry Norton, Simon Foster, Andrew Hughes