Augmenting Subsumption Propagation in Distributed Description Logics

13 years 4 months ago

Download ii.fmph.uniba.sk

Distributed Description Logics (DDL) enable reasoning with multiple ontologies interconnected by directional semantic mapping, called bridge rules. Bridge rules map concepts of a source ontology into concepts of a target ontology. Concept subsumptions of the source ontology can be propagated according to a propagation pattern expressed by bridge rules into concept subsumptions of the target ontology. In the basic formulation of DDL such a propagation is mostly limited to cases when pairs of ontologies are directly linked by means of bridge rules. However, when more than two ontologies are involved, one would expect that subsumption propagates along chains of ontologies linked by bridge rules, but the semantics of DDL is too weak to support this behaviour. In a recent study, an adjusted semantics for DDL that supports subsumption propagation through chains of ontologies has been introduced. This study makes use of so called compositional consistency requirement that has been employed be...

Martin Homola, Luciano Serafini

Real-time Traffic