Searched defs:axioms (Results 1 - 2 of 2) sorted by relevance
/hets/OWL2/java/de/unibremen/informatik/locality/ | ||
H A D | LocalityChecker.java | 20 private static Set<OWLAxiom> axioms; field in class:LocalityChecker 61 Iterator<OWLAxiom> it = axioms.iterator(); 77 Iterator<OWLAxiom> it = axioms.iterator(); 102 axioms = ontology.getAxioms(); |
/hets/OWL2/java/lib/ | ||
H A D | owlapi-osgidistribution-3.5.2.jar | ... .OWLClassExpression unsatClass java.util.Set axiomWindow Object[] axioms int windowCount int remainingAxiomsCount private void performSlowPruning (org.semanticweb ... |
Completed in 13 milliseconds