GitHub repository: rolandbernard/protege-weakening
Primary language: Java
Description: Protégé plugin that adds support for axiom weakening