Prove.java revision b3801e7f361759d6748a661df75c01c084299c67
b3801e7f361759d6748a661df75c01c084299c67Francisc Nicolae Bungiupackage de.unibremen.informatik.FactProver;
b3801e7f361759d6748a661df75c01c084299c67Francisc Nicolae Bungiuimport org.semanticweb.owlapi.model.IRI;
b3801e7f361759d6748a661df75c01c084299c67Francisc Nicolae Bungiu public static void main (String[] args)
b3801e7f361759d6748a661df75c01c084299c67Francisc Nicolae Bungiu System.out.println("owl_fact_prover <Ontology> <Conjecture>");
b3801e7f361759d6748a661df75c01c084299c67Francisc Nicolae Bungiu IRI physicalIRI = IRI.create(args[0]);