Sciweavers

7288 search results - page 147 / 1458
» On process rate semantics
Sort
View
ICTAC
2004
Springer
15 years 11 months ago
Verifying OWL and ORL Ontologies in PVS
The Semantic Web vision is being realized to reach the full potential of the Web. Semantic data modeling is the foundation of the Semantic Web. The Web Ontology Language (OWL) and ...
Jin Song Dong, Yuzhang Feng, Yuan-Fang Li
DLOG
2007
15 years 8 months ago
SEMilarity: Towards a Model-Driven Approach to Similarity
Enabling the Semantic Web requires solving the semantic heterogeneity problem, for which ontology matching methods have been proposed. These methods rely on similarity measures tha...
Rudi Araújo, Helena Sofia Pinto
FM
2009
Springer
95views Formal Methods» more  FM 2009»
16 years 22 days ago
A Robust Semantics Hides Fewer Errors
Steve Reeves, David Streader