Package | Description |
---|---|
org.semanticweb.owlapi.util |
Utilities package
|
Modifier and Type | Class | 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 © 2018 The University of Manchester. All rights reserved.