Prove.java revision 53680982da7898ae889870da416205a85f0bffad
b3801e7f361759d6748a661df75c01c084299c67Francisc Nicolae Bungiupackage de.unibremen.informatik.FactProver;
b3801e7f361759d6748a661df75c01c084299c67Francisc Nicolae Bungiuimport org.semanticweb.owlapi.model.IRI;
53680982da7898ae889870da416205a85f0bffadJens Elkner System.out.println("owl_fact_prover <Ontology> <Conjecture>");
b3801e7f361759d6748a661df75c01c084299c67Francisc Nicolae Bungiu IRI physicalIRI = IRI.create(args[0]);
b3801e7f361759d6748a661df75c01c084299c67Francisc Nicolae Bungiu FactProver prover = new FactProver(physicalIRI);
e2f328730bd39975b02329b81b608d23193f1c3aFrancisc Nicolae Bungiu System.out.println("FactProver: " + prover + "\n");
e2f328730bd39975b02329b81b608d23193f1c3aFrancisc Nicolae Bungiu System.out.println("PhysicalIRI: " + physicalIRI + "\n");
e2f328730bd39975b02329b81b608d23193f1c3aFrancisc Nicolae Bungiu System.out.println("GoalIRI: " + goalIRI + "\n");
53680982da7898ae889870da416205a85f0bffadJens Elkner } catch (Exception e) {