KAON — infrastructure for managing OWL-DL, SWRL, and F-Logic ontologies