Skip to content
master
Switch branches/tags
Code

Latest commit

 

Git stats

Files

Permalink
Failed to load latest commit information.
Type
Name
Latest commit message
Commit time
 
 
 
 
src
 
 
 
 
 
 
 
 
 
 

MORe

Modular OWL 2 Reasoner for Ontology Classification

To build the project open a terminal, go to the project's directory and run

$ mkdir repo
$ mvn deploy:deploy-file -Durl=file:repo/ -Dfile=lib/RDFox/<platform>/JRDFox.jar -DgroupId=uk.ac.ox.cs -DartifactId=JRDFox -Dpackaging=jar -Dversion=build2213

where <platform> should be Mac, Linux or Windows. If you wish to use PrisM as a library, run

$ mvn install

This should generate a folder called target containing the library uber-PrisM-0.0.1-SNAPSHOT.jar. This library is ready to use and bundles all necessary dependencies.

Given an instance o of the OWLOntology class from the OWLAPI, the simplest way to create an instance of the reasoner is the following:

	MOReReasonerFactory factory = new MOReReasonerFactory();
	MoreReasoner more = factory.createReasoner(o);

To classify your ontology, simply call

	more.classifyClasses();

You can retrieve all the superclasses of any OWLClass c in the input ontology by calling

	more.getAllSuperClasses(c);

and also all unsatisfiable classes in the ontology with

	more.getAllUnsatisfiableClasses();

The default configuration of MORe splits the classification workload between the reasoners ELK and HermiT, but you can configure MORe to split the workload between ELK, RDFox and HermiT as follows

	boolean useRDFox = true;
	MOReReasonerConfiguration config = new MOReReasonerConfiguration(useRDFox);
	MOReReasonerFactory factory = new MOReReasonerFactory();
	MOReReasoner more = factory.createReasoner(o, config);

It is also possible to make MORe combine ELK (and maybe RDFox) with any other OWL 2 reasoner that implements the OWLReasoner interface from the OWLAPI and can be created with an OWLReasonerFactory. For this, it suffices to provide an instance owl2RsnrFactory of the corresponding OWLReasonerFactory and an instance owl2RsnrConfig of the corresponding OWL2ReasonerConfiguration as arguments when creating more as follows:

	MOReReasoner more = factory.createReasoner(o, config, owl2RsnrFactory, owl2RsnrConfig);

About

Modular OWL 2 reasoner

Resources

License

Releases

No releases published

Packages

No packages published

Languages