From 4013a9d33d0f1a06b87d12dd0543912c53bba137 Mon Sep 17 00:00:00 2001 From: yzhou Date: Tue, 28 Apr 2015 17:13:55 +0100 Subject: pass the wine realisation --- src/uk/ac/ox/cs/pagoda/rules/Program.java | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'src/uk/ac/ox/cs/pagoda/rules/Program.java') diff --git a/src/uk/ac/ox/cs/pagoda/rules/Program.java b/src/uk/ac/ox/cs/pagoda/rules/Program.java index b533e50..83cd21a 100644 --- a/src/uk/ac/ox/cs/pagoda/rules/Program.java +++ b/src/uk/ac/ox/cs/pagoda/rules/Program.java @@ -138,7 +138,7 @@ public abstract class Program implements KnowledgeBase { transitiveAxioms = new LinkedList(); subPropChainAxioms = new LinkedList(); - OWLEntity date = ontology.getOWLOntologyManager().getOWLDataFactory().getOWLDatatype(IRI.create("http://www.w3.org/2001/XMLSchema#date")); + OWLDatatype date = ontology.getOWLOntologyManager().getOWLDataFactory().getOWLDatatype(IRI.create("http://www.w3.org/2001/XMLSchema#date")); int noOfDataPropertyRangeAxioms = 0, noOfAxioms = 0; for (OWLOntology onto: ontology.getImportsClosure()) for (OWLAxiom axiom: onto.getAxioms()) { @@ -152,7 +152,7 @@ public abstract class Program implements KnowledgeBase { Utility.logInfo("The axiom: " + axiom + " is being ignored."); } else { - if (axiom.containsEntityInSignature(date)) { + if (axiom.getDatatypesInSignature().contains(date)) { Utility.logInfo("The axiom: " + axiom + " is being ignored."); } else manager.addAxiom(filteredOntology, axiom); -- cgit v1.2.3