Fact.java revision 53680982da7898ae889870da416205a85f0bffad
e1a486f890607d2b00183905564770d4444df9a5Francisc Nicolae Bungiupackage de.unibremen.informatik.Fact;
e1a486f890607d2b00183905564770d4444df9a5Francisc Nicolae Bungiuimport org.semanticweb.owlapi.apibinding.OWLManager;
53680982da7898ae889870da416205a85f0bffadJens Elknerimport org.semanticweb.owlapi.model.OWLOntologyCreationException;
53680982da7898ae889870da416205a85f0bffadJens Elknerimport org.semanticweb.owlapi.model.OWLOntologyManager;
53680982da7898ae889870da416205a85f0bffadJens Elknerimport org.semanticweb.owlapi.reasoner.OWLReasoner;
53680982da7898ae889870da416205a85f0bffadJens Elknerimport uk.ac.manchester.cs.factplusplus.owlapiv3.FaCTPlusPlusReasonerFactory;
53680982da7898ae889870da416205a85f0bffadJens Elkner OWLOntologyManager manager = OWLManager.createOWLOntologyManager();
53680982da7898ae889870da416205a85f0bffadJens Elkner FaCTPlusPlusReasonerFactory f = new FaCTPlusPlusReasonerFactory();
53680982da7898ae889870da416205a85f0bffadJens Elkner manager.loadOntologyFromOntologyDocument(physicalIRI);
53680982da7898ae889870da416205a85f0bffadJens Elkner OWLReasoner reasoner = f.createReasoner(ontology);
53680982da7898ae889870da416205a85f0bffadJens Elkner System.out.println("The ontology could not be created: "
53680982da7898ae889870da416205a85f0bffadJens Elkner } catch (Exception e) {
53680982da7898ae889870da416205a85f0bffadJens Elkner System.out.println("Exception:" + e.getMessage());