OWL Explanation Generator - see http://www.bcs.org/upload/pdf/dd-matthew-horridge.pdf

A plug-in that adds explanation facilities to the Protege Desktop ontology editor. Written by Matthew Horridge during his PhD at the University of Manchester.

Core library for ROBOT: Library for working with OWL ontologies, especially Open Biological and Biomedical Ontologes (OBO).

A light-weight wrapper for the OWLAPI enabling rapid and concise development of OWL ontologies using Manchester OWL Syntax.

OWLAPI module for the BRunner project

This package encapsulates OWL API adding tools for managing DISPONTE probabilistic semantics. Used by the reasoner BUNDLE.

A plug-in that adds explanation facilities to the Protege Desktop ontology editor

BUNDLE is a reasoner for probabilistic description logics.

A light-weight wrapper for the OWLAPI enabling rapid and concise development of OWL ontologies using Manchester OWL Syntax.