aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--config/fly.conf6
-rw-r--r--config/lubm.conf2
-rw-r--r--config/uobm.conf2
-rw-r--r--pom.xml4
-rw-r--r--src/uk/ac/ox/cs/pagoda/reasoner/QueryReasoner.java8
5 files changed, 15 insertions, 7 deletions
diff --git a/config/fly.conf b/config/fly.conf
index 23e2861..68c36b6 100644
--- a/config/fly.conf
+++ b/config/fly.conf
@@ -2,11 +2,11 @@
2ONTOLOGY=data/fly/fly_anatomy_XP_with_GJ_FC_individuals.owl 2ONTOLOGY=data/fly/fly_anatomy_XP_with_GJ_FC_individuals.owl
3 3
4#QUERY variable points to the file that stores all queries 4#QUERY variable points to the file that stores all queries
5#QUERY=data/fly/fly.sparql 5QUERY=data/fly/fly.sparql
6QUERY=data/fly/test.sparql 6#QUERY=data/fly/test.sparql
7 7
8#ANSWER variable points to the file to output all answers 8#ANSWER variable points to the file to output all answers
9ANSWER=data/fly/fly.ans 9#ANSWER=data/fly/fly.ans
10 10
11#TO_CLASSIFY switch for the optimisation to specify if the ontology is first classified by HermiT 11#TO_CLASSIFY switch for the optimisation to specify if the ontology is first classified by HermiT
12TO_CLASSIFY=false 12TO_CLASSIFY=false
diff --git a/config/lubm.conf b/config/lubm.conf
index 6775d84..73ed470 100644
--- a/config/lubm.conf
+++ b/config/lubm.conf
@@ -8,7 +8,7 @@ ONTOLOGY=data/lubm/univ-bench.owl
8QUERY=data/lubm/lubm.sparql 8QUERY=data/lubm/lubm.sparql
9 9
10#ANSWER variable points to the file to output all answers 10#ANSWER variable points to the file to output all answers
11ANSWER=data/lubm/lubm.ans 11#ANSWER=data/lubm/lubm.ans
12 12
13#TO_CLASSIFY switch for the optimisation to specify if the ontology is first classified by HermiT 13#TO_CLASSIFY switch for the optimisation to specify if the ontology is first classified by HermiT
14TO_CLASSIFY=true 14TO_CLASSIFY=true
diff --git a/config/uobm.conf b/config/uobm.conf
index 52d37f2..acbe78e 100644
--- a/config/uobm.conf
+++ b/config/uobm.conf
@@ -8,7 +8,7 @@ ONTOLOGY=data/uobm/univ-bench-dl.owl
8QUERY=data/uobm/uobm.sparql 8QUERY=data/uobm/uobm.sparql
9 9
10#ANSWER variable points to the file to output all answers 10#ANSWER variable points to the file to output all answers
11ANSWER=data/uobm/uobm.ans 11#ANSWER=data/uobm/uobm.ans
12 12
13#TO_CLASSIFY switch for the optimisation to specify if the ontology is first classified by HermiT 13#TO_CLASSIFY switch for the optimisation to specify if the ontology is first classified by HermiT
14TO_CLASSIFY=true 14TO_CLASSIFY=true
diff --git a/pom.xml b/pom.xml
index 9ee2be1..391e3e1 100644
--- a/pom.xml
+++ b/pom.xml
@@ -13,8 +13,8 @@
13 <artifactId>maven-compiler-plugin</artifactId> 13 <artifactId>maven-compiler-plugin</artifactId>
14 <version>3.1</version> 14 <version>3.1</version>
15 <configuration> 15 <configuration>
16 <source>1.7</source> 16 <source>1.8</source>
17 <target>1.7</target> 17 <target>1.8</target>
18 </configuration> 18 </configuration>
19 </plugin> 19 </plugin>
20 <plugin> 20 <plugin>
diff --git a/src/uk/ac/ox/cs/pagoda/reasoner/QueryReasoner.java b/src/uk/ac/ox/cs/pagoda/reasoner/QueryReasoner.java
index a484444..4970e7a 100644
--- a/src/uk/ac/ox/cs/pagoda/reasoner/QueryReasoner.java
+++ b/src/uk/ac/ox/cs/pagoda/reasoner/QueryReasoner.java
@@ -48,6 +48,14 @@ public abstract class QueryReasoner {
48 return pagoda; 48 return pagoda;
49 } 49 }
50 50
51 public void setToClassify(boolean flag) {
52 properties.setToClassify(flag);
53 }
54
55 public void setToCallHermiT(boolean flag) {
56 properties.setToCallHermiT(flag);
57 }
58
51 private static QueryReasoner getInstance(OWLOntology o, Properties p) { 59 private static QueryReasoner getInstance(OWLOntology o, Properties p) {
52 return getInstance(Type.Full, o, true, true); 60 return getInstance(Type.Full, o, true, true);
53 } 61 }