Sciweavers

3 search results - page 1 / 1
» Subsumption Propagation between Remote Ontologies in Distrib...
Sort
View
DLOG
2008
13 years 7 months ago
Subsumption Propagation between Remote Ontologies in Distributed Description Logic
Distributed Description Logics (DDL) is a KR formalism that enables reasoning with multiple ontologies interconnected by directional semantic mapping. Subsumption propagation in DD...
Martin Homola
AAI
2010
108views more  AAI 2010»
13 years 4 months ago
Augmenting Subsumption Propagation in Distributed Description Logics
Distributed Description Logics (DDL) enable reasoning with multiple ontologies interconnected by directional semantic mapping, called bridge rules. Bridge rules map concepts of a s...
Martin Homola, Luciano Serafini
SWAP
2007
13 years 5 months ago
Reasoning with Instances of Heterogeneous Ontologies
We address the problem of reasoning with instances of heterogeneously formalized ontologies. Given a set of semantic mappings, reconciling conceptual and instance level heterogenei...
Luciano Serafini, Andrei Tamilin