edu.unika.aifb.owltools.tools
Classes 
Ded
Deo
Diff
DLPConvert
Dump
Evaluate
Filter
KAON2Tool
Latex
Luna
Merge
Meta
Metrics
Populate
Satisfiable
Script
Syntax
Enums 
DLPConvert.Format
DLPConvert.IntegrityConstraintHandling