Package | Description |
---|---|
owltools |
OWLTools - an OWL API wrapper
|
Modifier and Type | Field and Description |
---|---|
static Comparator<InferenceBuilder.PotentialRedundant> |
InferenceBuilder.PotentialRedundant.PRINT_COMPARATOR |
Modifier and Type | Method and Description |
---|---|
List<InferenceBuilder.PotentialRedundant> |
InferenceBuilder.checkPotentialRedundantSubClassAxioms()
Check all classes for potential redundant subClass axioms of type:
|
List<InferenceBuilder.PotentialRedundant> |
InferenceBuilder.checkPotentialRedundantSubClassAxioms(Collection<? extends org.semanticweb.owlapi.model.OWLAxiom> inferredAxioms)
Check the list of axioms for potential redundant subClass axioms of type:
|
Copyright © 2010–2016. All rights reserved.