informatik/Fact/Fact.java

	Fact.java revision 4a9dcbcacd50df211bb3727bf8a1afe1e9fcb59d
package de.unibremen.informatik.Fact;

import uk.ac.manchester.cs.factplusplus.owlapiv3.*;
import uk.ac.manchester.cs.factplusplus.*;
import org.semanticweb.owlapi.reasoner.*;

import org.semanticweb.owlapi.apibinding.OWLManager;
import org.semanticweb.owlapi.io.OWLXMLOntologyFormat;
import org.semanticweb.owlapi.model.*;
import org.semanticweb.owlapi.util.DefaultPrefixManager;

import java.net.URI;
import java.util.*;

class Fact
{

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

    try
        {
        OWLOntologyManager manager = OWLManager.createOWLOntologyManager();

        FaCTPlusPlusReasonerFactory f = new FaCTPlusPlusReasonerFactory();

        IRI physicalIRI = IRI.create(args[0]);
        OWLOntology ontology = manager.loadOntologyFromOntologyDocument(physicalIRI);

        System.out.println("Ontology loaded: " + ontology + "\n");

        //ConsoleProgressMonitor progressMonitor = new ConsoleProgressMonitor();
        //OWLReasonerConfiguration config = new SimpleConfiguration(progressMonitor);

        Reasoner reasoner = f.createReasoner(ontology);//,config,BufferingMode.BUFFERING);

        System.out.println("create fails\n");

        Boolean cons = reasoner.isConsistent();
        if (cons)
            {
            System.out.println("consistent");
            System.exit(10);
            }
        else
            {
            System.out.println("inconsistent");
            System.exit(20);
            }
        }
    catch (OWLOntologyCreationException e)
        {
        System.out.println("The ontology could not be created: " +
                   e.getMessage());
        System.exit(1);
        }
    catch (Exception e)
        {
        System.out.println("Exception:" + e.getMessage());
        System.exit(1);
        }

    }

}