e1a486f890607d2b00183905564770d4444df9a5Francisc Nicolae Bungiupackage de.unibremen.informatik.Fact;
e1a486f890607d2b00183905564770d4444df9a5Francisc Nicolae Bungiu
e1a486f890607d2b00183905564770d4444df9a5Francisc Nicolae Bungiuimport org.semanticweb.owlapi.apibinding.OWLManager;
53680982da7898ae889870da416205a85f0bffadJens Elknerimport org.semanticweb.owlapi.model.IRI;
53680982da7898ae889870da416205a85f0bffadJens Elknerimport org.semanticweb.owlapi.model.OWLOntology;
53680982da7898ae889870da416205a85f0bffadJens Elknerimport org.semanticweb.owlapi.model.OWLOntologyCreationException;
53680982da7898ae889870da416205a85f0bffadJens Elknerimport org.semanticweb.owlapi.model.OWLOntologyManager;
53680982da7898ae889870da416205a85f0bffadJens Elknerimport org.semanticweb.owlapi.reasoner.OWLReasoner;
53680982da7898ae889870da416205a85f0bffadJens Elkner
53680982da7898ae889870da416205a85f0bffadJens Elknerimport uk.ac.manchester.cs.factplusplus.owlapiv3.FaCTPlusPlusReasonerFactory;
53680982da7898ae889870da416205a85f0bffadJens Elkner
53680982da7898ae889870da416205a85f0bffadJens Elknerclass Fact {
53680982da7898ae889870da416205a85f0bffadJens Elkner public static void main(String[] args) {
53680982da7898ae889870da416205a85f0bffadJens Elkner if (args.length < 1) {
53680982da7898ae889870da416205a85f0bffadJens Elkner System.out.println("owl_fact <Ontology>");
53680982da7898ae889870da416205a85f0bffadJens Elkner System.exit(1);
53680982da7898ae889870da416205a85f0bffadJens Elkner }
53680982da7898ae889870da416205a85f0bffadJens Elkner try {
53680982da7898ae889870da416205a85f0bffadJens Elkner OWLOntologyManager manager = OWLManager.createOWLOntologyManager();
53680982da7898ae889870da416205a85f0bffadJens Elkner FaCTPlusPlusReasonerFactory f = new FaCTPlusPlusReasonerFactory();
53680982da7898ae889870da416205a85f0bffadJens Elkner IRI physicalIRI = IRI.create(args[0]);
53680982da7898ae889870da416205a85f0bffadJens Elkner OWLOntology ontology =
53680982da7898ae889870da416205a85f0bffadJens Elkner manager.loadOntologyFromOntologyDocument(physicalIRI);
53680982da7898ae889870da416205a85f0bffadJens Elkner OWLReasoner reasoner = f.createReasoner(ontology);
53680982da7898ae889870da416205a85f0bffadJens Elkner Boolean cons = reasoner.isConsistent();
53680982da7898ae889870da416205a85f0bffadJens Elkner if (cons) {
53680982da7898ae889870da416205a85f0bffadJens Elkner System.out.println("consistent");
53680982da7898ae889870da416205a85f0bffadJens Elkner System.exit(10);
53680982da7898ae889870da416205a85f0bffadJens Elkner } else {
53680982da7898ae889870da416205a85f0bffadJens Elkner System.out.println("inconsistent");
53680982da7898ae889870da416205a85f0bffadJens Elkner System.exit(20);
53680982da7898ae889870da416205a85f0bffadJens Elkner }
53680982da7898ae889870da416205a85f0bffadJens Elkner } catch (OWLOntologyCreationException e) {
53680982da7898ae889870da416205a85f0bffadJens Elkner System.out.println("The ontology could not be created: "
53680982da7898ae889870da416205a85f0bffadJens Elkner + e.getMessage());
53680982da7898ae889870da416205a85f0bffadJens Elkner System.exit(1);
53680982da7898ae889870da416205a85f0bffadJens Elkner } catch (Exception e) {
53680982da7898ae889870da416205a85f0bffadJens Elkner System.out.println("Exception:" + e.getMessage());
53680982da7898ae889870da416205a85f0bffadJens Elkner System.exit(1);
53680982da7898ae889870da416205a85f0bffadJens Elkner }
53680982da7898ae889870da416205a85f0bffadJens Elkner }
e1a486f890607d2b00183905564770d4444df9a5Francisc Nicolae Bungiu}