001    package org.dllearner.test;
002    
003    import org.semanticweb.owl.apibinding.OWLManager;
004    import org.semanticweb.owl.inference.OWLReasoner;
005    import org.semanticweb.owl.inference.OWLReasonerException;
006    import org.semanticweb.owl.model.*;
007    
008    import java.io.File;
009    import java.net.URI;
010    import java.util.Set;
011    
012    public class OWLAPIConsistency {
013        public static void main(String[] args) {
014    
015            try {
016                File f = new File("src/dl-learner/org/dllearner/tools/ore/inconsistent.owl");
017                URI physicalURI = f.toURI();
018                    
019                OWLOntologyManager manager = OWLManager.createOWLOntologyManager();
020    
021                OWLOntology ont = manager.loadOntologyFromPhysicalURI(physicalURI);
022                System.out.println("Loaded " + ont.getURI());
023    
024                OWLReasoner reasoner = new org.mindswap.pellet.owlapi.Reasoner(manager);
025    
026                Set<OWLOntology> importsClosure = manager.getImportsClosure(ont);
027                reasoner.loadOntologies(importsClosure);
028    //            reasoner.classify();
029    
030                boolean consistent = reasoner.isConsistent(ont);
031                System.out.println("Consistent: " + consistent);
032                System.out.println("\n");
033    
034            }
035            catch(UnsupportedOperationException exception) {
036                System.out.println("Unsupported reasoner operation.");
037            }
038            catch(OWLReasonerException ex) {
039                System.out.println("Reasoner error: " + ex.getMessage());
040            }
041            catch (OWLOntologyCreationException e) {
042                System.out.println("Could not load the pizza ontology: " + e.getMessage());
043            }
044        }
045    }