Aus SubmersWiki
KAON2 is a reasoner and ontology management API for OWL DL and SWRL. It can be used to check the validity of the exported OWL specifications.
When used together with OWL tools, one can also transform the exported RDF into LaTeX sources that show the related DL statements. These statements tend to be more readable for humans, or at least for the people who have knowledge about DL.
- Copyright © 2009 Ontoprise GmbH.
Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.2 or any later version published by the Free Software Foundation; with no Invariant Sections, no Front-Cover Texts, and no Back-Cover Texts. A copy of the license is included in the article "GNU Free Documentation License".
