OntoDebug: An interactive ontology debugger plugin for Protege 5
A multithreaded diagnosis library
A collection of publicly available inconsistent and/or incoherent ontologies.
Pulsar Docker image with TLS encryption
docker build . -t wolfgangschmid/pulsar-standalone-secures:latest
A version of rmdb that is compatible with Protege 5.0 beta 18 and later, that has switched to owl-api 4.0.
The rmdb package has been reduced to those modules that are required by the protege-plugin protegeview.
Study Material for User Study on Explanations for Spreadsheet Debugging