KAON2

KAON2 http://kaon2.semanticweb.org/ is an infrastructure for managing OWL-DL, SWRL, and F-Logic ontologies.

KAON2 provides:
* An API for programmatic management of OWL-DL, SWRL, and F-Logic ontologies,
* A stand-alone server providing access to ontologies in a distributed manner using RMI,
* An inference engine for answering conjunctive queries (expressed using SPARQL syntax),
* A DIG interface, allowing access from tools such as Protégé,
* A module for extracting ontology instances from relational databases.