handle inconsistent ontology

1 files changed, 6 insertions, 0 deletions

diff --git a/test/uk/ac/ox/cs/pagoda/ore/PagodaOWLReasoner.java b/test/uk/ac/ox/cs/pagoda/ore/PagodaOWLReasoner.java
index 4b0c1d4..282c8f3 100644
--- a/test/uk/ac/ox/cs/pagoda/ore/PagodaOWLReasoner.java
+++ b/test/uk/ac/ox/cs/pagoda/ore/PagodaOWLReasoner.java
@@ -111,6 +111,9 @@ public class PagodaOWLReasoner implements OWLReasoner {
         
         @Override
         public void precomputeInferences(InferenceType... inferenceTypes) throws ReasonerInterruptedException, TimeOutException, InconsistentOntologyException {
+                if (!sat) {
+                        throw new InconsistentOntologyException();
+                }
                 if (inferenceTypes.length == 1 && inferenceTypes[0].equals(InferenceType.CLASS_ASSERTIONS) && types.isEmpty()) {
                         Set<OWLClass> queriedClasses = new HashSet<OWLClass>(); 
                         for (OWLOntology onto: ontology.getImportsClosure())
@@ -389,6 +392,9 @@ public class PagodaOWLReasoner implements OWLReasoner {
         
         @Override
         public NodeSet<OWLClass> getTypes(OWLNamedIndividual ind, boolean direct) throws InconsistentOntologyException, FreshEntitiesException, ReasonerInterruptedException, TimeOutException {
+                if (!sat) {
+                        throw new InconsistentOntologyException(); 
+                }
                 if (types.containsKey(ind)) return types.get(ind); 
                 return thing; 
         }