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 |