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

Packages that use KAON2Tool
edu.unika.aifb.owltools.server   
edu.unika.aifb.owltools.shell   
edu.unika.aifb.owltools.tools   
 

Uses of KAON2Tool in edu.unika.aifb.owltools.server
 

Subclasses of KAON2Tool in edu.unika.aifb.owltools.server
 class Server
           
 

Uses of KAON2Tool in edu.unika.aifb.owltools.shell
 

Subclasses of KAON2Tool in edu.unika.aifb.owltools.shell
 class Shell
          Implements an experimental shell to work with OWL files (beta)
 

Uses of KAON2Tool in edu.unika.aifb.owltools.tools
 

Subclasses of KAON2Tool in edu.unika.aifb.owltools.tools
 class Ded
          ded weakens ontologies by removing datatype range declarations.
 class Deo
          Deo weakens ontologies by transforming nominals in simple classes.
 class Diff
          Returns all axioms that are within one, but not within the other ontology
 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 is used to serialize the ontology, or filtered parts of it, or to count it
 class Evaluate
          Accesses the evaluation package for the command line tools
 class Filter
          Filter removes axioms from an ontology, specified by their axiom type
 class Latex
          Latex makes a DL-rendering fo an ontology that can be used within Latex
 class Luna
          Asserts that all individuals in an ontology are different from each other
 class Merge
          Returns an ontology conaining all axioms from both ontologies
 class Meta
          meta makes a meta-ontology from an ontology, and back again
 class Metrics
          Accesses several metrics implementations in the metrics package for the command line
 class Populate
          creates instances for classes
 class Satisfiable
          Satisiable loads an ontology and lets KAON2 check if it is satisfiable
 class Script
          This is an experimental class.
 class Syntax
          Syntax calls KAON2 in order to load an OWL ontology in one serialisation and to export it in another