Integrated distributed description logics - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2007

Integrated distributed description logics


We propose a Description-Logics-based language that extends standard DL with distributed capabilities. More precisely, it offers the possibility to formally describe the semantic relations that exist between two ontologies in a networked knowledge-based system. Contrary to Distributed Description Logics, it is possible to compose correspondences (or bridge rules), while still being able to hide some of the discrepancies between ontologies. Moreover, when ontologies have no nominals, no A-Box axioms, and correspondences are restricted to cross-ontology subsumption, the satisfiability of a local ontology is not influenced by ontology alignments and other ontologies, i.e., local deduction is invariant to the change of the outer system. Although we do not have a complete reasoning procedure, we provide inference rules and semantic properties, and a discussion on reasoning in this formalism.
Fichier principal
Vignette du fichier
zimmermann2007a.pdf (105.56 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-00817817 , version 1 (25-04-2013)


  • HAL Id : hal-00817817 , version 1


Antoine Zimmermann. Integrated distributed description logics. Proc. 20th International workshop on description logic (DL), 2007, Brixen/Bressanone, Italy. pp.507-514. ⟨hal-00817817⟩
226 View
440 Download


Gmail Facebook Twitter LinkedIn More