Sciweavers

1722 search results - page 84 / 345
» Ontology Formalism Transformation
Sort
View
100
Voted
BIRTHDAY
2010
Springer
15 years 26 days ago
The Edge of Graph Transformation - Graphs for Behavioural Specification
The title of this paper, besides being a pun, can be taken to mean either the frontier of research in graph transformation, or the advantage of using graph transformation. To focus...
Arend Rensink
CISIS
2008
IEEE
15 years 7 months ago
Processing Ontology Alignments with SPARQL
Solving problems raised by heterogeneous ontologies can be achieved by matching the ontologies and processing the resulting alignments. This is typical of data mediation in which ...
Jérôme Euzenat, Axel Polleres, Fran&c...
91
Voted
DEXAW
2009
IEEE
114views Database» more  DEXAW 2009»
15 years 4 months ago
A Meta-Framework for Generating Ontologies from Legacy Schemas
A huge amount of schemas are expressed within outdated schema languages which are restricted concerning expressiveness, extensibility, readability, and understandability. Consequen...
Manuel Wimmer
FASE
2005
Springer
15 years 6 months ago
Termination Criteria for Model Transformation
Model Transformation has become central to most software engineering activities. It refers to the process of modifying a (usually graphical) model for the purpose of analysis (by i...
Hartmut Ehrig, Karsten Ehrig, Juan de Lara, Gabrie...
95
Voted
IJIT
2004
15 years 2 months ago
Formal Verification of a Multicast Protocol In Mobile Networks
As computer network technology becomes increasingly complex, it becomes necessary to place greater requirements on the validity of developing standards and the resulting technology...
Mohammad Reza Matash Borujerdi, S. M. Mirzababaei