Searched refs:loadGoal (Results 1 - 2 of 2) sorted by relevance

/hets/OWL2/java/de/unibremen/informatik/FactProver/
H A DProve.java19 prover.loadGoal(goalIRI);
H A DFactProver.java102 public void loadGoal(IRI giri) throws OWLOntologyCreationException { method in class:FactProver

Completed in 11 milliseconds