DRAOn: A Distributed Reasoner for Aligned Ontologies

Abstract : DRAOn is a distributed reasoner which offers inference services for a network of OWL ontologies correlated by alignments. Reasoning with such networks of ontologies depends on the semantics we define for alignments with respect to ontologies. DRAOn supports two semantics for a network of ontolo- gies: the standard Description Logics (DL) semantics for non-distributed reason- ing, and the Integrated Distributed Description Logics (IDDL) semantics for dis- tributed reasoning. Unlike the DL semantics where alignments are considered as inter-ontology axioms, the IDDL semantics interprets alignments as correspon- dences enabling to propagate non-emptiness (always satisfiable) and unsatisfia- bility of atomic concepts from an ontology to another one. Consequently, this makes distributed reasoning for a network of ontologies possible since consis- tency of the whole network can be decided from consistency of each ontology with axioms built from alignments such that these axioms ensure just necessary propagations of knowledge.
Document type :
Conference papers
Complete list of metadatas

Contributor : Florent Breuil <>
Submitted on : Tuesday, July 23, 2013 - 11:38:37 AM
Last modification on : Tuesday, October 23, 2018 - 2:36:09 PM


  • HAL Id : emse-00847315, version 1


Chan Le Duc, Myriam Lamolle, Antoine Zimmermann, Olivier Curé. DRAOn: A Distributed Reasoner for Aligned Ontologies. The OWL Reasoner Evaluation Workshop 2013 (ORE 2013), Jul 2013, Ulm, Germany. pp.14.1-14.6. ⟨emse-00847315⟩



Record views