Approximate Reasoning trades completeness and soundness for increasing speed.
The focus of this project is to develop scalable reasoning techniques for OWL ontologies.
This project aims at being the spearhead of logging tools. It will integrate with existing logging frameworks and will incorporate unique features to maximize speed and usability.