- addMax
A utility method. Adds axioms from one set to another set upto a specified
limit. Annotation axioms
- createDebuggingOntology
- createIRI
- expandAxioms
- expandWithDefiningAxioms
Creates a set of axioms to expands the debugging axiom set by adding the
defining axioms for the spe
- expandWithReferencingAxioms
Expands the axiom set by adding the referencing axioms for the specified entity.
- generateSOSAxioms
- getOWLOntology
- isSatisfiable
Tests the satisfiability of the test class. The ontology is recreated before the
test is performed.
- performFastPruning
- reset
- resetSatisfiabilityTestCounter