The need for being able to talk about mappings between different ontologies has been recognized as a result of the fact that different ontologies may partially overlap or even represent the same domain from different points of view. Unlike for the case of ontology languages, work on mapping languages has not yet reached a state where a common understanding of the basic principles exists. In this paper we propose a formal comparison of existing mapping language by translating them into Distributed first order logic. We analyze underlying assumptions and differences in the interpretation of mappings
A Formal Investigation of Mapping Language for Terminological Knowledge
Serafini, Luciano;
2005-01-01
Abstract
The need for being able to talk about mappings between different ontologies has been recognized as a result of the fact that different ontologies may partially overlap or even represent the same domain from different points of view. Unlike for the case of ontology languages, work on mapping languages has not yet reached a state where a common understanding of the basic principles exists. In this paper we propose a formal comparison of existing mapping language by translating them into Distributed first order logic. We analyze underlying assumptions and differences in the interpretation of mappingsFile in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
