KAON2 OWL Tools

Attention. The KAON2 OWL tools have not been maintained for a while. People still regularly ask for it, that is why we put this website back up. You can download here a package with the last version, the source code, and the last development snapshot, so you should be able to use tools like dlpconvert and others out of the box, and even extend them as you like. Have fun!

The links down there are probably all broken by now. Also, you may want to know that Pellet and HermiT both have command line usable features, too. Check them out!

Version 0.27

The KAON2 OWL tools are a set of tools for working on OWL files, exposing some abilities of the KAON2 ontology infrastructure to the command line.

Download from Ontoware (source available as well) (down)

Just unpack the files in a directory (best within your path, and have the Jars within your classpath or else change the bat-file accordingly) and enter owl help to get more information on how to use the individual tools.

At the same time it is also an example of how to code with KAON2 and how to realize some tasks. You may grab the source code from Ontoware (down) as well. Though, be reminded, it is not polished, it does not contain too many comments and all that.

List of available tools

dump: prints the axioms (or entities) of the ontology
latex: prints out the axioms ready for inclusion in a latex document
filter: remove all the axioms of a special kind
count: counts the number of axioms (or entities) in the ontology
diff: returns all axioms in one ontology missing from the other
merge: returns an ontology containing all axioms from two input ontologies
syntax: translates between different syntaxes, from and to OWL/XML Presentation syntax and XML/RDF syntax, and to OWL Abstract Syntax
luna: adds an axiom to make all the individuals in an ontology different from each other (thus making a local unique name assumption)
deo: weakens the ontology by replacing nominals with simple classes
ded: removes all concrete domains from the ontology
populate: populates an ontology randomly with instances
dlpconvert: converts an DL ontology to rules
screech: creates a split program out of a DL ontology
satisfiable: checks the satisfiability of an ontology
shell: offers a shell to work with OWL ontologies. The shell includes an own help system. It is just a beta
version: prints the version of the KAON2 OWL tools

Feedback

Feedback is strongly welcomed! This is just a very early beta, and there are probably tons of errors inside. Report bugs and problems, please (but money and thank-you-emails are appreciated as well). Write me at denny.vrandecic@kit.edu.

Some planned tools

remove: removes the axioms found in one ontology from the other
entails: checks if one ontologyis entailed by the other
abox: extracts the ABox of the ontology
tbox: extracts the TBox of the ontology

The implementation of the planned tools will come with my time and needs. If you have any further ideas - I have a list of a dozen ideas, but I don't want to promise too much - just drop me a line at denny.vrandecic@kit.edu.

Dependencies

Depends on KAON2 written by Boris Motik and Java 5 by Sun.

Version History

September 15, 2010: Reinstated website, put up maintenance warning
June 7, 2006: Version 0.27, new KAON2 version, improved latex, syntax replaces and extends owlrdf2owlxml and owlxml2owlrdf, luna, added RuleML export to dlp
November 22, 2005: Version 0.26, new KAON2 version, latex (beta), shell enhanced (still beta), dlpconvert IC-handling
October 16, 2005: Version 0.23, new KAON2 version, API built, populate, screech added, first version of shell
July 6, 2005: Version 0.22, new KAON2 version, some bugs removed
April 5, 2005: Version 0.19, satisfiable and merge added
March 31, 2005: Version 0.16, diff, deo, ded added, included a sample ontology (wine, what else?)
March 24, 2005: Version 0.12, filter added
March 22, 2005: Version 0.1, initial release, containing dump, count, r2x, x2r and dlpconvert.

Copyright and author

© 2005-2006, AIFB, University of Karlsruhe
compiled and maintained by Denny Vrandecic
contact: denny.vrandecic@kit.edu
inlcuding code written by Boris Motik, Max Völkel, Markus Krötzsch, Peter Haase and Denny Vrandecic