comparison OPPL/FaCT++-linux-v1.5.2/Models.lisp/options.default @ 8:40adbcb2a7cc

Added merge function and FaCT++ support. Improved OBO render
author Mikel Egaña Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
date Tue, 11 Oct 2011 11:09:52 +0200
parents
children
comparison
equal deleted inserted replaced
7:756f1f5798bf 8:40adbcb2a7cc
1 [LeveLogger]
2
3 ;--- Logging file name
4 file = reasoning.log
5 ;--- Logging level (the less level you give, the less information will be logged)
6 allowedLevel = 0
7
8
9 [Tuning]
10
11 ;---
12 ;--- Option 'IAOEFLG': text ---
13 ;---
14 ;* Option 'IAOEFLG' define the priorities of different operations in TODO list. Possible values are 7-digit strings with ony possible digit are 0-6. The digits on the places 1, 2, ..., 7 are for priority of Id, And, Or, Exists, Forall, LE and GE operations respectively. The smaller number means the higher priority. All other constructions (TOP, BOTTOM, etc) has priority 0.
15 ;* Default value: '1263005'
16
17 ; IAOEFLG = 1263005
18
19 ;---
20 ;--- Option 'absorptionFlags': text ---
21 ;---
22 ;* Option 'absorptionFlags' sets up absorption process for general axioms. It is 5-letters text field; 1st symbol -- 'n' or 'c' -- (doN't) use Concept absorption; 2nd symbol -- 'n', 'r' or 'e' -- (doN't) use (Extended) Role absorption; the rest is symbols C,R,S; their order setup order of Simplification, Concept and Role absorptions performed (if possible).
23 ;* Default value: 'ceSCR'
24
25 ; absorptionFlags = ceSCR
26
27 ;---
28 ;--- Option 'alwaysPreferEquals': boolean ---
29 ;---
30 ;* Option 'alwaysPreferEquals' allows user to enforce usage of C=D definition instead of C[=D during absorption, even if implication appeares earlier in stream of axioms.
31 ;* Default value: 'true'
32
33 ; alwaysPreferEquals = 1
34
35 ;---
36 ;--- Option 'dumpQuery': boolean ---
37 ;---
38 ;* Option 'dumpQuery' dumps sub-TBox relevant to given satisfiability/subsumption query.
39 ;* Default value: 'false'
40
41 ; dumpQuery = 0
42
43 ;---
44 ;--- Option 'orSortSat': text ---
45 ;---
46 ;* Option 'orSortSat' define the sorting order of OR vertices in the DAG used in satisfiability tests (used mostly in caching). Option has form of string 'Mop', see orSortSub for details.
47 ;* Default value: '0'
48
49 ; orSortSat = 0
50
51 ;---
52 ;--- Option 'orSortSub': text ---
53 ;---
54 ;* Option 'orSortSub' define the sorting order of OR vertices in the DAG used in subsumption tests. Option has form of string 'Mop', where 'M' is a sort field (could be 'D' for depth, 'S' for size, 'F' for frequency, and '0' for no sorting), 'o' is a order field (could be 'a' for ascending and 'd' for descending mode), and 'p' is a preference field (could be 'p' for preferencing non-generating rules and 'n' for not doing so).
55 ;* Default value: '0'
56
57 ; orSortSub = 0
58
59 ;---
60 ;--- Option 'testTimeout': integer ---
61 ;---
62 ;* Option 'testTimeout' sets timeout for a single reasoning test in milliseconds.
63 ;* Default value: '0'
64
65 ; testTimeout = 0
66
67 ;---
68 ;--- Option 'useAnywhereBlocking': boolean ---
69 ;---
70 ;* Option 'useAnywhereBlocking' allow user to choose between Anywhere and Ancestor blocking.
71 ;* Default value: 'true'
72
73 ; useAnywhereBlocking = 1
74
75 ;---
76 ;--- Option 'useBackjumping': boolean ---
77 ;---
78 ;* Option 'useBackjumping' switch backjumping on and off. The usage of backjumping usually leads to much faster reasoning.
79 ;* Default value: 'true'
80
81 ; useBackjumping = 1
82
83 ;---
84 ;--- Option 'useCompletelyDefined': boolean ---
85 ;---
86 ;* Option 'useCompletelyDefined' leads to simpler Taxonomy creation if TBox contains no non-primitive concepts. Unfortunately, it is quite rare case.
87 ;* Default value: 'true'
88
89 ; useCompletelyDefined = 1
90
91 ;---
92 ;--- Option 'useLazyBlocking': boolean ---
93 ;---
94 ;* Option 'useLazyBlocking' makes checking of blocking status as small as possible. This greatly increase speed of reasoning.
95 ;* Default value: 'true'
96
97 ; useLazyBlocking = 1
98
99 ;---
100 ;--- Option 'usePrecompletion': boolean ---
101 ;---
102 ;* Option 'usePrecompletion' switchs on and off precompletion process for ABox.
103 ;* Default value: 'false'
104
105 ; usePrecompletion = 0
106
107 ;---
108 ;--- Option 'useRangeDomain': boolean ---
109 ;---
110 ;* Option 'useRangeDomain' switch on and off native support for the range and domain. This option is of internal use only. It is crusial for reasoning performance to leave this option true.
111 ;* Default value: 'true'
112
113 ; useRangeDomain = 1
114
115 ;---
116 ;--- Option 'useRelevantOnly': boolean ---
117 ;---
118 ;* Option 'useRelevantOnly' is used when creating internal DAG representation for externally given TBox. If true, DAG contains only concepts, relevant to query. It is safe to leave this option false.
119 ;* Default value: 'false'
120
121 ; useRelevantOnly = 0
122
123 ;---
124 ;--- Option 'useSemanticBranching': boolean ---
125 ;---
126 ;* Option 'useSemanticBranching' switch semantic branching on and off. The usage of semantic branching usually leads to faster reasoning, but sometime could give small overhead.
127 ;* Default value: 'true'
128
129 ; useSemanticBranching = 1
130