KAON2 OWL Tools

Version 0.27

Description

The KAON2 OWL tools are a set of tools for working on OWL files.

Usage

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

Link

Dependencies

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

Copyright and author

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