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

/hets/OWL2/java/de/unibremen/informatik/FactProver/
H A DFactProver.java102 public void loadGoal(IRI giri) throws OWLOntologyCreationException { argument
104 OWLOntology ontology = manager.loadOntologyFromOntologyDocument(giri);

Completed in 11 milliseconds