DRAOn: A Distributed Reasoner for Aligned Ontologies - Mines Saint-Étienne Access content directly
Conference Papers Year : 2013

DRAOn: A Distributed Reasoner for Aligned Ontologies


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.
No file

Dates and versions

emse-00847315 , version 1 (23-07-2013)


  • 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⟩
202 View
0 Download


Gmail Facebook X LinkedIn More