diff options
Diffstat (limited to 'test/uk/ac/ox/cs/hermit/HermitQueryReasoner.java')
| -rw-r--r-- | test/uk/ac/ox/cs/hermit/HermitQueryReasoner.java | 2 |
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 | } |
