Package edu.unika.aifb.owltools.tools

Class Summary
Ded ded weakens ontologies by removing datatype range declarations.
Deo Deo weakens ontologies by transforming nominals in simple classes.
Diff Returns all axioms that are within one, but not within the other ontology
DLPConvert DLPconvert is a tool to transform different syntactical representations of a DLP program into each other (refer to Raphael Volz, 2004).
Dump dump is used to serialize the ontology, or filtered parts of it, or to count it
Evaluate Accesses the evaluation package for the command line tools
Filter Filter removes axioms from an ontology, specified by their axiom type
KAON2Tool Common code for all the owl tools
Latex Latex makes a DL-rendering fo an ontology that can be used within Latex
Luna Asserts that all individuals in an ontology are different from each other
Merge Returns an ontology conaining all axioms from both ontologies
Meta meta makes a meta-ontology from an ontology, and back again
Metrics Accesses several metrics implementations in the metrics package for the command line
Populate creates instances for classes
Satisfiable Satisiable loads an ontology and lets KAON2 check if it is satisfiable
Script This is an experimental class.
Syntax Syntax calls KAON2 in order to load an OWL ontology in one serialisation and to export it in another
 

Enum Summary
DLPConvert.Format Specifies the different possible formats that dlpconvert is able to serialise set of rules in.
DLPConvert.IntegrityConstraintHandling Possibilities of how to handle integrity constraints.