org.liveontologies » protege-justification-explanation
A plug-in for the Protégé Desktop ontology editor that adds an explanation service for displaying minimal subset of axioms (justifications) for entailments. Compared to the explanation-workbench plug-in bundled with Protégé, this plug-in can use multiple providers for computing justifications. Each of these providers should be a plug-in that implements the new extension points (see plugin.xml).
更新时间: 2024-05-11 01:10org.liveontologies » owlapi-proof
Extension to the OWL API interfaces to represent and manipulate with proofs.
更新时间: 1970-01-01 08:00org.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.
更新时间: 1970-01-01 08:00A library for manipulating with proofs based on inference rules.
更新时间: 1970-01-01 08:00| 仓库 | 个数 |
| Central | 592045 |