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.
OntoDebug: An interactive ontology debugger plugin for Protege 5
A multithreaded diagnosis library
A collection of publicly available inconsistent and/or incoherent ontologies.
This projects contains the public website of the project
The webprotege code base extended with the interactive debugging features from the OntoDebug Protégé plugin
Pulsar Docker image with TLS encryption
docker build . -t wolfgangschmid/pulsar-standalone-secures:latest
Study Material for User Study on Explanations for Spreadsheet Debugging