This repository has been archived by the owner on Sep 24, 2020. It is now read-only.
-
Notifications
You must be signed in to change notification settings - Fork 4
/
ParliamentConfig.txt
81 lines (65 loc) · 2.98 KB
/
ParliamentConfig.txt
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
# Parameters file for the Parliament core DLL
kbDirectoryPath = data
stmtFileName = statements.mem
rsrcFileName = resources.mem
uriTableFileName = uris.mem
uriToIntFileName = u2i.db
stmtToIdFileName = stmt2id.db
readOnly = no
fileSyncTimerDelay = 15000
keepDupStmtIdx = no
initialRsrcCapacity = 100000
avgRsrcLen = 64
rsrcGrowthFactor = 1.25
initialStmtCapacity = 500000
stmtGrowthFactor = 1.25
# The amount of memory to be devoted to the Berkeley DB cache. The portion before
# the comma is the total cache size (with a k for kilobytes, m for megabytes, g for
# gigabytes). The portion after the comma specifies how many segments the memory
# should be broken across, for compatibility with systems that limit the size of
# single memory allocations.
bdbCacheSize = 32m,1
runAllRulesAtStartup = no
# Sets up the following rules:
# * "A is a subclass of B" ^ "B is a subclass of C" ==> "A is a subclass of C"
# * "X is of type A" ^ "A is a subclass of B" ==> "X is of type B"
# * If inferRdfsClass is true: "A is a subclass of B" ==> "A and B are of type rdfs:Class"
# * If inferOwlClass is true: "A is a subclass of B" ==> "A and B are of type owl:Class"
# * If inferRdfsResource is true: "A is a subclass of B" ==> "A and B are subclasses of rdfs:Resource"
# * If inferOwlThing is true: "A is a subclass of B" ==> "A and B are subclasses of owl:Thing"
SubclassRule = on
inferRdfsClass = off
inferOwlClass = off
inferRdfsResource = off
inferOwlThing = off
# Sets up the following rules:
# * "P is a subproperty of Q" ^ "Q is a subproperty of R" ==> "P is a subproperty of R"
# * "P is a subproperty of Q" ^ "P(X, Y)" ==> "Q(X, Y)"
SubpropertyRule = on
# Sets up the following rule:
# * "P has domain C" ^ "P(X, Y)" ==> "X is of type C"
DomainRule = on
# Sets up the following rule:
# * "P has range C" ^ "P(X, Y)" ==> "Y is of type C"
RangeRule = on
# Sets up the following rule:
# * "A is equivalent to B" ==> "A is a subclass of B" ^ "B is a subclass of A"
EquivalentClassRule = on
# Sets up the following rule:
# * "P is equivalent to Q" ==> "P is a subproperty of Q" ^ "Q is a subproperty of P"
EquivalentPropRule = on
# Sets up the following rule:
# * "P is the inverse of Q" ^ "P(X, Y)" ==> "Q(Y, X)"
InverseOfRule = on
# Sets up the following rule:
# * "P is symmetric" ^ "P(X, Y)" ==> "P(Y, X)"
SymmetricPropRule = on
# Sets up the following rule:
# * "P is a functional property" ^ "P(Z, X)" ^ "P(Z, Y)" ==> "owl:sameAs(X, Y)"
FunctionalPropRule = on
# Sets up the following rule:
# * "P is an inverse functional property" ^ "P(X, Z)" ^ "P(Y, Z)" ==> "owl:sameAs(X, Y)"
InvFunctionalPropRule = on
# Sets up the following rule:
# * "P is a transitive property" ^ "P(X, Y)" ^ "P(Y, Z)" ==> "P(X, Z)"
TransitivePropRule = on