1722 search results - page 89 / 345 » Ontology Formalism Transformation |
94
Voted
KCAP
2005
ACM
15 years 6 months ago
2005
ACM
In order to evaluate the performance of ontology matching algorithms it is necessary to confront them with test ontologies and to compare the results. The most prominent criteria ...
101
click to vote
SWAP
2007
15 years 1 months ago
2007
Abstract. Recent research showed the benefits of adopting formal ontologies as a means for accessing heterogeneous data sources. The use of an ontology not only provides a uniform...
103
click to vote
JAIR
2008
15 years 20 days ago
2008
In this paper, we propose a set of tasks that are relevant for the modular reuse of ontologies. In order to formalize these tasks as reasoning problems, we introduce the notions o...
113
click to vote
PROVSEC
2007
Springer
15 years 6 months ago
2007
Springer
Game-playing is an approach to write security proofs that are easy to verify. In this approach, security definitions and intractable problems are written as programs called games ...
90
Voted
MODELS
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. Model-Driven Engineering places models as first-class artifacts throughout the software lifecycle requiring the availability of proper transformation languages. Although...