KAON2 OWL Tools
Version 0.27
Description
The KAON2 OWL tools are a set of tools for working on OWL files.
Usage
Enter owl help
to get more information on 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
The KAON2
OWL Tools website
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