Distributed Reasoner for Aligned Ontologies (DRAOn)

You can download the current version of Draon from here
To test Draon, perform the following steps :

(I) On one computer

1. Run a first server associated with HermiT on the port 8080. For this, you uncompress "draon-2.0.zip" to a directory, named "draon1". In this directory, you can find all necessary jars and a subdirectory in which there are datasets. From "draon1", run the command:

java -cp .:./HermiT.jar:./owllink-bin.jar:./jetty-7.0.0.pre5.jar:./servlet-api-3.0.pre4.jar:./org.mortbay.jetty.jar org.semanticweb.owlapi.owllink.server.serverfactory.HermiTServerFactory -port 8080

2. Run a second server associated with HermiT on the port 8081. For this, you uncompress "draon-2.0.zip" to a directory, named "draon2". In this directory, you can find the same files. From "draon2", run the command:

java -cp .:./HermiT.jar:./owllink-bin.jar:./jetty-7.0.0.pre5.jar:./servlet-api-3.0.pre4.jar:./org.mortbay.jetty.jar org.semanticweb.owlapi.owllink.server.serverfactory.HermiTServerFactory -port 8081

3. Run the global reasoner. For this, you uncompress "draon-2.0.zip" to a directory, named "draon". From "draon", run the command:

java -cp .:./HermiT.jar:./owllink-bin.jar:./procalign.jar:./draon.jar:./slf4j-api.jar:./jena-core.jar:./jena-base.jar:./jena-iri.jar:./jena-shaded-guava.jar:./guava-19.0.jar:./ontowrap.jar:./align.jar fr.paris8.iut.info.draon.PropagateMain localhost dataset/[onto1].owl localhost dataset/[onto2].owl dataset/[onto1]-[onto2].rdf

(II) On three different computers of a local network

After running two servers above on two different computers, run the third command on a third computer by replacing "localhost" with the IP of the two servers. The semantics APPROX is set by default. This semantics is implemented in Draon and introduced in a paper submitted to ISWC2019. There are some bugs in Algorithms 1, 2 and the experimental results in the submitted version. You can find a more complete version of the paper here