COBRA Reasoner

This tool is COntext Based ReAsoning Tool, used to do reasoning of OWL ontologies with contexts. This tool is developed in Java 1.7. The tool is divided into 2 modules. First module labels the ontology with context labels. It takes an OWL ontology as input and creates contexts labels in it.
It has LabelOntology.java as the main class, it takes input in the following form,

Example : /Users/Documents/input.txt
input file contains,
/Users/Documents/galen_7.owl,5
galen_7.owl is input ontology.
5 is number of contexts to be introduced in the ontology.

Second module is COBRAReasoner it computes boundary of a consequence, which tells from which contexts the consequence is entailed in the ontology.
It takes the following input through COBRAReasoner.java class,

Example :/Users/Documents/input.txt
input file contains,
/Users/Documents/galen_7.owl,Mycoplasmas,MicroscopicStructure
where Mycoplasmas is subclass, MicroscopicStructure is superclass of the consequence.