aboutsummaryrefslogtreecommitdiff
path: root/src/uk/ac/ox/cs/pagoda/rules
diff options
context:
space:
mode:
authoryzhou <yzhou@krr-linux.cs.ox.ac.uk>2015-04-28 17:13:55 +0100
committeryzhou <yzhou@krr-linux.cs.ox.ac.uk>2015-04-28 17:13:55 +0100
commit4013a9d33d0f1a06b87d12dd0543912c53bba137 (patch)
tree717d2ef6f8743031af689b2cd6f94ffc55fd5e70 /src/uk/ac/ox/cs/pagoda/rules
parent30b5afef93bdb4f0ee0e7647fb0dd3d9c84e452a (diff)
downloadACQuA-4013a9d33d0f1a06b87d12dd0543912c53bba137.tar.gz
ACQuA-4013a9d33d0f1a06b87d12dd0543912c53bba137.zip
pass the wine realisation
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);