class |
InferredClassAssertionAxiomGenerator
Generates OWLClassAssertionsAxiom s for inferred individual types.
|
class |
InferredClassAxiomGenerator<A extends OWLClassAxiom> |
class |
InferredDataPropertyAxiomGenerator<A extends OWLDataPropertyAxiom> |
class |
InferredDataPropertyCharacteristicAxiomGenerator
Generates inferred data property characteristics.
|
class |
InferredDisjointClassesAxiomGenerator
Generates inferred disjoint axioms - note that this currently uses a very
simple inefficient algorithm.
|
class |
InferredEntityAxiomGenerator<E extends OWLEntity,A extends OWLAxiom>
Generates axioms which relate to inferred information for a specific entity.
|
class |
InferredEquivalentClassAxiomGenerator
Generates inferred equivalent classes axioms.
|
class |
InferredEquivalentDataPropertiesAxiomGenerator |
class |
InferredEquivalentObjectPropertyAxiomGenerator |
class |
InferredIndividualAxiomGenerator<A extends OWLIndividualAxiom> |
class |
InferredInverseObjectPropertiesAxiomGenerator |
class |
InferredObjectPropertyAxiomGenerator<A extends OWLObjectPropertyAxiom> |
class |
InferredObjectPropertyCharacteristicAxiomGenerator |
class |
InferredPropertyAssertionGenerator |
class |
InferredSubClassAxiomGenerator |
class |
InferredSubDataPropertyAxiomGenerator |
class |
InferredSubObjectPropertyAxiomGenerator |