aboutsummaryrefslogtreecommitdiff
path: root/src/resources/fly.properties
diff options
context:
space:
mode:
authorRncLsn <rnc.lsn@gmail.com>2015-05-20 18:52:47 +0100
committerRncLsn <rnc.lsn@gmail.com>2015-05-20 18:52:47 +0100
commitd81b086fe329fa69891eba0a4b1f73e44183620d (patch)
tree7c55c80678660cdbd3dae18e94c4baf5b0680e11 /src/resources/fly.properties
parent7a68441a541b12b22587fb53072193e1130049ff (diff)
downloadACQuA-d81b086fe329fa69891eba0a4b1f73e44183620d.tar.gz
ACQuA-d81b086fe329fa69891eba0a4b1f73e44183620d.zip
Added more tests.
Querying of the upper bound is currently unstable.
Diffstat (limited to 'src/resources/fly.properties')
-rw-r--r--src/resources/fly.properties19
1 files changed, 0 insertions, 19 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 @@
1#ONTOLOGY variable points to the file that stores ontology of interest
2ONTOLOGY=data/fly/fly_anatomy_XP_with_GJ_FC_individuals.owl
3#ONTOLOGY=data/fly/fbbt_vfb_ind_pr_nr.owl
4
5#QUERY variable points to the file that stores all queries
6QUERY=data/fly/fly.sparql
7#QUERY=data/fly/test.sparql
8
9#ANSWER variable points to the file to output all answers
10#ANSWER=data/fly/fly.ans
11
12#TO_CLASSIFY switch for the optimisation to specify if the ontology is first classified by HermiT
13TO_CLASSIFY=false
14
15#CALL_HERMIT variable to specify if HermiT is called or not
16CALL_HERMIT=true
17
18#SHELL_MODE to enable query execution from console input
19SHELL_MODE=false \ No newline at end of file