|
||||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |
Class Summary | |
---|---|
BuiltInPropertyManager | |
ExpressionManager | |
ObjectPropertyInclusionManager | |
OWLAxioms | |
OWLAxioms.ComplexObjectPropertyInclusion | |
OWLAxiomsExpressivity | |
OWLClausification | |
OWLClausification.DataRangeConverter | |
OWLClausification.FactClausifier | |
OWLClausification.NormalizedAxiomClausifier | |
OWLClausification.NormalizedDataRangeAxiomClausifier | |
OWLNormalization | This class implements the structural transformation from our new tableau paper. |
ReducedABoxOnlyClausification |
|
||||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |