description-logics
Plan, apply and roll back changes to a production ontology, with a blast radius report and a proof an auditor can re-check.
Python bindings for upgraded FaCT++ description logic reasoner
OWL Class Expressions Learning in Python
