1722 search results - page 46 / 345 » Ontology Formalism Transformation |
191
click to vote
EKAW
2004
Springer
15 years 11 months ago
2004
Springer
Abstract In this paper we describe a general logic-enabled Formal Concept Analysis (FCA) approach to manage patient record instances. In particular, the conceptual model of the dom...
178
click to vote
SWAP
2007
15 years 7 months ago
2007
We address the problem of reasoning with instances of heterogeneously formalized ontologies. Given a set of semantic mappings, reconciling conceptual and instance level heterogenei...
150
click to vote
ISOLA
2004
Springer
15 years 11 months ago
2004
Springer
This paper summarizes the results on the correctness of the transformations in compiler back-ends achieved in the DFG-project Verifix. Compiler back-ends transform intermediate la...
173
click to vote
ICRA
2010
IEEE
15 years 4 months ago
2010
IEEE
Service robots will have to accomplish more and more complex, open-ended tasks and regularly acquire new skills. In this work, we propose a new approach to generating plans for su...
180
click to vote
IFM
2010
Springer
15 years 4 months ago
2010
Springer
In this paper we describe techniques for the specification and verification of model transformations using a combination of UML and formal methods. The use of UML 2 notations to s...