|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
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 |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |