|
||||||||||
| 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 | |||||||||