Searched defs:loadGoal (Results 1 - 1 of 1) sorted by relevance
/hets/OWL2/java/de/unibremen/informatik/FactProver/ | ||
H A D | FactProver.java | 102 public void loadGoal(IRI giri) throws OWLOntologyCreationException { method in class:FactProver |
Completed in 11 milliseconds