Sciweavers

1060 search results - page 40 / 212
» Mechanized semantics
Sort
View
ICDIM
2007
IEEE
15 years 4 months ago
The OntoNL Semantic Relatedness Measure for OWL ontologies
: An effect of the growing importance of the Semantic Web used for sharing knowledge over the Internet was the development and publishing of many ontologies in different domains. T...
Anastasia Karanastasi, Stavros Christodoulakis
DATE
2009
IEEE
120views Hardware» more  DATE 2009»
15 years 4 months ago
Towards a formal semantics for the AADL behavior annex
—AADL is an Architecture Description Language which describes embedded real-time systems. Behavior annex is an extension of the dispatch mechanism of AADL execution model. This p...
Zhibin Yang, Kai Hu, Dianfu Ma, Lei Pi
JCP
2008
126views more  JCP 2008»
14 years 9 months ago
Extension Information-Knowledge-Strategy System for Semantic Interoperability
This paper discusses the issue of information interoperability. In view of the problems that it is difficult to solve the semantic conflicts in information interoperability, the pa...
Li Weihua, Yang Chunyan
LAWEB
2004
IEEE
14 years 11 months ago
Integrating Semantic Concept Similarity in Model-Based Web Applications
Model-based design methods, and model-based architectures, have gained adoption in authoring applications for the WWW. This is further reinforced by the increasing visibility of t...
Cristiano Rocha, Daniel Schwabe, Marcus Poggi de A...
EKAW
2006
Springer
15 years 1 months ago
Ontology Selection for the Real Semantic Web: How to Cover the Queen's Birthday Dinner?
Robust mechanisms for ontology selection are crucial for the evolving Semantic Web characterized by rapidly increasing numbers of online ontologies and by applications that automat...
Marta Sabou, Vanessa Lopez, Enrico Motta