aboutsummaryrefslogtreecommitdiff
path: root/test/uk/ac/ox/cs/hermit/HermitQueryReasoner.java
diff options
context:
space:
mode:
Diffstat (limited to 'test/uk/ac/ox/cs/hermit/HermitQueryReasoner.java')
-rw-r--r--test/uk/ac/ox/cs/hermit/HermitQueryReasoner.java2
1 files changed, 1 insertions, 1 deletions
diff --git a/test/uk/ac/ox/cs/hermit/HermitQueryReasoner.java b/test/uk/ac/ox/cs/hermit/HermitQueryReasoner.java
index 6e9446d..f6246f8 100644
--- a/test/uk/ac/ox/cs/hermit/HermitQueryReasoner.java
+++ b/test/uk/ac/ox/cs/hermit/HermitQueryReasoner.java
@@ -73,7 +73,7 @@ public class HermitQueryReasoner {
73 if (onto.containsEntityInSignature(date)) { 73 if (onto.containsEntityInSignature(date)) {
74 for (OWLOntology o: onto.getImportsClosure()) 74 for (OWLOntology o: onto.getImportsClosure())
75 for (OWLAxiom axiom: o.getAxioms()) 75 for (OWLAxiom axiom: o.getAxioms())
76 if (axiom.containsEntityInSignature(date)) { 76 if (axiom.getDatatypesInSignature().contains(date)) {
77 System.out.println("The axiom: " + axiom + " is being ingored. "); 77 System.out.println("The axiom: " + axiom + " is being ingored. ");
78 man.removeAxiom(onto, axiom); 78 man.removeAxiom(onto, axiom);
79 } 79 }