Uses of Class
edu.unika.aifb.owltools.KAON2Tool

Packages that use KAON2Tool
edu.unika.aifb.owltools   
 

Uses of KAON2Tool in edu.unika.aifb.owltools
 

Subclasses of KAON2Tool in edu.unika.aifb.owltools
 class DLPConvert
          DLPconvert is a tool to transform different syntactical representations of a DLP program into each other (refer to Raphael Volz, 2004).
 class Dump
          dump calls KAON2 in order to load an OWL ontology and then dump what it read.
 class Filter
          Filter filters axioms by kind
 class owlrdf2owlxml
          owlrdf2owlxml calls KAON2 in order to load an OWL ontology in XML/RDF-serialisation and to export it in OWL/XML syntax (or the other way around)