[Back to DRAOn]

Technical Details of DRAOn

DRAOn uses the OWL API to manipulate OWL ontologies and the Alignment API to deal with aligments. In addition, DRAOn is based heavily on HermiT reasoner that is charged in reasoning tasks over simple ontologies.

Main features

In the version 1.5, we implement optimizations for reducing the number of configurations to be considered and for improving communication protocol between local reasoners. In addition, the entailment service for the IDDL semantics is introduced for some concept axioms.

Implemented Optimizations

In this version, we have developed and implemented new techniques whose behaviour is more goal-oriented than those implemented in early versions. The main ideas are:

Distributed Reasoning

The inference services supporting the IDDL semantics are parallelized and implemented in a distributed way in this version. When defining a network of aligned ontologies, a global reasoner that and several remote local reasoners are created. The global reasoner uses several threads to manage communication between the remote reasoners and itself. We have to use sockets to establish the communication between global and local reasoners instead of OWLink. This is due to effciency question and an intrinsic characteristic of IDDL.

Entailment Services

Instead of allowing for all disjointion axioms in alignments, we implement entailment services by using the fact that the entailments $O_i \cup A \models C(a)$ and $O_i \cup A \models C \sqsubseteq D$ can be achieved by propagating disjointness axioms to alignments and non-emptiness axioms to local reasoners.

http://iddl.gforge.inria.fr

$IUT de Montreuil, Universite de Paris8 $