KAON2 is a closed-source infrastructure for managing OWL-DL, SWRL, and F-Logic ontologies and includes a DIG interface for accessing from external applications.