- From: <jos.deroo@agfa.com>
- Date: Sat, 24 Jan 2009 01:25:19 +0100
- To: www-archive@w3.org
- Message-ID: <OFA9B5FDBF.50829C3D-ONC1257548.0001B89E-C1257548.000251B1@agfa.com>
eye http://eulersharp.sourceforge.net/2004/04test/anatomy-facts.n3
http://eulersharp.sourceforge.net/2004/04test/anatomy-rules.n3 --query
http://eulersharp.sourceforge.net/2004/04test/anatomy-filter.n3 | check
1: ...
[by parsing <anatomy-facts.n3>]
2: :MAE1 a :MaterialAnatomicalEntity .
[by erasure from step 1]
3: ...
[by parsing <anatomy-facts.n3>]
4: :MAE1 :isMaterialAnatomicalEntityConnectedTo :MAE2 .
[by erasure from step 3]
5: ...
[by parsing <anatomy-filter.n3>]
6: @forAll :x0, :x1 . { :x0 a ana:MaterialAnatomicalEntity;
ana:isMaterialAnatomicalEntityConnectedTo :x1 . } log:implies {:x0
ana:isMaterialAnatomicalEntityConnectedTo :x1 . } .
[by erasure from step 5]
7: :MAE1 :isMaterialAnatomicalEntityConnectedTo :MAE2 .
[by rule from step 6 applied to steps [2, 4]
with bindings {'x0': u'<
http://idm.univ-rennes1.fr/~obierlai/anatomy#MAE1>', 'x1': u'<
http://idm.univ-rennes1.fr/~obierlai/anatomy#MAE2>'}]
8: ...
[by parsing <anatomy-facts.n3>]
9: :MAE2 a :MaterialAnatomicalEntity .
[by erasure from step 8]
10: ...
[by parsing <anatomy-rules.n3>]
11: :isMaterialAnatomicalEntityConnectedTo a owl:SymmetricProperty .
[by erasure from step 10]
12: ...
[by parsing <anatomy-facts.n3>]
13: :MAE1 :isMaterialAnatomicalEntityConnectedTo :MAE2 .
[by erasure from step 12]
14: ...
[by parsing <anatomy-rules.n3>]
15: @forAll :x0, :x1, :x2 . { :x0 a owl:SymmetricProperty . :x1 :x0 :x2 .
} log:implies {:x2 :x0 :x1 . } .
[by erasure from step 14]
16: :MAE2 :isMaterialAnatomicalEntityConnectedTo :MAE1 .
[by rule from step 15 applied to steps [11, 13]
with bindings {'x2': u'<
http://idm.univ-rennes1.fr/~obierlai/anatomy#MAE2>', 'x0': u'<
http://idm.univ-rennes1.fr/~obierlai/anatomy#isMaterialAnatomicalEntityConnectedTo
>', 'x1': u'<http://idm.univ-rennes1.fr/~obierlai/anatomy#MAE1>'}]
17: ...
[by parsing <anatomy-filter.n3>]
18: @forAll :x0, :x1 . { :x0 a ana:MaterialAnatomicalEntity;
ana:isMaterialAnatomicalEntityConnectedTo :x1 . } log:implies {:x0
ana:isMaterialAnatomicalEntityConnectedTo :x1 . } .
[by erasure from step 17]
19: :MAE2 :isMaterialAnatomicalEntityConnectedTo :MAE1 .
[by rule from step 18 applied to steps [9, 16]
with bindings {'x0': u'<
http://idm.univ-rennes1.fr/~obierlai/anatomy#MAE2>', 'x1': u'<
http://idm.univ-rennes1.fr/~obierlai/anatomy#MAE1>'}]
20: ...
[by parsing <anatomy-facts.n3>]
21: :MAE2 :hasAnatomicalPartList () .
[by erasure from step 20]
22: ...
[by parsing <anatomy-facts.n3>]
23: :MAE3 :hasAnatomicalPartList ( :MAE5 :MAE6 :MAE4 ) .
[by erasure from step 22]
24: ...
[by parsing <anatomy-facts.n3>]
25: :MAE3 :hasAnatomicalPartList ( :MAE5 :MAE6 :MAE4 ) .
[by erasure from step 24]
26: ...
[by parsing <anatomy-rules.n3>]
27: @forAll :x0, :x1 . { :x0 ana:hasAnatomicalPartList :x1 . } log:implies
{:x1 a rdf:List . } .
[by erasure from step 26]
28: ( :MAE5 :MAE6 :MAE4 ) a rdf:List .
[by rule from step 27 applied to steps [25]
with bindings {'x0': u'<
http://idm.univ-rennes1.fr/~obierlai/anatomy#MAE3>', 'x1': '?'}]
29: ...
[by parsing <anatomy-rules.n3>]
30: @forAll :x0 . { :x0 a rdf:List . } log:implies {()
ana:hasNoAnatomicalPartInList :x0 . } .
[by erasure from step 29]
31: () :hasNoAnatomicalPartInList ( :MAE5 :MAE6 :MAE4 ) .
[by rule from step 30 applied to steps [28]
with bindings {'x0': '?'}]
32: ...
[by parsing <anatomy-facts.n3>]
33: :MAE2 a :MaterialAnatomicalEntity .
[by erasure from step 32]
34: ...
[by parsing <anatomy-facts.n3>]
35: :MAE3 a :MaterialAnatomicalEntity .
[by erasure from step 34]
36: ...
[by parsing <anatomy-rules.n3>]
37: @forAll :x0, :x1, :x2, :x3 . { :x0 a ana:MaterialAnatomicalEntity;
ana:hasAnatomicalPartList :x1 . :x1 ana:hasNoAnatomicalPartInList :x3 .
:x2 a ana:MaterialAnatomicalEntity; ana:hasAnatomicalPartList :x3 . }
log:implies {:x0 ana:hasNoCommonPart :x2 . } .
[by erasure from step 36]
38: :MAE2 :hasNoCommonPart :MAE3 .
[by rule from step 37 applied to steps [21, 23, 31, 33, 35]
with bindings {'x2': u'<
http://idm.univ-rennes1.fr/~obierlai/anatomy#MAE3>', 'x3': '?', 'x0': u'<
http://idm.univ-rennes1.fr/~obierlai/anatomy#MAE2>', 'x1': '?'}]
39: ...
[by parsing <anatomy-filter.n3>]
40: @forAll var:x0 . { var:x0 :hasNoCommonPart :MAE3 . } log:implies
{var:x0 :hasNoCommonPart :MAE3 . } .
[by erasure from step 39]
41: :MAE2 :hasNoCommonPart :MAE3 .
[by rule from step 40 applied to steps [38]
with bindings {'x0': u'<
http://idm.univ-rennes1.fr/~obierlai/anatomy#MAE2>'}]
42: ...
[by parsing <anatomy-facts.n3>]
43: :MAE4 :hasAnatomicalPartList () .
[by erasure from step 42]
44: ...
[by parsing <anatomy-facts.n3>]
45: :MAE3 :hasAnatomicalPartList ( :MAE5 :MAE6 :MAE4 ) .
[by erasure from step 44]
46: ...
[by parsing <anatomy-facts.n3>]
47: :MAE3 :hasAnatomicalPartList ( :MAE5 :MAE6 :MAE4 ) .
[by erasure from step 46]
48: ...
[by parsing <anatomy-rules.n3>]
49: @forAll :x0, :x1 . { :x0 ana:hasAnatomicalPartList :x1 . } log:implies
{:x1 a rdf:List . } .
[by erasure from step 48]
50: ( :MAE5 :MAE6 :MAE4 ) a rdf:List .
[by rule from step 49 applied to steps [47]
with bindings {'x0': u'<
http://idm.univ-rennes1.fr/~obierlai/anatomy#MAE3>', 'x1': '?'}]
51: ...
[by parsing <anatomy-rules.n3>]
52: @forAll :x0 . { :x0 a rdf:List . } log:implies {()
ana:hasNoAnatomicalPartInList :x0 . } .
[by erasure from step 51]
53: () :hasNoAnatomicalPartInList ( :MAE5 :MAE6 :MAE4 ) .
[by rule from step 52 applied to steps [50]
with bindings {'x0': '?'}]
54: ...
[by parsing <anatomy-facts.n3>]
55: :MAE4 a :MaterialAnatomicalEntity .
[by erasure from step 54]
56: ...
[by parsing <anatomy-facts.n3>]
57: :MAE3 a :MaterialAnatomicalEntity .
[by erasure from step 56]
58: ...
[by parsing <anatomy-rules.n3>]
59: @forAll :x0, :x1, :x2, :x3 . { :x0 a ana:MaterialAnatomicalEntity;
ana:hasAnatomicalPartList :x1 . :x1 ana:hasNoAnatomicalPartInList :x3 .
:x2 a ana:MaterialAnatomicalEntity; ana:hasAnatomicalPartList :x3 . }
log:implies {:x0 ana:hasNoCommonPart :x2 . } .
[by erasure from step 58]
60: :MAE4 :hasNoCommonPart :MAE3 .
[by rule from step 59 applied to steps [43, 45, 53, 55, 57]
with bindings {'x2': u'<
http://idm.univ-rennes1.fr/~obierlai/anatomy#MAE3>', 'x3': '?', 'x0': u'<
http://idm.univ-rennes1.fr/~obierlai/anatomy#MAE4>', 'x1': '?'}]
61: ...
[by parsing <anatomy-filter.n3>]
62: @forAll var:x0 . { var:x0 :hasNoCommonPart :MAE3 . } log:implies
{var:x0 :hasNoCommonPart :MAE3 . } .
[by erasure from step 61]
63: :MAE4 :hasNoCommonPart :MAE3 .
[by rule from step 62 applied to steps [60]
with bindings {'x0': u'<
http://idm.univ-rennes1.fr/~obierlai/anatomy#MAE4>'}]
64: ...
[by parsing <anatomy-facts.n3>]
65: :MAE5 :hasAnatomicalPartList () .
[by erasure from step 64]
66: ...
[by parsing <anatomy-facts.n3>]
67: :MAE3 :hasAnatomicalPartList ( :MAE5 :MAE6 :MAE4 ) .
[by erasure from step 66]
68: ...
[by parsing <anatomy-facts.n3>]
69: :MAE3 :hasAnatomicalPartList ( :MAE5 :MAE6 :MAE4 ) .
[by erasure from step 68]
70: ...
[by parsing <anatomy-rules.n3>]
71: @forAll :x0, :x1 . { :x0 ana:hasAnatomicalPartList :x1 . } log:implies
{:x1 a rdf:List . } .
[by erasure from step 70]
72: ( :MAE5 :MAE6 :MAE4 ) a rdf:List .
[by rule from step 71 applied to steps [69]
with bindings {'x0': u'<
http://idm.univ-rennes1.fr/~obierlai/anatomy#MAE3>', 'x1': '?'}]
73: ...
[by parsing <anatomy-rules.n3>]
74: @forAll :x0 . { :x0 a rdf:List . } log:implies {()
ana:hasNoAnatomicalPartInList :x0 . } .
[by erasure from step 73]
75: () :hasNoAnatomicalPartInList ( :MAE5 :MAE6 :MAE4 ) .
[by rule from step 74 applied to steps [72]
with bindings {'x0': '?'}]
76: ...
[by parsing <anatomy-facts.n3>]
77: :MAE5 a :MaterialAnatomicalEntity .
[by erasure from step 76]
78: ...
[by parsing <anatomy-facts.n3>]
79: :MAE3 a :MaterialAnatomicalEntity .
[by erasure from step 78]
80: ...
[by parsing <anatomy-rules.n3>]
81: @forAll :x0, :x1, :x2, :x3 . { :x0 a ana:MaterialAnatomicalEntity;
ana:hasAnatomicalPartList :x1 . :x1 ana:hasNoAnatomicalPartInList :x3 .
:x2 a ana:MaterialAnatomicalEntity; ana:hasAnatomicalPartList :x3 . }
log:implies {:x0 ana:hasNoCommonPart :x2 . } .
[by erasure from step 80]
82: :MAE5 :hasNoCommonPart :MAE3 .
[by rule from step 81 applied to steps [65, 67, 75, 77, 79]
with bindings {'x2': u'<
http://idm.univ-rennes1.fr/~obierlai/anatomy#MAE3>', 'x3': '?', 'x0': u'<
http://idm.univ-rennes1.fr/~obierlai/anatomy#MAE5>', 'x1': '?'}]
83: ...
[by parsing <anatomy-filter.n3>]
84: @forAll var:x0 . { var:x0 :hasNoCommonPart :MAE3 . } log:implies
{var:x0 :hasNoCommonPart :MAE3 . } .
[by erasure from step 83]
85: :MAE5 :hasNoCommonPart :MAE3 .
[by rule from step 84 applied to steps [82]
with bindings {'x0': u'<
http://idm.univ-rennes1.fr/~obierlai/anatomy#MAE5>'}]
86: ...
[by parsing <anatomy-facts.n3>]
87: :MAE6 :hasAnatomicalPartList () .
[by erasure from step 86]
88: ...
[by parsing <anatomy-facts.n3>]
89: :MAE3 :hasAnatomicalPartList ( :MAE5 :MAE6 :MAE4 ) .
[by erasure from step 88]
90: ...
[by parsing <anatomy-facts.n3>]
91: :MAE3 :hasAnatomicalPartList ( :MAE5 :MAE6 :MAE4 ) .
[by erasure from step 90]
92: ...
[by parsing <anatomy-rules.n3>]
93: @forAll :x0, :x1 . { :x0 ana:hasAnatomicalPartList :x1 . } log:implies
{:x1 a rdf:List . } .
[by erasure from step 92]
94: ( :MAE5 :MAE6 :MAE4 ) a rdf:List .
[by rule from step 93 applied to steps [91]
with bindings {'x0': u'<
http://idm.univ-rennes1.fr/~obierlai/anatomy#MAE3>', 'x1': '?'}]
95: ...
[by parsing <anatomy-rules.n3>]
96: @forAll :x0 . { :x0 a rdf:List . } log:implies {()
ana:hasNoAnatomicalPartInList :x0 . } .
[by erasure from step 95]
97: () :hasNoAnatomicalPartInList ( :MAE5 :MAE6 :MAE4 ) .
[by rule from step 96 applied to steps [94]
with bindings {'x0': '?'}]
98: ...
[by parsing <anatomy-facts.n3>]
99: :MAE6 a :MaterialAnatomicalEntity .
[by erasure from step 98]
100: ...
[by parsing <anatomy-facts.n3>]
101: :MAE3 a :MaterialAnatomicalEntity .
[by erasure from step 100]
102: ...
[by parsing <anatomy-rules.n3>]
103: @forAll :x0, :x1, :x2, :x3 . { :x0 a ana:MaterialAnatomicalEntity;
ana:hasAnatomicalPartList :x1 . :x1 ana:hasNoAnatomicalPartInList :x3 .
:x2 a ana:MaterialAnatomicalEntity; ana:hasAnatomicalPartList :x3 . }
log:implies {:x0 ana:hasNoCommonPart :x2 . } .
[by erasure from step 102]
104: :MAE6 :hasNoCommonPart :MAE3 .
[by rule from step 103 applied to steps [87, 89, 97, 99, 101]
with bindings {'x2': u'<
http://idm.univ-rennes1.fr/~obierlai/anatomy#MAE3>', 'x3': '?', 'x0': u'<
http://idm.univ-rennes1.fr/~obierlai/anatomy#MAE6>', 'x1': '?'}]
105: ...
[by parsing <anatomy-filter.n3>]
106: @forAll var:x0 . { var:x0 :hasNoCommonPart :MAE3 . } log:implies
{var:x0 :hasNoCommonPart :MAE3 . } .
[by erasure from step 105]
107: :MAE6 :hasNoCommonPart :MAE3 .
[by rule from step 106 applied to steps [104]
with bindings {'x0': u'<
http://idm.univ-rennes1.fr/~obierlai/anatomy#MAE6>'}]
108: ...
[by parsing <anatomy-facts.n3>]
109: :MAE8 :hasAnatomicalPartList () .
[by erasure from step 108]
110: ...
[by parsing <anatomy-facts.n3>]
111: :MAE3 :hasAnatomicalPartList ( :MAE5 :MAE6 :MAE4 ) .
[by erasure from step 110]
112: ...
[by parsing <anatomy-facts.n3>]
113: :MAE3 :hasAnatomicalPartList ( :MAE5 :MAE6 :MAE4 ) .
[by erasure from step 112]
114: ...
[by parsing <anatomy-rules.n3>]
115: @forAll :x0, :x1 . { :x0 ana:hasAnatomicalPartList :x1 . }
log:implies {:x1 a rdf:List . } .
[by erasure from step 114]
116: ( :MAE5 :MAE6 :MAE4 ) a rdf:List .
[by rule from step 115 applied to steps [113]
with bindings {'x0': u'<
http://idm.univ-rennes1.fr/~obierlai/anatomy#MAE3>', 'x1': '?'}]
117: ...
[by parsing <anatomy-rules.n3>]
118: @forAll :x0 . { :x0 a rdf:List . } log:implies {()
ana:hasNoAnatomicalPartInList :x0 . } .
[by erasure from step 117]
119: () :hasNoAnatomicalPartInList ( :MAE5 :MAE6 :MAE4 ) .
[by rule from step 118 applied to steps [116]
with bindings {'x0': '?'}]
120: ...
[by parsing <anatomy-facts.n3>]
121: :MAE8 a :MaterialAnatomicalEntity .
[by erasure from step 120]
122: ...
[by parsing <anatomy-facts.n3>]
123: :MAE3 a :MaterialAnatomicalEntity .
[by erasure from step 122]
124: ...
[by parsing <anatomy-rules.n3>]
125: @forAll :x0, :x1, :x2, :x3 . { :x0 a ana:MaterialAnatomicalEntity;
ana:hasAnatomicalPartList :x1 . :x1 ana:hasNoAnatomicalPartInList :x3 .
:x2 a ana:MaterialAnatomicalEntity; ana:hasAnatomicalPartList :x3 . }
log:implies {:x0 ana:hasNoCommonPart :x2 . } .
[by erasure from step 124]
126: :MAE8 :hasNoCommonPart :MAE3 .
[by rule from step 125 applied to steps [109, 111, 119, 121, 123]
with bindings {'x2': u'<
http://idm.univ-rennes1.fr/~obierlai/anatomy#MAE3>', 'x3': '?', 'x0': u'<
http://idm.univ-rennes1.fr/~obierlai/anatomy#MAE8>', 'x1': '?'}]
127: ...
[by parsing <anatomy-filter.n3>]
128: @forAll var:x0 . { var:x0 :hasNoCommonPart :MAE3 . } log:implies
{var:x0 :hasNoCommonPart :MAE3 . } .
[by erasure from step 127]
129: :MAE8 :hasNoCommonPart :MAE3 .
[by rule from step 128 applied to steps [126]
with bindings {'x0': u'<
http://idm.univ-rennes1.fr/~obierlai/anatomy#MAE8>'}]
130: ...
[by parsing <anatomy-facts.n3>]
131: :MAE9 :hasAnatomicalPartList () .
[by erasure from step 130]
132: ...
[by parsing <anatomy-facts.n3>]
133: :MAE3 :hasAnatomicalPartList ( :MAE5 :MAE6 :MAE4 ) .
[by erasure from step 132]
134: ...
[by parsing <anatomy-facts.n3>]
135: :MAE3 :hasAnatomicalPartList ( :MAE5 :MAE6 :MAE4 ) .
[by erasure from step 134]
136: ...
[by parsing <anatomy-rules.n3>]
137: @forAll :x0, :x1 . { :x0 ana:hasAnatomicalPartList :x1 . }
log:implies {:x1 a rdf:List . } .
[by erasure from step 136]
138: ( :MAE5 :MAE6 :MAE4 ) a rdf:List .
[by rule from step 137 applied to steps [135]
with bindings {'x0': u'<
http://idm.univ-rennes1.fr/~obierlai/anatomy#MAE3>', 'x1': '?'}]
139: ...
[by parsing <anatomy-rules.n3>]
140: @forAll :x0 . { :x0 a rdf:List . } log:implies {()
ana:hasNoAnatomicalPartInList :x0 . } .
[by erasure from step 139]
141: () :hasNoAnatomicalPartInList ( :MAE5 :MAE6 :MAE4 ) .
[by rule from step 140 applied to steps [138]
with bindings {'x0': '?'}]
142: ...
[by parsing <anatomy-facts.n3>]
143: :MAE9 a :MaterialAnatomicalEntity .
[by erasure from step 142]
144: ...
[by parsing <anatomy-facts.n3>]
145: :MAE3 a :MaterialAnatomicalEntity .
[by erasure from step 144]
146: ...
[by parsing <anatomy-rules.n3>]
147: @forAll :x0, :x1, :x2, :x3 . { :x0 a ana:MaterialAnatomicalEntity;
ana:hasAnatomicalPartList :x1 . :x1 ana:hasNoAnatomicalPartInList :x3 .
:x2 a ana:MaterialAnatomicalEntity; ana:hasAnatomicalPartList :x3 . }
log:implies {:x0 ana:hasNoCommonPart :x2 . } .
[by erasure from step 146]
148: :MAE9 :hasNoCommonPart :MAE3 .
[by rule from step 147 applied to steps [131, 133, 141, 143, 145]
with bindings {'x2': u'<
http://idm.univ-rennes1.fr/~obierlai/anatomy#MAE3>', 'x3': '?', 'x0': u'<
http://idm.univ-rennes1.fr/~obierlai/anatomy#MAE9>', 'x1': '?'}]
149: ...
[by parsing <anatomy-filter.n3>]
150: @forAll var:x0 . { var:x0 :hasNoCommonPart :MAE3 . } log:implies
{var:x0 :hasNoCommonPart :MAE3 . } .
[by erasure from step 149]
151: :MAE9 :hasNoCommonPart :MAE3 .
[by rule from step 150 applied to steps [148]
with bindings {'x0': u'<
http://idm.univ-rennes1.fr/~obierlai/anatomy#MAE9>'}]
152: ...
[by parsing <anatomy-facts.n3>]
153: :MAE7 :hasAnatomicalPartList ( :MAE8 :MAE9 ) .
[by erasure from step 152]
154: ...
[by parsing <anatomy-facts.n3>]
155: :MAE3 :hasAnatomicalPartList ( :MAE5 :MAE6 :MAE4 ) .
[by erasure from step 154]
156: ( :MAE8 :MAE9 ) .
[by built-in Axiom rdf:first]
157: ...
[by parsing <anatomy-facts.n3>]
158: :MAE7 :hasAnatomicalPartList ( :MAE8 :MAE9 ) .
[by erasure from step 157]
159: ...
[by parsing <anatomy-rules.n3>]
160: @forAll :x0, :x1 . { :x0 ana:hasAnatomicalPartList :x1 . }
log:implies {:x1 a rdf:List . } .
[by erasure from step 159]
161: ( :MAE8 :MAE9 ) a rdf:List .
[by rule from step 160 applied to steps [158]
with bindings {'x0': u'<
http://idm.univ-rennes1.fr/~obierlai/anatomy#MAE7>', 'x1': '?'}]
162: ...
[by parsing <anatomy-facts.n3>]
163: :MAE8 :hasAnatomicalPartList () .
[by erasure from step 162]
164: ...
[by parsing <anatomy-facts.n3>]
165: :MAE3 :hasAnatomicalPartList ( :MAE5 :MAE6 :MAE4 ) .
[by erasure from step 164]
166: ...
[by parsing <anatomy-rules.n3>]
167: @forAll :x0, :x1 . { :x0 ana:hasAnatomicalPartList :x1 . }
log:implies {:x1 a rdf:List . } .
[by erasure from step 166]
168: ( :MAE5 :MAE6 :MAE4 ) a rdf:List .
[by rule from step 167 applied to steps [165]
with bindings {'x0': u'<
http://idm.univ-rennes1.fr/~obierlai/anatomy#MAE3>', 'x1': '?'}]
169: ...
[by parsing <anatomy-rules.n3>]
170: @forAll :x0 . { :x0 a rdf:List . } log:implies {()
ana:hasNoAnatomicalPartInList :x0 . } .
[by erasure from step 169]
171: () :hasNoAnatomicalPartInList ( :MAE5 :MAE6 :MAE4 ) .
[by rule from step 170 applied to steps [168]
with bindings {'x0': '?'}]
172: ( :MAE5 :MAE6 :MAE4 ) .
[by built-in Axiom rdf:first]
173: ...
[by parsing <anatomy-facts.n3>]
174: :MAE3 :hasAnatomicalPartList ( :MAE5 :MAE6 :MAE4 ) .
[by erasure from step 173]
175: ...
[by parsing <anatomy-rules.n3>]
176: @forAll :x0, :x1 . { :x0 ana:hasAnatomicalPartList :x1 . }
log:implies {:x1 a rdf:List . } .
[by erasure from step 175]
177: ( :MAE5 :MAE6 :MAE4 ) a rdf:List .
[by rule from step 176 applied to steps [174]
with bindings {'x0': u'<
http://idm.univ-rennes1.fr/~obierlai/anatomy#MAE3>', 'x1': '?'}]
178: ...
[by parsing <anatomy-facts.n3>]
179: :MAE5 :hasAnatomicalPartList () .
[by erasure from step 178]
180: ...
[by parsing <anatomy-facts.n3>]
181: :MAE8 a :MaterialAnatomicalEntity .
[by erasure from step 180]
182: ...
[by parsing <anatomy-rules.n3>]
183: @forAll :x0 . { :x0 a ana:MaterialAnatomicalEntity . } log:implies
{() ana:hasNoAnatomicalPart :x0 . } .
[by erasure from step 182]
184: () :hasNoAnatomicalPart :MAE8 .
[by rule from step 183 applied to steps [181]
with bindings {'x0': u'<
http://idm.univ-rennes1.fr/~obierlai/anatomy#MAE8>'}]
185: ...
[by parsing <anatomy-facts.n3>]
186: :MAE5 owl:differentFrom :MAE8 .
[by erasure from step 185]
187: ( :MAE5 :MAE6 :MAE4 ) .
[by built-in Axiom rdf:rest]
188: ...
[by parsing <anatomy-facts.n3>]
189: :MAE3 :hasAnatomicalPartList ( :MAE5 :MAE6 :MAE4 ) .
[by erasure from step 188]
190: ...
[by parsing <anatomy-rules.n3>]
191: @forAll :x0, :x1 . { :x0 ana:hasAnatomicalPartList :x1 . }
log:implies {:x1 a rdf:List . } .
[by erasure from step 190]
192: ( :MAE5 :MAE6 :MAE4 ) a rdf:List .
[by rule from step 191 applied to steps [189]
with bindings {'x0': u'<
http://idm.univ-rennes1.fr/~obierlai/anatomy#MAE3>', 'x1': '?'}]
193: ( :MAE6 :MAE4 ) .
[by built-in Axiom rdf:first]
194: ( :MAE5 :MAE6 :MAE4 ) .
[by built-in Axiom rdf:rest]
195: ...
[by parsing <anatomy-facts.n3>]
196: :MAE3 :hasAnatomicalPartList ( :MAE5 :MAE6 :MAE4 ) .
[by erasure from step 195]
197: ...
[by parsing <anatomy-rules.n3>]
198: @forAll :x0, :x1 . { :x0 ana:hasAnatomicalPartList :x1 . }
log:implies {:x1 a rdf:List . } .
[by erasure from step 197]
199: ( :MAE5 :MAE6 :MAE4 ) a rdf:List .
[by rule from step 198 applied to steps [196]
with bindings {'x0': u'<
http://idm.univ-rennes1.fr/~obierlai/anatomy#MAE3>', 'x1': '?'}]
200: ...
[by parsing <anatomy-rules.n3>]
201: @forAll :x0, :x1 . { :x0 a rdf:List; rdf:rest :x1 . } log:implies
{:x1 a rdf:List . } .
[by erasure from step 200]
202: ( :MAE6 :MAE4 ) a rdf:List .
[by rule from step 201 applied to steps [194, 199]
with bindings {'x0': '?', 'x1': '?'}]
203: ...
[by parsing <anatomy-facts.n3>]
204: :MAE6 :hasAnatomicalPartList () .
[by erasure from step 203]
205: ...
[by parsing <anatomy-facts.n3>]
206: :MAE8 a :MaterialAnatomicalEntity .
[by erasure from step 205]
207: ...
[by parsing <anatomy-rules.n3>]
208: @forAll :x0 . { :x0 a ana:MaterialAnatomicalEntity . } log:implies
{() ana:hasNoAnatomicalPart :x0 . } .
[by erasure from step 207]
209: () :hasNoAnatomicalPart :MAE8 .
[by rule from step 208 applied to steps [206]
with bindings {'x0': u'<
http://idm.univ-rennes1.fr/~obierlai/anatomy#MAE8>'}]
210: ...
[by parsing <anatomy-facts.n3>]
211: :MAE6 owl:differentFrom :MAE8 .
[by erasure from step 210]
212: ( :MAE6 :MAE4 ) .
[by built-in Axiom rdf:rest]
213: ( :MAE5 :MAE6 :MAE4 ) .
[by built-in Axiom rdf:rest]
214: ...
[by parsing <anatomy-facts.n3>]
215: :MAE3 :hasAnatomicalPartList ( :MAE5 :MAE6 :MAE4 ) .
[by erasure from step 214]
216: ...
[by parsing <anatomy-rules.n3>]
217: @forAll :x0, :x1 . { :x0 ana:hasAnatomicalPartList :x1 . }
log:implies {:x1 a rdf:List . } .
[by erasure from step 216]
218: ( :MAE5 :MAE6 :MAE4 ) a rdf:List .
[by rule from step 217 applied to steps [215]
with bindings {'x0': u'<
http://idm.univ-rennes1.fr/~obierlai/anatomy#MAE3>', 'x1': '?'}]
219: ...
[by parsing <anatomy-rules.n3>]
220: @forAll :x0, :x1 . { :x0 a rdf:List; rdf:rest :x1 . } log:implies
{:x1 a rdf:List . } .
[by erasure from step 219]
221: ( :MAE6 :MAE4 ) a rdf:List .
[by rule from step 220 applied to steps [213, 218]
with bindings {'x0': '?', 'x1': '?'}]
222: ( :MAE4 ) .
[by built-in Axiom rdf:first]
223: ( :MAE3 :MAE4 ) .
[by built-in Axiom rdf:rest]
224: ( :MAE2 :MAE3 :MAE4 ) .
[by built-in Axiom rdf:rest]
225: ...
[by parsing <anatomy-facts.n3>]
226: :MAE1 :hasAnatomicalPartList ( :MAE2 :MAE3 :MAE4 ) .
[by erasure from step 225]
227: ...
[by parsing <anatomy-rules.n3>]
228: @forAll :x0, :x1 . { :x0 ana:hasAnatomicalPartList :x1 . }
log:implies {:x1 a rdf:List . } .
[by erasure from step 227]
229: ( :MAE2 :MAE3 :MAE4 ) a rdf:List .
[by rule from step 228 applied to steps [226]
with bindings {'x0': u'<
http://idm.univ-rennes1.fr/~obierlai/anatomy#MAE1>', 'x1': '?'}]
230: ...
[by parsing <anatomy-rules.n3>]
231: @forAll :x0, :x1 . { :x0 a rdf:List; rdf:rest :x1 . } log:implies
{:x1 a rdf:List . } .
[by erasure from step 230]
232: ( :MAE3 :MAE4 ) a rdf:List .
[by rule from step 231 applied to steps [224, 229]
with bindings {'x0': '?', 'x1': '?'}]
233: ...
[by parsing <anatomy-rules.n3>]
234: @forAll :x0, :x1 . { :x0 a rdf:List; rdf:rest :x1 . } log:implies
{:x1 a rdf:List . } .
[by erasure from step 233]
235: ( :MAE4 ) a rdf:List .
[by rule from step 234 applied to steps [223, 232]
with bindings {'x0': '?', 'x1': '?'}]
236: ...
[by parsing <anatomy-facts.n3>]
237: :MAE4 :hasAnatomicalPartList () .
[by erasure from step 236]
238: ...
[by parsing <anatomy-facts.n3>]
239: :MAE8 a :MaterialAnatomicalEntity .
[by erasure from step 238]
240: ...
[by parsing <anatomy-rules.n3>]
241: @forAll :x0 . { :x0 a ana:MaterialAnatomicalEntity . } log:implies
{() ana:hasNoAnatomicalPart :x0 . } .
[by erasure from step 240]
242: () :hasNoAnatomicalPart :MAE8 .
[by rule from step 241 applied to steps [239]
with bindings {'x0': u'<
http://idm.univ-rennes1.fr/~obierlai/anatomy#MAE8>'}]
243: ...
[by parsing <anatomy-facts.n3>]
244: :MAE4 owl:differentFrom :MAE8 .
[by erasure from step 243]
245: ( :MAE4 ) .
[by built-in Axiom rdf:rest]
246: ( :MAE3 :MAE4 ) .
[by built-in Axiom rdf:rest]
247: ( :MAE2 :MAE3 :MAE4 ) .
[by built-in Axiom rdf:rest]
248: ...
[by parsing <anatomy-facts.n3>]
249: :MAE1 :hasAnatomicalPartList ( :MAE2 :MAE3 :MAE4 ) .
[by erasure from step 248]
250: ...
[by parsing <anatomy-rules.n3>]
251: @forAll :x0, :x1 . { :x0 ana:hasAnatomicalPartList :x1 . }
log:implies {:x1 a rdf:List . } .
[by erasure from step 250]
252: ( :MAE2 :MAE3 :MAE4 ) a rdf:List .
[by rule from step 251 applied to steps [249]
with bindings {'x0': u'<
http://idm.univ-rennes1.fr/~obierlai/anatomy#MAE1>', 'x1': '?'}]
253: ...
[by parsing <anatomy-rules.n3>]
254: @forAll :x0, :x1 . { :x0 a rdf:List; rdf:rest :x1 . } log:implies
{:x1 a rdf:List . } .
[by erasure from step 253]
255: ( :MAE3 :MAE4 ) a rdf:List .
[by rule from step 254 applied to steps [247, 252]
with bindings {'x0': '?', 'x1': '?'}]
256: ...
[by parsing <anatomy-rules.n3>]
257: @forAll :x0, :x1 . { :x0 a rdf:List; rdf:rest :x1 . } log:implies
{:x1 a rdf:List . } .
[by erasure from step 256]
258: ( :MAE4 ) a rdf:List .
[by rule from step 257 applied to steps [246, 255]
with bindings {'x0': '?', 'x1': '?'}]
259: ...
[by parsing <anatomy-facts.n3>]
260: :MAE8 a :MaterialAnatomicalEntity .
[by erasure from step 259]
261: ...
[by parsing <anatomy-rules.n3>]
262: @forAll :x0 . { :x0 a ana:MaterialAnatomicalEntity . } log:implies
{() ana:hasNoAnatomicalPart :x0 . } .
[by erasure from step 261]
263: () :hasNoAnatomicalPart :MAE8 .
[by rule from step 262 applied to steps [260]
with bindings {'x0': u'<
http://idm.univ-rennes1.fr/~obierlai/anatomy#MAE8>'}]
264: ...
[by parsing <anatomy-rules.n3>]
265: @forAll :x0, :x1, :x2, :x3, :x4 . { :x0 a rdf:List; rdf:first :x1;
rdf:rest :x4 . :x1 ana:hasAnatomicalPartList :x2; owl:differentFrom :x3 .
:x2 ana:hasNoAnatomicalPart :x3 . :x4 ana:hasNoAnatomicalPart :x3 . }
log:implies {:x0 ana:hasNoAnatomicalPart :x3 . } .
[by erasure from step 264]
266: ( :MAE4 ) :hasNoAnatomicalPart :MAE8 .
[by rule from step 265 applied to steps [222, 235, 237, 242, 244, 245,
258, 263]
with bindings {'x2': '?', 'x3': u'<
http://idm.univ-rennes1.fr/~obierlai/anatomy#MAE8>', 'x0': '?', 'x1': u'<
http://idm.univ-rennes1.fr/~obierlai/anatomy#MAE4>', 'x4': '?'}]
267: ...
[by parsing <anatomy-rules.n3>]
268: @forAll :x0, :x1, :x2, :x3, :x4 . { :x0 a rdf:List; rdf:first :x1;
rdf:rest :x4 . :x1 ana:hasAnatomicalPartList :x2; owl:differentFrom :x3 .
:x2 ana:hasNoAnatomicalPart :x3 . :x4 ana:hasNoAnatomicalPart :x3 . }
log:implies {:x0 ana:hasNoAnatomicalPart :x3 . } .
[by erasure from step 267]
269: ( :MAE6 :MAE4 ) :hasNoAnatomicalPart :MAE8 .
[by rule from step 268 applied to steps [193, 202, 204, 209, 211, 212,
221, 266]
with bindings {'x2': '?', 'x3': u'<
http://idm.univ-rennes1.fr/~obierlai/anatomy#MAE8>', 'x0': '?', 'x1': u'<
http://idm.univ-rennes1.fr/~obierlai/anatomy#MAE6>', 'x4': '?'}]
270: ...
[by parsing <anatomy-rules.n3>]
271: @forAll :x0, :x1, :x2, :x3, :x4 . { :x0 a rdf:List; rdf:first :x1;
rdf:rest :x4 . :x1 ana:hasAnatomicalPartList :x2; owl:differentFrom :x3 .
:x2 ana:hasNoAnatomicalPart :x3 . :x4 ana:hasNoAnatomicalPart :x3 . }
log:implies {:x0 ana:hasNoAnatomicalPart :x3 . } .
[by erasure from step 270]
272: ( :MAE5 :MAE6 :MAE4 ) :hasNoAnatomicalPart :MAE8 .
[by rule from step 271 applied to steps [172, 177, 179, 184, 186, 187,
192, 269]
with bindings {'x2': '?', 'x3': u'<
http://idm.univ-rennes1.fr/~obierlai/anatomy#MAE8>', 'x0': '?', 'x1': u'<
http://idm.univ-rennes1.fr/~obierlai/anatomy#MAE5>', 'x4': '?'}]
273: ( :MAE8 :MAE9 ) .
[by built-in Axiom rdf:rest]
274: ...
[by parsing <anatomy-facts.n3>]
275: :MAE7 :hasAnatomicalPartList ( :MAE8 :MAE9 ) .
[by erasure from step 274]
276: ...
[by parsing <anatomy-rules.n3>]
277: @forAll :x0, :x1 . { :x0 ana:hasAnatomicalPartList :x1 . }
log:implies {:x1 a rdf:List . } .
[by erasure from step 276]
278: ( :MAE8 :MAE9 ) a rdf:List .
[by rule from step 277 applied to steps [275]
with bindings {'x0': u'<
http://idm.univ-rennes1.fr/~obierlai/anatomy#MAE7>', 'x1': '?'}]
279: ( :MAE9 ) .
[by built-in Axiom rdf:first]
280: ( :MAE8 :MAE9 ) .
[by built-in Axiom rdf:rest]
281: ...
[by parsing <anatomy-facts.n3>]
282: :MAE7 :hasAnatomicalPartList ( :MAE8 :MAE9 ) .
[by erasure from step 281]
283: ...
[by parsing <anatomy-rules.n3>]
284: @forAll :x0, :x1 . { :x0 ana:hasAnatomicalPartList :x1 . }
log:implies {:x1 a rdf:List . } .
[by erasure from step 283]
285: ( :MAE8 :MAE9 ) a rdf:List .
[by rule from step 284 applied to steps [282]
with bindings {'x0': u'<
http://idm.univ-rennes1.fr/~obierlai/anatomy#MAE7>', 'x1': '?'}]
286: ...
[by parsing <anatomy-rules.n3>]
287: @forAll :x0, :x1 . { :x0 a rdf:List; rdf:rest :x1 . } log:implies
{:x1 a rdf:List . } .
[by erasure from step 286]
288: ( :MAE9 ) a rdf:List .
[by rule from step 287 applied to steps [280, 285]
with bindings {'x0': '?', 'x1': '?'}]
289: ...
[by parsing <anatomy-facts.n3>]
290: :MAE9 :hasAnatomicalPartList () .
[by erasure from step 289]
291: ...
[by parsing <anatomy-facts.n3>]
292: :MAE3 :hasAnatomicalPartList ( :MAE5 :MAE6 :MAE4 ) .
[by erasure from step 291]
293: ...
[by parsing <anatomy-rules.n3>]
294: @forAll :x0, :x1 . { :x0 ana:hasAnatomicalPartList :x1 . }
log:implies {:x1 a rdf:List . } .
[by erasure from step 293]
295: ( :MAE5 :MAE6 :MAE4 ) a rdf:List .
[by rule from step 294 applied to steps [292]
with bindings {'x0': u'<
http://idm.univ-rennes1.fr/~obierlai/anatomy#MAE3>', 'x1': '?'}]
296: ...
[by parsing <anatomy-rules.n3>]
297: @forAll :x0 . { :x0 a rdf:List . } log:implies {()
ana:hasNoAnatomicalPartInList :x0 . } .
[by erasure from step 296]
298: () :hasNoAnatomicalPartInList ( :MAE5 :MAE6 :MAE4 ) .
[by rule from step 297 applied to steps [295]
with bindings {'x0': '?'}]
299: ( :MAE5 :MAE6 :MAE4 ) .
[by built-in Axiom rdf:first]
300: ...
[by parsing <anatomy-facts.n3>]
301: :MAE3 :hasAnatomicalPartList ( :MAE5 :MAE6 :MAE4 ) .
[by erasure from step 300]
302: ...
[by parsing <anatomy-rules.n3>]
303: @forAll :x0, :x1 . { :x0 ana:hasAnatomicalPartList :x1 . }
log:implies {:x1 a rdf:List . } .
[by erasure from step 302]
304: ( :MAE5 :MAE6 :MAE4 ) a rdf:List .
[by rule from step 303 applied to steps [301]
with bindings {'x0': u'<
http://idm.univ-rennes1.fr/~obierlai/anatomy#MAE3>', 'x1': '?'}]
305: ...
[by parsing <anatomy-facts.n3>]
306: :MAE5 :hasAnatomicalPartList () .
[by erasure from step 305]
307: ...
[by parsing <anatomy-facts.n3>]
308: :MAE9 a :MaterialAnatomicalEntity .
[by erasure from step 307]
309: ...
[by parsing <anatomy-rules.n3>]
310: @forAll :x0 . { :x0 a ana:MaterialAnatomicalEntity . } log:implies
{() ana:hasNoAnatomicalPart :x0 . } .
[by erasure from step 309]
311: () :hasNoAnatomicalPart :MAE9 .
[by rule from step 310 applied to steps [308]
with bindings {'x0': u'<
http://idm.univ-rennes1.fr/~obierlai/anatomy#MAE9>'}]
312: ...
[by parsing <anatomy-facts.n3>]
313: :MAE5 owl:differentFrom :MAE9 .
[by erasure from step 312]
314: ( :MAE5 :MAE6 :MAE4 ) .
[by built-in Axiom rdf:rest]
315: ...
[by parsing <anatomy-facts.n3>]
316: :MAE3 :hasAnatomicalPartList ( :MAE5 :MAE6 :MAE4 ) .
[by erasure from step 315]
317: ...
[by parsing <anatomy-rules.n3>]
318: @forAll :x0, :x1 . { :x0 ana:hasAnatomicalPartList :x1 . }
log:implies {:x1 a rdf:List . } .
[by erasure from step 317]
319: ( :MAE5 :MAE6 :MAE4 ) a rdf:List .
[by rule from step 318 applied to steps [316]
with bindings {'x0': u'<
http://idm.univ-rennes1.fr/~obierlai/anatomy#MAE3>', 'x1': '?'}]
320: ( :MAE6 :MAE4 ) .
[by built-in Axiom rdf:first]
321: ( :MAE5 :MAE6 :MAE4 ) .
[by built-in Axiom rdf:rest]
322: ...
[by parsing <anatomy-facts.n3>]
323: :MAE3 :hasAnatomicalPartList ( :MAE5 :MAE6 :MAE4 ) .
[by erasure from step 322]
324: ...
[by parsing <anatomy-rules.n3>]
325: @forAll :x0, :x1 . { :x0 ana:hasAnatomicalPartList :x1 . }
log:implies {:x1 a rdf:List . } .
[by erasure from step 324]
326: ( :MAE5 :MAE6 :MAE4 ) a rdf:List .
[by rule from step 325 applied to steps [323]
with bindings {'x0': u'<
http://idm.univ-rennes1.fr/~obierlai/anatomy#MAE3>', 'x1': '?'}]
327: ...
[by parsing <anatomy-rules.n3>]
328: @forAll :x0, :x1 . { :x0 a rdf:List; rdf:rest :x1 . } log:implies
{:x1 a rdf:List . } .
[by erasure from step 327]
329: ( :MAE6 :MAE4 ) a rdf:List .
[by rule from step 328 applied to steps [321, 326]
with bindings {'x0': '?', 'x1': '?'}]
330: ...
[by parsing <anatomy-facts.n3>]
331: :MAE6 :hasAnatomicalPartList () .
[by erasure from step 330]
332: ...
[by parsing <anatomy-facts.n3>]
333: :MAE9 a :MaterialAnatomicalEntity .
[by erasure from step 332]
334: ...
[by parsing <anatomy-rules.n3>]
335: @forAll :x0 . { :x0 a ana:MaterialAnatomicalEntity . } log:implies
{() ana:hasNoAnatomicalPart :x0 . } .
[by erasure from step 334]
336: () :hasNoAnatomicalPart :MAE9 .
[by rule from step 335 applied to steps [333]
with bindings {'x0': u'<
http://idm.univ-rennes1.fr/~obierlai/anatomy#MAE9>'}]
337: ...
[by parsing <anatomy-facts.n3>]
338: :MAE6 owl:differentFrom :MAE9 .
[by erasure from step 337]
339: ( :MAE6 :MAE4 ) .
[by built-in Axiom rdf:rest]
340: ( :MAE5 :MAE6 :MAE4 ) .
[by built-in Axiom rdf:rest]
341: ...
[by parsing <anatomy-facts.n3>]
342: :MAE3 :hasAnatomicalPartList ( :MAE5 :MAE6 :MAE4 ) .
[by erasure from step 341]
343: ...
[by parsing <anatomy-rules.n3>]
344: @forAll :x0, :x1 . { :x0 ana:hasAnatomicalPartList :x1 . }
log:implies {:x1 a rdf:List . } .
[by erasure from step 343]
345: ( :MAE5 :MAE6 :MAE4 ) a rdf:List .
[by rule from step 344 applied to steps [342]
with bindings {'x0': u'<
http://idm.univ-rennes1.fr/~obierlai/anatomy#MAE3>', 'x1': '?'}]
346: ...
[by parsing <anatomy-rules.n3>]
347: @forAll :x0, :x1 . { :x0 a rdf:List; rdf:rest :x1 . } log:implies
{:x1 a rdf:List . } .
[by erasure from step 346]
348: ( :MAE6 :MAE4 ) a rdf:List .
[by rule from step 347 applied to steps [340, 345]
with bindings {'x0': '?', 'x1': '?'}]
349: ( :MAE4 ) .
[by built-in Axiom rdf:first]
350: ( :MAE3 :MAE4 ) .
[by built-in Axiom rdf:rest]
351: ( :MAE2 :MAE3 :MAE4 ) .
[by built-in Axiom rdf:rest]
352: ...
[by parsing <anatomy-facts.n3>]
353: :MAE1 :hasAnatomicalPartList ( :MAE2 :MAE3 :MAE4 ) .
[by erasure from step 352]
354: ...
[by parsing <anatomy-rules.n3>]
355: @forAll :x0, :x1 . { :x0 ana:hasAnatomicalPartList :x1 . }
log:implies {:x1 a rdf:List . } .
[by erasure from step 354]
356: ( :MAE2 :MAE3 :MAE4 ) a rdf:List .
[by rule from step 355 applied to steps [353]
with bindings {'x0': u'<
http://idm.univ-rennes1.fr/~obierlai/anatomy#MAE1>', 'x1': '?'}]
357: ...
[by parsing <anatomy-rules.n3>]
358: @forAll :x0, :x1 . { :x0 a rdf:List; rdf:rest :x1 . } log:implies
{:x1 a rdf:List . } .
[by erasure from step 357]
359: ( :MAE3 :MAE4 ) a rdf:List .
[by rule from step 358 applied to steps [351, 356]
with bindings {'x0': '?', 'x1': '?'}]
360: ...
[by parsing <anatomy-rules.n3>]
361: @forAll :x0, :x1 . { :x0 a rdf:List; rdf:rest :x1 . } log:implies
{:x1 a rdf:List . } .
[by erasure from step 360]
362: ( :MAE4 ) a rdf:List .
[by rule from step 361 applied to steps [350, 359]
with bindings {'x0': '?', 'x1': '?'}]
363: ...
[by parsing <anatomy-facts.n3>]
364: :MAE4 :hasAnatomicalPartList () .
[by erasure from step 363]
365: ...
[by parsing <anatomy-facts.n3>]
366: :MAE9 a :MaterialAnatomicalEntity .
[by erasure from step 365]
367: ...
[by parsing <anatomy-rules.n3>]
368: @forAll :x0 . { :x0 a ana:MaterialAnatomicalEntity . } log:implies
{() ana:hasNoAnatomicalPart :x0 . } .
[by erasure from step 367]
369: () :hasNoAnatomicalPart :MAE9 .
[by rule from step 368 applied to steps [366]
with bindings {'x0': u'<
http://idm.univ-rennes1.fr/~obierlai/anatomy#MAE9>'}]
370: ...
[by parsing <anatomy-facts.n3>]
371: :MAE4 owl:differentFrom :MAE9 .
[by erasure from step 370]
372: ( :MAE4 ) .
[by built-in Axiom rdf:rest]
373: ( :MAE3 :MAE4 ) .
[by built-in Axiom rdf:rest]
374: ( :MAE2 :MAE3 :MAE4 ) .
[by built-in Axiom rdf:rest]
375: ...
[by parsing <anatomy-facts.n3>]
376: :MAE1 :hasAnatomicalPartList ( :MAE2 :MAE3 :MAE4 ) .
[by erasure from step 375]
377: ...
[by parsing <anatomy-rules.n3>]
378: @forAll :x0, :x1 . { :x0 ana:hasAnatomicalPartList :x1 . }
log:implies {:x1 a rdf:List . } .
[by erasure from step 377]
379: ( :MAE2 :MAE3 :MAE4 ) a rdf:List .
[by rule from step 378 applied to steps [376]
with bindings {'x0': u'<
http://idm.univ-rennes1.fr/~obierlai/anatomy#MAE1>', 'x1': '?'}]
380: ...
[by parsing <anatomy-rules.n3>]
381: @forAll :x0, :x1 . { :x0 a rdf:List; rdf:rest :x1 . } log:implies
{:x1 a rdf:List . } .
[by erasure from step 380]
382: ( :MAE3 :MAE4 ) a rdf:List .
[by rule from step 381 applied to steps [374, 379]
with bindings {'x0': '?', 'x1': '?'}]
383: ...
[by parsing <anatomy-rules.n3>]
384: @forAll :x0, :x1 . { :x0 a rdf:List; rdf:rest :x1 . } log:implies
{:x1 a rdf:List . } .
[by erasure from step 383]
385: ( :MAE4 ) a rdf:List .
[by rule from step 384 applied to steps [373, 382]
with bindings {'x0': '?', 'x1': '?'}]
386: ...
[by parsing <anatomy-facts.n3>]
387: :MAE9 a :MaterialAnatomicalEntity .
[by erasure from step 386]
388: ...
[by parsing <anatomy-rules.n3>]
389: @forAll :x0 . { :x0 a ana:MaterialAnatomicalEntity . } log:implies
{() ana:hasNoAnatomicalPart :x0 . } .
[by erasure from step 388]
390: () :hasNoAnatomicalPart :MAE9 .
[by rule from step 389 applied to steps [387]
with bindings {'x0': u'<
http://idm.univ-rennes1.fr/~obierlai/anatomy#MAE9>'}]
391: ...
[by parsing <anatomy-rules.n3>]
392: @forAll :x0, :x1, :x2, :x3, :x4 . { :x0 a rdf:List; rdf:first :x1;
rdf:rest :x4 . :x1 ana:hasAnatomicalPartList :x2; owl:differentFrom :x3 .
:x2 ana:hasNoAnatomicalPart :x3 . :x4 ana:hasNoAnatomicalPart :x3 . }
log:implies {:x0 ana:hasNoAnatomicalPart :x3 . } .
[by erasure from step 391]
393: ( :MAE4 ) :hasNoAnatomicalPart :MAE9 .
[by rule from step 392 applied to steps [349, 362, 364, 369, 371, 372,
385, 390]
with bindings {'x2': '?', 'x3': u'<
http://idm.univ-rennes1.fr/~obierlai/anatomy#MAE9>', 'x0': '?', 'x1': u'<
http://idm.univ-rennes1.fr/~obierlai/anatomy#MAE4>', 'x4': '?'}]
394: ...
[by parsing <anatomy-rules.n3>]
395: @forAll :x0, :x1, :x2, :x3, :x4 . { :x0 a rdf:List; rdf:first :x1;
rdf:rest :x4 . :x1 ana:hasAnatomicalPartList :x2; owl:differentFrom :x3 .
:x2 ana:hasNoAnatomicalPart :x3 . :x4 ana:hasNoAnatomicalPart :x3 . }
log:implies {:x0 ana:hasNoAnatomicalPart :x3 . } .
[by erasure from step 394]
396: ( :MAE6 :MAE4 ) :hasNoAnatomicalPart :MAE9 .
[by rule from step 395 applied to steps [320, 329, 331, 336, 338, 339,
348, 393]
with bindings {'x2': '?', 'x3': u'<
http://idm.univ-rennes1.fr/~obierlai/anatomy#MAE9>', 'x0': '?', 'x1': u'<
http://idm.univ-rennes1.fr/~obierlai/anatomy#MAE6>', 'x4': '?'}]
397: ...
[by parsing <anatomy-rules.n3>]
398: @forAll :x0, :x1, :x2, :x3, :x4 . { :x0 a rdf:List; rdf:first :x1;
rdf:rest :x4 . :x1 ana:hasAnatomicalPartList :x2; owl:differentFrom :x3 .
:x2 ana:hasNoAnatomicalPart :x3 . :x4 ana:hasNoAnatomicalPart :x3 . }
log:implies {:x0 ana:hasNoAnatomicalPart :x3 . } .
[by erasure from step 397]
399: ( :MAE5 :MAE6 :MAE4 ) :hasNoAnatomicalPart :MAE9 .
[by rule from step 398 applied to steps [299, 304, 306, 311, 313, 314,
319, 396]
with bindings {'x2': '?', 'x3': u'<
http://idm.univ-rennes1.fr/~obierlai/anatomy#MAE9>', 'x0': '?', 'x1': u'<
http://idm.univ-rennes1.fr/~obierlai/anatomy#MAE5>', 'x4': '?'}]
400: ( :MAE9 ) .
[by built-in Axiom rdf:rest]
401: ( :MAE8 :MAE9 ) .
[by built-in Axiom rdf:rest]
402: ...
[by parsing <anatomy-facts.n3>]
403: :MAE7 :hasAnatomicalPartList ( :MAE8 :MAE9 ) .
[by erasure from step 402]
404: ...
[by parsing <anatomy-rules.n3>]
405: @forAll :x0, :x1 . { :x0 ana:hasAnatomicalPartList :x1 . }
log:implies {:x1 a rdf:List . } .
[by erasure from step 404]
406: ( :MAE8 :MAE9 ) a rdf:List .
[by rule from step 405 applied to steps [403]
with bindings {'x0': u'<
http://idm.univ-rennes1.fr/~obierlai/anatomy#MAE7>', 'x1': '?'}]
407: ...
[by parsing <anatomy-rules.n3>]
408: @forAll :x0, :x1 . { :x0 a rdf:List; rdf:rest :x1 . } log:implies
{:x1 a rdf:List . } .
[by erasure from step 407]
409: ( :MAE9 ) a rdf:List .
[by rule from step 408 applied to steps [401, 406]
with bindings {'x0': '?', 'x1': '?'}]
410: ...
[by parsing <anatomy-facts.n3>]
411: :MAE3 :hasAnatomicalPartList ( :MAE5 :MAE6 :MAE4 ) .
[by erasure from step 410]
412: ...
[by parsing <anatomy-rules.n3>]
413: @forAll :x0, :x1 . { :x0 ana:hasAnatomicalPartList :x1 . }
log:implies {:x1 a rdf:List . } .
[by erasure from step 412]
414: ( :MAE5 :MAE6 :MAE4 ) a rdf:List .
[by rule from step 413 applied to steps [411]
with bindings {'x0': u'<
http://idm.univ-rennes1.fr/~obierlai/anatomy#MAE3>', 'x1': '?'}]
415: ...
[by parsing <anatomy-rules.n3>]
416: @forAll :x0 . { :x0 a rdf:List . } log:implies {()
ana:hasNoAnatomicalPartInList :x0 . } .
[by erasure from step 415]
417: () :hasNoAnatomicalPartInList ( :MAE5 :MAE6 :MAE4 ) .
[by rule from step 416 applied to steps [414]
with bindings {'x0': '?'}]
418: ...
[by parsing <anatomy-rules.n3>]
419: @forAll :x0, :x1, :x2, :x3, :x4 . { :x0 a rdf:List; rdf:first :x1;
rdf:rest :x4 . :x1 ana:hasAnatomicalPartList :x2 . :x2
ana:hasNoAnatomicalPartInList :x3 . :x3 ana:hasNoAnatomicalPart :x1 . :x4
ana:hasNoAnatomicalPartInList :x3 . } log:implies {:x0
ana:hasNoAnatomicalPartInList :x3 . } .
[by erasure from step 418]
420: ( :MAE9 ) :hasNoAnatomicalPartInList ( :MAE5 :MAE6 :MAE4 ) .
[by rule from step 419 applied to steps [279, 288, 290, 298, 399, 400,
409, 417]
with bindings {'x2': '?', 'x3': '?', 'x0': '?', 'x1': u'<
http://idm.univ-rennes1.fr/~obierlai/anatomy#MAE9>', 'x4': '?'}]
421: ...
[by parsing <anatomy-rules.n3>]
422: @forAll :x0, :x1, :x2, :x3, :x4 . { :x0 a rdf:List; rdf:first :x1;
rdf:rest :x4 . :x1 ana:hasAnatomicalPartList :x2 . :x2
ana:hasNoAnatomicalPartInList :x3 . :x3 ana:hasNoAnatomicalPart :x1 . :x4
ana:hasNoAnatomicalPartInList :x3 . } log:implies {:x0
ana:hasNoAnatomicalPartInList :x3 . } .
[by erasure from step 421]
423: ( :MAE8 :MAE9 ) :hasNoAnatomicalPartInList ( :MAE5 :MAE6 :MAE4 ) .
[by rule from step 422 applied to steps [156, 161, 163, 171, 272, 273,
278, 420]
with bindings {'x2': '?', 'x3': '?', 'x0': '?', 'x1': u'<
http://idm.univ-rennes1.fr/~obierlai/anatomy#MAE8>', 'x4': '?'}]
424: ...
[by parsing <anatomy-facts.n3>]
425: :MAE7 a :MaterialAnatomicalEntity .
[by erasure from step 424]
426: ...
[by parsing <anatomy-facts.n3>]
427: :MAE3 a :MaterialAnatomicalEntity .
[by erasure from step 426]
428: ...
[by parsing <anatomy-rules.n3>]
429: @forAll :x0, :x1, :x2, :x3 . { :x0 a ana:MaterialAnatomicalEntity;
ana:hasAnatomicalPartList :x1 . :x1 ana:hasNoAnatomicalPartInList :x3 .
:x2 a ana:MaterialAnatomicalEntity; ana:hasAnatomicalPartList :x3 . }
log:implies {:x0 ana:hasNoCommonPart :x2 . } .
[by erasure from step 428]
430: :MAE7 :hasNoCommonPart :MAE3 .
[by rule from step 429 applied to steps [153, 155, 423, 425, 427]
with bindings {'x2': u'<
http://idm.univ-rennes1.fr/~obierlai/anatomy#MAE3>', 'x3': '?', 'x0': u'<
http://idm.univ-rennes1.fr/~obierlai/anatomy#MAE7>', 'x1': '?'}]
431: ...
[by parsing <anatomy-filter.n3>]
432: @forAll var:x0 . { var:x0 :hasNoCommonPart :MAE3 . } log:implies
{var:x0 :hasNoCommonPart :MAE3 . } .
[by erasure from step 431]
433: :MAE7 :hasNoCommonPart :MAE3 .
[by rule from step 432 applied to steps [430]
with bindings {'x0': u'<
http://idm.univ-rennes1.fr/~obierlai/anatomy#MAE7>'}]
434: :MAE1 :isMaterialAnatomicalEntityConnectedTo :MAE2 . :MAE2
:hasNoCommonPart :MAE3; :isMaterialAnatomicalEntityConnectedTo :MAE1 .
:MAE4 :hasNoCommonPart :MAE3 . :MAE5 :hasNoCommonPart :MAE3 . :MAE6
:hasNoCommonPart :MAE3 . :MAE7 :hasNoCommonPart :MAE3 . :MAE8
:hasNoCommonPart :MAE3 . :MAE9 :hasNoCommonPart :MAE3 .
[by conjoining steps [7, 19, 41, 63, 85, 107, 129, 151, 433]]
@prefix : <http://idm.univ-rennes1.fr/~obierlai/anatomy#> .
:MAE1 :isMaterialAnatomicalEntityConnectedTo :MAE2 .
:MAE2 :hasNoCommonPart :MAE3;
:isMaterialAnatomicalEntityConnectedTo :MAE1 .
:MAE4 :hasNoCommonPart :MAE3 .
:MAE5 :hasNoCommonPart :MAE3 .
:MAE6 :hasNoCommonPart :MAE3 .
:MAE7 :hasNoCommonPart :MAE3 .
:MAE8 :hasNoCommonPart :MAE3 .
:MAE9 :hasNoCommonPart :MAE3 .
Kind regards,
Jos De Roo | Agfa HealthCare
Senior Researcher | HE/Advanced Clinical Applications Research
T +32 3444 7618
http://www.agfa.com/w3c/jdroo/
Quadrat NV, Kortrijksesteenweg 157, 9830 Sint-Martens-Latem, Belgium
http://www.agfa.com/healthcare
Received on Saturday, 24 January 2009 00:26:09 UTC