The power provided by OWL reasoning engines can be translated into Java applications and vice versas with this framework. A binding among OWL and Java concepts has been done in order to incorporate the semantic features of OWL into Java.
Approximate Reasoning trades completeness and soundness for increasing speed.
The focus of this project is to develop scalable reasoning techniques for OWL ontologies.