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

/hets/OWL2/java/de/unibremen/informatik/FactProver/
H A DProve.java1 package de.unibremen.informatik.FactProver;
15 FactProver prover = new FactProver(physicalIRI);
16 System.out.println("FactProver: " + prover + "\n");
H A DFactProver.java1 package de.unibremen.informatik.FactProver;
86 public class FactProver { class
91 public FactProver(IRI iri) method in class:FactProver

Completed in 11 milliseconds