Sciweavers

1722 search results - page 83 / 345
» Ontology Formalism Transformation
Sort
View
76
Voted
LREC
2008
83views Education» more  LREC 2008»
15 years 2 months ago
Representation of Atypical Entities in Ontologies
This paper is a contribution to formal ontology study. Some entities belong more or less to a class. In particular, some individual entities are attached to classes whereas they d...
Christophe Jouis, Julien Bourdaillet
90
Voted
ACL
2006
15 years 2 months ago
Ontologizing Semantic Relations
Many algorithms have been developed to harvest lexical semantic resources, however few have linked the mined knowledge into formal knowledge repositories. In this paper, we propos...
Marco Pennacchiotti, Patrick Pantel
131
Voted
MODELS
2009
Springer
15 years 5 months ago
On-the-Fly Construction, Correctness and Completeness of Model Transformations Based on Triple Graph Grammars
Triple graph grammars (TGGs) are a formal and intuitive concept for the specification of model transformations. Their main advantage is an automatic derivation of operational rule...
Hartmut Ehrig, Claudia Ermel, Frank Hermann, Ulrik...
122
Voted
ENTCS
2006
168views more  ENTCS 2006»
15 years 20 days ago
Case Study: Model Transformations for Time-triggered Languages
In this study, we introduce a model transformation tool for a time-triggered language: Giotto. The tool uses graphs to represent the source code (Giotto) and the target (the sched...
Tivadar Szemethy
77
Voted
SAS
1994
Springer
15 years 4 months ago
Generating Transformers for Deforestation and Supercompilation
Abstract. Our aim is to study how the interpretive approach -- inserting an interpreter between a source program and a program specializer -- can be used to improve the transformat...
Robert Glück, Jesper Jørgensen