From 6c5d9406d0c9b9dc96bb9599c152256fc9807940 Mon Sep 17 00:00:00 2001
From: yzhou <yzhou@krr-linux.cs.ox.ac.uk>
Date: Wed, 29 Apr 2015 09:41:46 +0100
Subject: handle inconsistent ontology

---
 test/uk/ac/ox/cs/pagoda/ore/PagodaOWLReasoner.java | 6 ++++++
 1 file changed, 6 insertions(+)

(limited to 'test/uk/ac/ox/cs/pagoda')

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; 
 	}
-- 
cgit v1.2.3