aboutsummaryrefslogtreecommitdiff
path: root/src/uk/ac/ox/cs/pagoda/rules
diff options
context:
space:
mode:
Diffstat (limited to 'src/uk/ac/ox/cs/pagoda/rules')
-rw-r--r--src/uk/ac/ox/cs/pagoda/rules/Program.java4
1 files changed, 2 insertions, 2 deletions
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 {
138 transitiveAxioms = new LinkedList<OWLTransitiveObjectPropertyAxiom>(); 138 transitiveAxioms = new LinkedList<OWLTransitiveObjectPropertyAxiom>();
139 subPropChainAxioms = new LinkedList<OWLSubPropertyChainOfAxiom>(); 139 subPropChainAxioms = new LinkedList<OWLSubPropertyChainOfAxiom>();
140 140
141 OWLEntity date = ontology.getOWLOntologyManager().getOWLDataFactory().getOWLDatatype(IRI.create("http://www.w3.org/2001/XMLSchema#date")); 141 OWLDatatype date = ontology.getOWLOntologyManager().getOWLDataFactory().getOWLDatatype(IRI.create("http://www.w3.org/2001/XMLSchema#date"));
142 int noOfDataPropertyRangeAxioms = 0, noOfAxioms = 0; 142 int noOfDataPropertyRangeAxioms = 0, noOfAxioms = 0;
143 for (OWLOntology onto: ontology.getImportsClosure()) 143 for (OWLOntology onto: ontology.getImportsClosure())
144 for (OWLAxiom axiom: onto.getAxioms()) { 144 for (OWLAxiom axiom: onto.getAxioms()) {
@@ -152,7 +152,7 @@ public abstract class Program implements KnowledgeBase {
152 Utility.logInfo("The axiom: " + axiom + " is being ignored."); 152 Utility.logInfo("The axiom: " + axiom + " is being ignored.");
153 } 153 }
154 else { 154 else {
155 if (axiom.containsEntityInSignature(date)) { 155 if (axiom.getDatatypesInSignature().contains(date)) {
156 Utility.logInfo("The axiom: " + axiom + " is being ignored."); 156 Utility.logInfo("The axiom: " + axiom + " is being ignored.");
157 } 157 }
158 else manager.addAxiom(filteredOntology, axiom); 158 else manager.addAxiom(filteredOntology, axiom);