Project Group: org.liveontologies

OWL API Proof Extension

org.liveontologies : owlapi-proof

Extension to the OWL API interfaces to represent and manipulate with proofs.

Last Version: 0.1.0

Release Date: Oct 13, 2017

Protege Proof-Based Explanation

org.liveontologies : protege-proof-explanation

This is a plug-in that adds proof-based explanation facilities to the Protege Desktop ontology editor. It registers as an extension to the Protege explanation services and defines an extension point using which OWL proofs can be provided by other Protege plug-ins. The main functionality of this plug-in is displaying, navigating, and updating those proofs in the user interface.

Last Version: 0.1.0

Release Date: Oct 12, 2017

Proof Utility Library

org.liveontologies : puli

A library for manipulating with proofs based on inference rules.

Last Version: 0.1.0

Release Date: Oct 11, 2017