aboutsummaryrefslogtreecommitdiff
path: root/config/fly.properties
diff options
context:
space:
mode:
authorRncLsn <rnc.lsn@gmail.com>2015-05-15 17:32:22 +0100
committerRncLsn <rnc.lsn@gmail.com>2015-05-15 17:32:22 +0100
commit1b6a128137e5d7a6ff75566869232fc054afabef (patch)
tree3def49c3c9c1e2ebebc49b82d9eb562b6d097cad /config/fly.properties
parentbd995407098d1b0c79c17a28b0b23a2c24a493c6 (diff)
downloadACQuA-1b6a128137e5d7a6ff75566869232fc054afabef.tar.gz
ACQuA-1b6a128137e5d7a6ff75566869232fc054afabef.zip
Testing and fixing. Executed successfully on UOBM{1,2,3,4,5,6,7,8}.
Diffstat (limited to 'config/fly.properties')
-rw-r--r--config/fly.properties19
1 files changed, 19 insertions, 0 deletions
diff --git a/config/fly.properties b/config/fly.properties
new file mode 100644
index 0000000..88c85c3
--- /dev/null
+++ b/config/fly.properties
@@ -0,0 +1,19 @@
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