KAON2 OWL Tools

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)

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 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 .

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 .

Dependencies

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

Version History

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:
inlcuding code written by Boris Motik, Max V�lkel, Markus Kr�tzsch, Peter Haase and Denny Vrandecic