#Processed by EYE-Winter16.0225.2242 josd #eye http://www.agfa.com/w3c/2002/10/medicad/op/lldmD.n3 http://www.agfa.com/w3c/2002/10/medicad/op/lldmP2.n3 --query http://www.agfa.com/w3c/2002/10/medicad/op/lldmQ.n3 PREFIX log: <http://www.w3.org/2000/10/swap/log#> PREFIX math: <http://www.w3.org/2000/10/swap/math#> PREFIX owl: <http://www.w3.org/2002/07/owl#> PREFIX xsd: <http://www.w3.org/2001/XMLSchema#> PREFIX rdfs: <http://www.w3.org/2000/01/rdf-schema#> PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> PREFIX : <http://www.agfa.com/w3c/2002/10/medicad/op/lldmP#> PREFIX ns1: <http://www.agfa.com/w3c/2002/10/medicad/op/lldmP2#> PREFIX r: <http://www.w3.org/2000/10/swap/reason#> [ a r:Proof, r:Conjunction; r:component <#lemma1>; r:gives { :meas47 a :Measurement. :meas47 a :LLDAlarm. }]. <#lemma1> a r:Inference; r:gives {:meas47 a :Measurement. :meas47 a :LLDAlarm}; r:evidence ( <#lemma2> <#lemma3>); r:rule <#lemma4>. <#lemma2> a r:Extraction; r:gives {:meas47 a :Measurement}; r:because [ a r:Parsing; r:source <http://www.agfa.com/w3c/2002/10/medicad/op/lldmD.n3>]. <#lemma3> a r:Inference; r:gives {:meas47 a :LLDAlarm}; r:evidence ( <#lemma2> <#lemma5> [ a r:Fact; r:gives {2.2596 math:greaterThan 1.25}]); r:rule <#lemma6>. <#lemma4> a r:Extraction; r:gives {{?x_0 a :Measurement. ?x_0 a :LLDAlarm} => {?x_0 a :Measurement. ?x_0 a :LLDAlarm}}; r:because [ a r:Parsing; r:source <http://www.agfa.com/w3c/2002/10/medicad/op/lldmQ.n3>]. <#lemma5> a r:Inference; r:gives {:meas47 ns1:dCm 2.2596}; r:evidence ( <#lemma2> <#lemma7> <#lemma8> [ a r:Fact; r:gives {(3.5596000000000005 1.3000000000000007) math:difference 2.2596}]); r:rule <#lemma9>. <#lemma6> a r:Extraction; r:gives {{?x_0 a :Measurement. ?x_0 ns1:dCm ?x_1. ?x_1 math:greaterThan 1.25} => {?x_0 a :LLDAlarm}}; r:because [ a r:Parsing; r:source <http://www.agfa.com/w3c/2002/10/medicad/op/lldmP2.n3>]. <#lemma7> a r:Inference; r:gives {:meas47 ns1:dy12gcCm 3.5596000000000005}; r:evidence ( <#lemma2> <#lemma10> [ a r:Fact; r:gives {(2.2 1.618) math:product 3.5596000000000005}]); r:rule <#lemma11>. <#lemma8> a r:Inference; r:gives {:meas47 ns1:dy34Cm 1.3000000000000007}; r:evidence ( <#lemma2> <#lemma12> <#lemma13> [ a r:Fact; r:gives {(29.8 28.5) math:difference 1.3000000000000007}]); r:rule <#lemma14>. <#lemma9> a r:Extraction; r:gives {{?x_0 a :Measurement. ?x_0 ns1:dy12gcCm ?x_1. ?x_0 ns1:dy34Cm ?x_2. (?x_1 ?x_2) math:difference ?x_3} => {?x_0 ns1:dCm ?x_3}}; r:because [ a r:Parsing; r:source <http://www.agfa.com/w3c/2002/10/medicad/op/lldmP2.n3>]. <#lemma10> a r:Inference; r:gives {:meas47 ns1:dy12Cm 2.2}; r:evidence ( <#lemma2> <#lemma15> <#lemma16> [ a r:Fact; r:gives {(7.8 5.6) math:difference 2.2}]); r:rule <#lemma17>. <#lemma11> a r:Extraction; r:gives {{?x_0 a :Measurement. ?x_0 ns1:dy12Cm ?x_1. (?x_1 1.618) math:product ?x_2} => {?x_0 ns1:dy12gcCm ?x_2}}; r:because [ a r:Parsing; r:source <http://www.agfa.com/w3c/2002/10/medicad/op/lldmP2.n3>]. <#lemma12> a r:Extraction; r:gives {:meas47 :p3yCm 29.8}; r:because [ a r:Parsing; r:source <http://www.agfa.com/w3c/2002/10/medicad/op/lldmD.n3>]. <#lemma13> a r:Extraction; r:gives {:meas47 :p4yCm 28.5}; r:because [ a r:Parsing; r:source <http://www.agfa.com/w3c/2002/10/medicad/op/lldmD.n3>]. <#lemma14> a r:Extraction; r:gives {{?x_0 a :Measurement. ?x_0 :p3yCm ?x_1. ?x_0 :p4yCm ?x_2. (?x_1 ?x_2) math:difference ?x_3} => {?x_0 ns1:dy34Cm ?x_3}}; r:because [ a r:Parsing; r:source <http://www.agfa.com/w3c/2002/10/medicad/op/lldmP2.n3>]. <#lemma15> a r:Extraction; r:gives {:meas47 :p1yCm 7.8}; r:because [ a r:Parsing; r:source <http://www.agfa.com/w3c/2002/10/medicad/op/lldmD.n3>]. <#lemma16> a r:Extraction; r:gives {:meas47 :p2yCm 5.6}; r:because [ a r:Parsing; r:source <http://www.agfa.com/w3c/2002/10/medicad/op/lldmD.n3>]. <#lemma17> a r:Extraction; r:gives {{?x_0 a :Measurement. ?x_0 :p1yCm ?x_1. ?x_0 :p2yCm ?x_2. (?x_1 ?x_2) math:difference ?x_3} => {?x_0 ns1:dy12Cm ?x_3}}; r:because [ a r:Parsing; r:source <http://www.agfa.com/w3c/2002/10/medicad/op/lldmP2.n3>]. #ENDS 0.303 [sec] IO=24/2 TC=6 TP=12 BC=0 BP=0 PM=0 CM=0 FM=0 AM=0