TrOWL v0.9 Released

TrOWL v0.9 provides stream reasoning services using truth maintenance systems and is available for download.

Stream reasoning is very useful for situations where ontologies are subject to change. The current version supports complete TBox stream reasoning of EL+ and approximate ABox stream reasoning of SHIQ. Reasoning is soundness-guaranteed and tractable as always. Additionally, an approximate justification is also maintained for each inference result. Retrieval of such jsutifications can be performed directly without further computation.