Sciweavers

900 search results - page 32 / 180
» Formalizing Ontological Commitment
Sort
View
DLOG
2007
15 years 11 days ago
Modularity in DL-Lite
We develop a formal framework for modular ontologies by analysing four notions of conservative extensions and their applications in refining, re-using, merging, and segmenting ont...
Roman Kontchakov, Frank Wolter, Michael Zakharyasc...
DLOG
2010
14 years 8 months ago
Towards Formal Comparison of Ontology Linking, Mapping and Importing
Multiple distributed and modular ontology representation frameworks have recently appeared. They typically extend Description Logics (DL), with new constructs to represent relation...
Martin Homola, Luciano Serafini
ESWA
2002
74views more  ESWA 2002»
14 years 9 months ago
Ontologies for information management: balancing formality, stability, and sharing scope
Ontologies are an emerging paradigm to support declarativity, interoperability, and intelligent services in many areas, such as Agent
Ludger van Elst, Andreas Abecker
TAL
2010
Springer
14 years 4 months ago
A Formal Ontology for a Computational Approach of Time and Aspect
This paper provides a linguistic semantic analysis of time and aspect in natural languages. On the basis of topological concepts, notions are introduced like the basic aspectual op...
Aurelien Arena, Jean-Pierre Desclés
ATAL
2007
Springer
15 years 4 months ago
A formal model for situated semantic alignment
Ontology matching is currently a key technology to achieve the semantic alignment of ontological entities used by knowledge-based applications, and therefore to enable their inter...
Manuel Atencia, W. Marco Schorlemmer