|
||||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | |||||||||
| Class Summary | |
|---|---|
| PropertyHierarchyCompositionComputation | A ReasonerComputation that computes relevant sub-properties and composition maps |
| PropertyHierarchyCompositionComputationFactory | |
| ReflexivePropertyComputation | A ReasonerComputation that computes reflexive
IndexedPropertyChains |
| ReflexivePropertyComputationFactory | The factory of engines that compute implied reflexivity of object property (chains). |
| SaturatedPropertyChain | This object is used for fast retrieval of property inclusions and compositions which are needed during saturation of class expressions. |
|
||||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | |||||||||