Added more tests.

Querying of the upper bound is currently unstable.

5 files changed, 2 insertions, 60 deletions

diff --git a/src/resources/fly.properties b/src/resources/fly.properties
deleted file mode 100644
index 88c85c3..0000000
--- a/src/resources/fly.properties
+++ /dev/null
@@ -1,19 +0,0 @@
-#ONTOLOGY variable points to the file that stores ontology of interest
-ONTOLOGY=data/fly/fly_anatomy_XP_with_GJ_FC_individuals.owl
-#ONTOLOGY=data/fly/fbbt_vfb_ind_pr_nr.owl
-
-#QUERY variable points to the file that stores all queries
-QUERY=data/fly/fly.sparql
-#QUERY=data/fly/test.sparql
-
-#ANSWER variable points to the file to output all answers 
-#ANSWER=data/fly/fly.ans
-
-#TO_CLASSIFY switch for the optimisation to specify if the ontology is first classified by HermiT
-TO_CLASSIFY=false
-
-#CALL_HERMIT variable to specify if HermiT is called or not
-CALL_HERMIT=true
-
-#SHELL_MODE to enable query execution from console input
-SHELL_MODE=false
\ No newline at end of file
diff --git a/src/resources/log4j.properties b/src/resources/log4j.properties
index 456c602..3bfd32e 100644
--- a/src/resources/log4j.properties
+++ b/src/resources/log4j.properties
@@ -1,5 +1,5 @@
 log = .
-log4j.rootLogger=CONSOLE, FILE_LAST, FILE
+log4j.rootLogger=DEBUG, CONSOLE, FILE_LAST, FILE
 
 log4j.appender.CONSOLE=org.apache.log4j.ConsoleAppender
 log4j.appender.CONSOLE.layout=org.apache.log4j.PatternLayout
diff --git a/src/resources/lubm.properties b/src/resources/lubm.properties
deleted file mode 100644
index 73ed470..0000000
--- a/src/resources/lubm.properties
+++ /dev/null
@@ -1,20 +0,0 @@
-#DATA variable points to the file that stores data
-DATA=data/lubm/lubm1.ttl
-
-#ONTOLOGY variable points to the file that stores ontology of interest
-ONTOLOGY=data/lubm/univ-bench.owl
-
-#QUERY variable points to the file that stores all queries
-QUERY=data/lubm/lubm.sparql
-
-#ANSWER variable points to the file to output all answers 
-#ANSWER=data/lubm/lubm.ans
-
-#TO_CLASSIFY switch for the optimisation to specify if the ontology is first classified by HermiT
-TO_CLASSIFY=true
-
-#CALL_HERMIT variable to specify if HermiT is called or not
-CALL_HERMIT=true
-
-#SHELL_MODE to enable query execution from console input
-SHELL_MODE=false
\ No newline at end of file
diff --git a/src/resources/pagoda.properties b/src/resources/pagoda.properties
new file mode 100644
index 0000000..80c6377
--- /dev/null
+++ b/src/resources/pagoda.properties
@@ -0,0 +1 @@
+debug=true
\ No newline at end of file
diff --git a/src/resources/uobm.properties b/src/resources/uobm.properties
deleted file mode 100644
index acbe78e..0000000
--- a/src/resources/uobm.properties
+++ /dev/null
@@ -1,20 +0,0 @@
-#DATA variable points to the file that stores data
-DATA=data/uobm/uobm1.ttl
-
-#ONTOLOGY variable points to the file that stores ontology of interest
-ONTOLOGY=data/uobm/univ-bench-dl.owl
-
-#QUERY variable points to the file that stores all queries
-QUERY=data/uobm/uobm.sparql
-
-#ANSWER variable points to the file to output all answers 
-#ANSWER=data/uobm/uobm.ans
-
-#TO_CLASSIFY switch for the optimisation to specify if the ontology is first classified by HermiT
-TO_CLASSIFY=true
-
-#CALL_HERMIT variable to specify if HermiT is called or not
-CALL_HERMIT=true
-
-#SHELL_MODE to enable query execution from console input
-SHELL_MODE=false
\ No newline at end of file