informatik/FactProver/Prove.java

	Prove.java revision b3801e7f361759d6748a661df75c01c084299c67
package de.unibremen.informatik.FactProver;

import java.net.URI;
import org.semanticweb.owlapi.model.IRI;

public class Prove {

    public static void main (String[] args)
    {
        if (args.length < 2)
        {
        System.out.println("owl_fact_prover <Ontology> <Conjecture>");
        System.exit(1);
        }

        try
        {
            IRI physicalIRI = IRI.create(args[0]);
                        IRI goalIRI     = IRI.create(args[1]);
            FactProver prover = new FactProver(physicalIRI);
                        prover.loadGoal(goalIRI);
                        boolean res = prover.prove();
                        if (res)
                        {
                            System.out.println("proved");
                            System.exit(10);
                        }
        else
                        {
                            System.out.println("disproved");
                            System.exit(20);
                        }
        }
        catch (Exception e)
        {
            System.out.println(e.getMessage());
                        System.exit(1);
        }
    }
}