Package org.obolibrary.robot.reason
-
Interface Summary Interface Description EquivalentAxiomReasoningTest Created by edouglass on 5/9/17. -
Class Summary Class Description EquivalentClassReasoning Created by edouglass on 5/9/17.InferredClassAssertionAxiomGeneratorDirectOnly An InferredAxiomGenerator which returns only direct class assettion axioms.InferredObjectPropertyDomainAxiomGenerator An InferredAxiomGenerator which returns both direct and indirect inferred object property domain axioms.InferredObjectPropertyRangeAxiomGenerator An InferredAxiomGenerator which returns both direct and indirect inferred object property range axioms.InferredSubClassAxiomGeneratorIncludingIndirect An InferredAxiomGenerator which returns both direct and indirect inferred subclass axioms.InferredSubObjectPropertyAxiomGeneratorIncludingIndirect An InferredAxiomGenerator which returns both direct and indirect inferred subobjectproperty axioms. -
Enum Summary Enum Description EquivalentClassReasoningMode Created by edouglass on 5/5/17.