Package | Description |
---|---|
org.semanticweb.owlapi.util |
Modifier and Type | Class and Description |
---|---|
class |
InferredDisjointClassesAxiomGenerator
Generates inferred disjoint axioms - note that this currently uses a very
simple inefficient algorithm.
|
class |
InferredEquivalentClassAxiomGenerator
Generates inferred equivalent classes axioms.
|
class |
InferredSubClassAxiomGenerator |
Copyright © 2017 The University of Manchester. All Rights Reserved.