From 0d8f240c9c0a64f2285324e5a517161e45c698fc Mon Sep 17 00:00:00 2001 From: yzhou Date: Thu, 30 Apr 2015 17:36:35 +0100 Subject: downgrade owl api and reorganised src files --- test/uk/ac/ox/cs/hermit/HermitQueryReasoner.java | 2 +- test/uk/ac/ox/cs/hermit/HermitTester.java | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) (limited to 'test/uk/ac/ox/cs/hermit') 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 { if (onto.containsEntityInSignature(date)) { for (OWLOntology o: onto.getImportsClosure()) for (OWLAxiom axiom: o.getAxioms()) - if (axiom.containsEntityInSignature(date)) { + if (axiom.getDatatypesInSignature().contains(date)) { System.out.println("The axiom: " + axiom + " is being ingored. "); man.removeAxiom(onto, axiom); } diff --git a/test/uk/ac/ox/cs/hermit/HermitTester.java b/test/uk/ac/ox/cs/hermit/HermitTester.java index 00df658..dc70284 100644 --- a/test/uk/ac/ox/cs/hermit/HermitTester.java +++ b/test/uk/ac/ox/cs/hermit/HermitTester.java @@ -27,7 +27,7 @@ public class HermitTester { for (OWLOntology o: onto.getImportsClosure()) { System.out.println(o.containsEntityInSignature(concept)); for (OWLAxiom axiom: o.getAxioms()) - if (axiom.containsEntityInSignature(concept)) + if (axiom.getClassesInSignature().contains(concept)) System.out.println(axiom); } -- cgit v1.2.3