<<< ~/euler5 http://localhost/.euler+--prolog-bchain+--nope+http%3A%2F%2Fwww.agfa.com%2Fw3c%2Feuler%2Fsocrates.n3+--query+http%3A%2F%2Fwww.agfa.com%2Fw3c%2Feuler%2FsocratesF.n3 ~/euler5 http://localhost/.euler+--prolog-bchain+--nope+http%3A%2F%2Fwww.agfa.com%2Fw3c%2Feuler%2Fmedmio.n3+--query+http%3A%2F%2Fwww.agfa.com%2Fw3c%2Feuler%2FmedmioF.n3 ~/euler5 http://localhost/.euler+--prolog-bchain+--nope+http%3A%2F%2Fwww.agfa.com%2Fw3c%2F2002%2F10%2Fmedicad%2Fop%2FlldmD.n3+http%3A%2F%2Fwww.agfa.com%2Fw3c%2F2002%2F10%2Fmedicad%2Fop%2FlldmP.n3+--query+http%3A%2F%2Fwww.agfa.com%2Fw3c%2F2002%2F10%2Fmedicad%2Fop%2FlldmF.n3 ~/euler5 http://localhost/.euler+--prolog-bchain+--nope+http%3A%2F%2Feulersharp.sourceforge.net%2F2004%2F04test%2FmetastaticP.n3+--query+http%3A%2F%2Feulersharp.sourceforge.net%2F2004%2F04test%2FmetastaticQ.n3 ~/euler5 http://localhost/.euler+--prolog-bchain+--nope+http%3A%2F%2Feulersharp.sourceforge.net%2F2004%2F04test%2Fradlex.n3+--query+http%3A%2F%2Feulersharp.sourceforge.net%2F2004%2F04test%2FradlexQ.n3 >>> #Processed by Id: euler.yap,v 1.178 2007/05/02 22:56:22 josd Exp @prefix str: . @prefix var: . @prefix q: . @prefix list: . @prefix e: . @prefix fn: . @prefix xsd: . @prefix : . @prefix time: . @prefix log: . @prefix rdfs: . @prefix n3: . @prefix math: . @prefix owl: . @prefix r: . @prefix rdf: . #-| rdf:type(:Socrates,var:Man_3_,) # -| builtin(true) #1 [rdf:type(:Socrates,var:Man_3_)] #-| rdf:type(:Socrates,:Mortal,) # -| rdfs:subClassOf(var:Man_3_,:Mortal,) # -| builtin(true) # -| rdf:type(:Socrates,var:Man_3_,) # -| builtin(true) #1 [rdf:type(:Socrates,var:Man_3_),rdfs:subClassOf(var:Man_3_,:Mortal),rdf:type(:Socrates,:Mortal)] #-| rdf:type(:Socrates,var:Man_3_,) # -| builtin(true) #-| eulerpath(rdf:type(:Socrates,var:Man_3_,)) #1 [rdf:type(:Socrates,var:Man_3_)] #-| rdf:type(:Socrates,:Mortal,) # -| rdfs:subClassOf(var:Man_3_,:Mortal,) # -| builtin(true) # -| rdf:type(:Socrates,var:Man_3_,) # -| builtin(true) #-| eulerpath(rdf:type(:Socrates,:Mortal,)) #1 [rdf:type(:Socrates,var:Man_3_),rdfs:subClassOf(var:Man_3_,:Mortal),rdf:type(:Socrates,:Mortal)] rdf:type(:Socrates,var:Man_3_). rdf:type(:Socrates,:Mortal). #ENDS 4 msec. #Processed by Id: euler.yap,v 1.178 2007/05/02 22:56:22 josd Exp @prefix math: . @prefix e: . @prefix list: . @prefix q: . @prefix xsd: . @prefix os: . @prefix log: . @prefix rpo: . @prefix r: . @prefix rdfs: . @prefix fn: . @prefix time: . @prefix : . @prefix rdf: . @prefix var: . @prefix str: . @prefix owl: . @prefix n3: . #-| :isPrescribed(:Joe,:aspirinLowDose,) # -| rpo:mu([:Joe,:AcuteMyocardialInfarction],0.9,) # -| builtin(true) # -| builtin(math:greaterThan(0.9,0.7,_6271)) # -| :prescribedFor(:aspirinLowDose,:AcuteMyocardialInfarction,) # -| builtin(true) # -| :excludedFor(:aspirinLowDose,[:ActivePepticUlcerDisease,:AllergyForAspirin],) # -| builtin(true) # -| :fineWith(:Joe,[:ActivePepticUlcerDisease,:AllergyForAspirin],) # -| rpo:mu([:Joe,:ActivePepticUlcerDisease],0.006,) # -| builtin(true) # -| builtin(math:lessThan(0.006,0.01,_6335)) # -| rdf:type([:ActivePepticUlcerDisease,:AllergyForAspirin],rdf:List,) # -| :excludedFor(:aspirinHighDose,[:ActivePepticUlcerDisease,:AllergyForAspirin],) # -| builtin(true) # -| builtin(rdf:first([:ActivePepticUlcerDisease,:AllergyForAspirin],:ActivePepticUlcerDisease,_6371)) # -| builtin(rdf:rest([:ActivePepticUlcerDisease,:AllergyForAspirin],[:AllergyForAspirin],_6384)) # -| :fineWith(:Joe,[:AllergyForAspirin],) # -| rpo:mu([:Joe,:AllergyForAspirin],0.001,) # -| builtin(true) # -| builtin(math:lessThan(0.001,0.01,_6424)) # -| rdf:type([:AllergyForAspirin],rdf:List,) # -| builtin(rdf:rest([:ActivePepticUlcerDisease,:AllergyForAspirin],[:AllergyForAspirin],_6445)) # -| eulerpath(rdf:type([:ActivePepticUlcerDisease,:AllergyForAspirin],rdf:List,)) # -| builtin(rdf:first([:AllergyForAspirin],:AllergyForAspirin,_6470)) # -| builtin(rdf:rest([:AllergyForAspirin],[],_6478)) #1 [rdf:type([:AllergyForAspirin],rdf:List),rpo:mu([:Joe,:AllergyForAspirin],0.001),:fineWith(:Joe,[:AllergyForAspirin]),:excludedFor(:aspirinHighDose,[:ActivePepticUlcerDisease,:AllergyForAspirin]),rdf:type([:ActivePepticUlcerDisease,:AllergyForAspirin],rdf:List),rpo:mu([:Joe,:ActivePepticUlcerDisease],0.006),:fineWith(:Joe,[:ActivePepticUlcerDisease,:AllergyForAspirin]),:excludedFor(:aspirinLowDose,[:ActivePepticUlcerDisease,:AllergyForAspirin]),:prescribedFor(:aspirinLowDose,:AcuteMyocardialInfarction),rpo:mu([:Joe,:AcuteMyocardialInfarction],0.9),:isPrescribed(:Joe,:aspirinLowDose)] #-| :isPrescribed(:Joe,:betaBlocker,) # -| rpo:mu([:Joe,:AcuteMyocardialInfarction],0.9,) # -| builtin(true) # -| builtin(math:greaterThan(0.9,0.7,_6259)) # -| :prescribedFor(:betaBlocker,:AcuteMyocardialInfarction,) # -| builtin(true) # -| :excludedFor(:betaBlocker,[:SevereAsthma,:ChronicObstructivePumonaryDisease],) # -| builtin(true) # -| :fineWith(:Joe,[:SevereAsthma,:ChronicObstructivePumonaryDisease],) # -| rpo:mu([:Joe,:SevereAsthma],0.001,) # -| builtin(true) # -| builtin(math:lessThan(0.001,0.01,_6323)) # -| rdf:type([:SevereAsthma,:ChronicObstructivePumonaryDisease],rdf:List,) # -| eulerpath(:excludedFor(:betaBlocker,[:SevereAsthma,:ChronicObstructivePumonaryDisease],)) # -| builtin(rdf:first([:SevereAsthma,:ChronicObstructivePumonaryDisease],:SevereAsthma,_6356)) # -| builtin(rdf:rest([:SevereAsthma,:ChronicObstructivePumonaryDisease],[:ChronicObstructivePumonaryDisease],_6369)) # -| :fineWith(:Joe,[:ChronicObstructivePumonaryDisease],) # -| rpo:mu([:Joe,:ChronicObstructivePumonaryDisease],0.001,) # -| builtin(true) # -| builtin(math:lessThan(0.001,0.01,_6409)) # -| rdf:type([:ChronicObstructivePumonaryDisease],rdf:List,) # -| builtin(rdf:rest([:SevereAsthma,:ChronicObstructivePumonaryDisease],[:ChronicObstructivePumonaryDisease],_6430)) # -| eulerpath(rdf:type([:SevereAsthma,:ChronicObstructivePumonaryDisease],rdf:List,)) # -| builtin(rdf:first([:ChronicObstructivePumonaryDisease],:ChronicObstructivePumonaryDisease,_6455)) # -| builtin(rdf:rest([:ChronicObstructivePumonaryDisease],[],_6463)) #1 [rdf:type([:ChronicObstructivePumonaryDisease],rdf:List),rpo:mu([:Joe,:ChronicObstructivePumonaryDisease],0.001),:fineWith(:Joe,[:ChronicObstructivePumonaryDisease]),rdf:type([:SevereAsthma,:ChronicObstructivePumonaryDisease],rdf:List),rpo:mu([:Joe,:SevereAsthma],0.001),:fineWith(:Joe,[:SevereAsthma,:ChronicObstructivePumonaryDisease]),:excludedFor(:betaBlocker,[:SevereAsthma,:ChronicObstructivePumonaryDisease]),:prescribedFor(:betaBlocker,:AcuteMyocardialInfarction),rpo:mu([:Joe,:AcuteMyocardialInfarction],0.9),:isPrescribed(:Joe,:betaBlocker)] #-| :isPrescribed(:Joe,:aspirinLowDose,) # -| rpo:mu([:Joe,:AcuteMyocardialInfarction],0.9,) # -| builtin(true) # -| builtin(math:greaterThan(0.9,0.7,_6289)) # -| :prescribedFor(:aspirinLowDose,:AcuteMyocardialInfarction,) # -| builtin(true) # -| :excludedFor(:aspirinLowDose,[:ActivePepticUlcerDisease,:AllergyForAspirin],) # -| builtin(true) # -| :fineWith(:Joe,[:ActivePepticUlcerDisease,:AllergyForAspirin],) # -| rpo:mu([:Joe,:ActivePepticUlcerDisease],0.006,) # -| builtin(true) # -| builtin(math:lessThan(0.006,0.01,_6353)) # -| rdf:type([:ActivePepticUlcerDisease,:AllergyForAspirin],rdf:List,) # -| :excludedFor(:aspirinHighDose,[:ActivePepticUlcerDisease,:AllergyForAspirin],) # -| builtin(true) # -| builtin(rdf:first([:ActivePepticUlcerDisease,:AllergyForAspirin],:ActivePepticUlcerDisease,_6389)) # -| builtin(rdf:rest([:ActivePepticUlcerDisease,:AllergyForAspirin],[:AllergyForAspirin],_6402)) # -| :fineWith(:Joe,[:AllergyForAspirin],) # -| rpo:mu([:Joe,:AllergyForAspirin],0.001,) # -| builtin(true) # -| builtin(math:lessThan(0.001,0.01,_6442)) # -| rdf:type([:AllergyForAspirin],rdf:List,) # -| builtin(rdf:rest([:ActivePepticUlcerDisease,:AllergyForAspirin],[:AllergyForAspirin],_6463)) # -| eulerpath(rdf:type([:ActivePepticUlcerDisease,:AllergyForAspirin],rdf:List,)) # -| builtin(rdf:first([:AllergyForAspirin],:AllergyForAspirin,_6488)) # -| builtin(rdf:rest([:AllergyForAspirin],[],_6496)) #-| eulerpath(:isPrescribed(:Joe,:aspirinLowDose,)) #1 [rdf:type([:AllergyForAspirin],rdf:List),rpo:mu([:Joe,:AllergyForAspirin],0.001),:fineWith(:Joe,[:AllergyForAspirin]),:excludedFor(:aspirinHighDose,[:ActivePepticUlcerDisease,:AllergyForAspirin]),rdf:type([:ActivePepticUlcerDisease,:AllergyForAspirin],rdf:List),rpo:mu([:Joe,:ActivePepticUlcerDisease],0.006),:fineWith(:Joe,[:ActivePepticUlcerDisease,:AllergyForAspirin]),:excludedFor(:aspirinLowDose,[:ActivePepticUlcerDisease,:AllergyForAspirin]),:prescribedFor(:aspirinLowDose,:AcuteMyocardialInfarction),rpo:mu([:Joe,:AcuteMyocardialInfarction],0.9),:isPrescribed(:Joe,:aspirinLowDose)] #-| :isPrescribed(:Joe,:betaBlocker,) # -| rpo:mu([:Joe,:AcuteMyocardialInfarction],0.9,) # -| builtin(true) # -| builtin(math:greaterThan(0.9,0.7,_6277)) # -| :prescribedFor(:betaBlocker,:AcuteMyocardialInfarction,) # -| builtin(true) # -| :excludedFor(:betaBlocker,[:SevereAsthma,:ChronicObstructivePumonaryDisease],) # -| builtin(true) # -| :fineWith(:Joe,[:SevereAsthma,:ChronicObstructivePumonaryDisease],) # -| rpo:mu([:Joe,:SevereAsthma],0.001,) # -| builtin(true) # -| builtin(math:lessThan(0.001,0.01,_6341)) # -| rdf:type([:SevereAsthma,:ChronicObstructivePumonaryDisease],rdf:List,) # -| eulerpath(:excludedFor(:betaBlocker,[:SevereAsthma,:ChronicObstructivePumonaryDisease],)) # -| builtin(rdf:first([:SevereAsthma,:ChronicObstructivePumonaryDisease],:SevereAsthma,_6374)) # -| builtin(rdf:rest([:SevereAsthma,:ChronicObstructivePumonaryDisease],[:ChronicObstructivePumonaryDisease],_6387)) # -| :fineWith(:Joe,[:ChronicObstructivePumonaryDisease],) # -| rpo:mu([:Joe,:ChronicObstructivePumonaryDisease],0.001,) # -| builtin(true) # -| builtin(math:lessThan(0.001,0.01,_6427)) # -| rdf:type([:ChronicObstructivePumonaryDisease],rdf:List,) # -| builtin(rdf:rest([:SevereAsthma,:ChronicObstructivePumonaryDisease],[:ChronicObstructivePumonaryDisease],_6448)) # -| eulerpath(rdf:type([:SevereAsthma,:ChronicObstructivePumonaryDisease],rdf:List,)) # -| builtin(rdf:first([:ChronicObstructivePumonaryDisease],:ChronicObstructivePumonaryDisease,_6473)) # -| builtin(rdf:rest([:ChronicObstructivePumonaryDisease],[],_6481)) #-| eulerpath(:isPrescribed(:Joe,:betaBlocker,)) #1 [rdf:type([:ChronicObstructivePumonaryDisease],rdf:List),rpo:mu([:Joe,:ChronicObstructivePumonaryDisease],0.001),:fineWith(:Joe,[:ChronicObstructivePumonaryDisease]),rdf:type([:SevereAsthma,:ChronicObstructivePumonaryDisease],rdf:List),rpo:mu([:Joe,:SevereAsthma],0.001),:fineWith(:Joe,[:SevereAsthma,:ChronicObstructivePumonaryDisease]),:excludedFor(:betaBlocker,[:SevereAsthma,:ChronicObstructivePumonaryDisease]),:prescribedFor(:betaBlocker,:AcuteMyocardialInfarction),rpo:mu([:Joe,:AcuteMyocardialInfarction],0.9),:isPrescribed(:Joe,:betaBlocker)] :isPrescribed(:Joe,:aspirinLowDose). :isPrescribed(:Joe,:betaBlocker). #ENDS 24 msec. #Processed by Id: euler.yap,v 1.178 2007/05/02 22:56:22 josd Exp @prefix str: . @prefix var: . @prefix q: . @prefix list: . @prefix e: . @prefix fn: . @prefix xsd: . @prefix : . @prefix time: . @prefix log: . @prefix rdfs: . @prefix n3: . @prefix math: . @prefix owl: . @prefix r: . @prefix rdf: . #-| rdf:type(:meas47,:Measurement,) # -| builtin(true) #-| rdf:type(:meas47,:LLDAlarm,) # -| eulerpath(rdf:type(:meas47,:Measurement,)) # -| :dCm(:meas47,-1.9082339805375,) # -| eulerpath(rdf:type(:meas47,:Measurement,)) # -| :d53Cm(:meas47,21.5489004646173,) # -| eulerpath(rdf:type(:meas47,:Measurement,)) # -| :ssd53Cm2(:meas47,464.355111233982,) # -| eulerpath(rdf:type(:meas47,:Measurement,)) # -| :sdx53Cm2(:meas47,1.82745620436193,) # -| eulerpath(rdf:type(:meas47,:Measurement,)) # -| :dx53Cm(:meas47,-1.35183438496064,) # -| eulerpath(rdf:type(:meas47,:Measurement,)) # -| :p5xCm(:meas47,2.24816561503936,) # -| eulerpath(rdf:type(:meas47,:Measurement,)) # -| :ddy13Cm(:meas47,-35.9075844155844,) # -| eulerpath(rdf:type(:meas47,:Measurement,)) # -| :dd13Cm(:meas47,-57.9075844155844,) # -| eulerpath(rdf:type(:meas47,:Measurement,)) # -| :pL1x1Cm(:meas47,-0.634857142857143,) # -| eulerpath(rdf:type(:meas47,:Measurement,)) # -| :cL1(:meas47,-0.0628571428571429,) # -| eulerpath(rdf:type(:meas47,:Measurement,)) # -| :dy12Cm(:meas47,2.2,) # -| eulerpath(rdf:type(:meas47,:Measurement,)) # -| :p1yCm(:meas47,7.8,) # -| builtin(true) # -| :p2yCm(:meas47,5.6,) # -| builtin(true) # -| builtin(math:difference([7.8,5.6],2.2,_7826)) # -| :dx12Cm(:meas47,-35.0,) # -| eulerpath(rdf:type(:meas47,:Measurement,)) # -| :p1xCm(:meas47,10.1,) # -| builtin(true) # -| :p2xCm(:meas47,45.1,) # -| builtin(true) # -| builtin(math:difference([10.1,45.1],-35.0,_7879)) # -| builtin(math:quotient([2.2,-35.0],-0.0628571428571429,_7889)) # -| eulerpath(:p1xCm(:meas47,10.1,)) # -| builtin(math:product([-0.0628571428571429,10.1],-0.634857142857143,_7908)) # -| :pL3x3Cm(:meas47,57.2727272727273,) # -| eulerpath(rdf:type(:meas47,:Measurement,)) # -| :cL3(:meas47,15.9090909090909,) # -| eulerpath(rdf:type(:meas47,:Measurement,)) # -| :dL3m(:meas47,-15.9090909090909,) # -| eulerpath(rdf:type(:meas47,:Measurement,)) # -| eulerpath(:cL1(:meas47,-0.0628571428571429,)) # -| builtin(math:quotient([1,-0.0628571428571429],-15.9090909090909,_7984)) # -| builtin(math:difference([0,-15.9090909090909],15.9090909090909,_7994)) # -| :p3xCm(:meas47,3.6,) # -| builtin(true) # -| builtin(math:product([15.9090909090909,3.6],57.2727272727273,_8016)) # -| builtin(math:difference([-0.634857142857143,57.2727272727273],-57.9075844155844,_8026)) # -| :dy13Cm(:meas47,-22.0,) # -| eulerpath(rdf:type(:meas47,:Measurement,)) # -| eulerpath(:p1yCm(:meas47,7.8,)) # -| :p3yCm(:meas47,29.8,) # -| builtin(true) # -| builtin(math:difference([7.8,29.8],-22.0,_8076)) # -| builtin(math:difference([-57.9075844155844,-22.0],-35.9075844155844,_8086)) # -| :ddL13(:meas47,-15.9719480519481,) # -| eulerpath(rdf:type(:meas47,:Measurement,)) # -| eulerpath(:cL1(:meas47,-0.0628571428571429,)) # -| eulerpath(:cL3(:meas47,15.9090909090909,)) # -| builtin(math:difference([-0.0628571428571429,15.9090909090909],-15.9719480519481,_8133)) # -| builtin(math:quotient([-35.9075844155844,-15.9719480519481],2.24816561503936,_8143)) # -| eulerpath(:p3xCm(:meas47,3.6,)) # -| builtin(math:difference([2.24816561503936,3.6],-1.35183438496064,_8162)) # -| builtin(math:exponentiation([-1.35183438496064,2],1.82745620436193,_8172)) # -| :sdy53Cm2(:meas47,462.52765502962,) # -| eulerpath(rdf:type(:meas47,:Measurement,)) # -| :dy53Cm(:meas47,-21.5064561243739,) # -| eulerpath(rdf:type(:meas47,:Measurement,)) # -| :p5yCm(:meas47,8.2935438756261,) # -| eulerpath(rdf:type(:meas47,:Measurement,)) # -| :pL1dx51Cm(:meas47,0.493543875626098,) # -| eulerpath(rdf:type(:meas47,:Measurement,)) # -| eulerpath(:cL1(:meas47,-0.0628571428571429,)) # -| :dx51Cm(:meas47,-7.85183438496064,) # -| eulerpath(rdf:type(:meas47,:Measurement,)) # -| eulerpath(:p5xCm(:meas47,2.24816561503936,)) # -| eulerpath(:p1xCm(:meas47,10.1,)) # -| builtin(math:difference([2.24816561503936,10.1],-7.85183438496064,_8304)) # -| builtin(math:product([-0.0628571428571429,-7.85183438496064],0.493543875626098,_8314)) # -| eulerpath(:p1yCm(:meas47,7.8,)) # -| builtin(math:sum([0.493543875626098,7.8],8.2935438756261,_8333)) # -| eulerpath(:p3yCm(:meas47,29.8,)) # -| builtin(math:difference([8.2935438756261,29.8],-21.5064561243739,_8352)) # -| builtin(math:exponentiation([-21.5064561243739,2],462.52765502962,_8362)) # -| builtin(math:sum([1.82745620436193,462.52765502962],464.355111233982,_8372)) # -| builtin(math:exponentiation([464.355111233982,0.5],21.5489004646173,_8382)) # -| :d64Cm(:meas47,23.4571344451548,) # -| eulerpath(rdf:type(:meas47,:Measurement,)) # -| :ssd64Cm2(:meas47,550.237156378065,) # -| eulerpath(rdf:type(:meas47,:Measurement,)) # -| :sdx64Cm2(:meas47,2.1654425265643,) # -| eulerpath(rdf:type(:meas47,:Measurement,)) # -| :dx64Cm(:meas47,-1.47154426592077,) # -| eulerpath(rdf:type(:meas47,:Measurement,)) # -| :p6xCm(:meas47,53.2284557340792,) # -| eulerpath(rdf:type(:meas47,:Measurement,)) # -| :ddy24Cm(:meas47,-850.16212987013,) # -| eulerpath(rdf:type(:meas47,:Measurement,)) # -| :dd24Cm(:meas47,-873.06212987013,) # -| eulerpath(rdf:type(:meas47,:Measurement,)) # -| :pL1x2Cm(:meas47,-2.83485714285714,) # -| eulerpath(rdf:type(:meas47,:Measurement,)) # -| eulerpath(:cL1(:meas47,-0.0628571428571429,)) # -| eulerpath(:p2xCm(:meas47,45.1,)) # -| builtin(math:product([-0.0628571428571429,45.1],-2.83485714285714,_8562)) # -| :pL3x4Cm(:meas47,870.227272727273,) # -| eulerpath(rdf:type(:meas47,:Measurement,)) # -| eulerpath(:cL3(:meas47,15.9090909090909,)) # -| :p4xCm(:meas47,54.7,) # -| builtin(true) # -| builtin(math:product([15.9090909090909,54.7],870.227272727273,_8612)) # -| builtin(math:difference([-2.83485714285714,870.227272727273],-873.06212987013,_8622)) # -| :dy24Cm(:meas47,-22.9,) # -| eulerpath(rdf:type(:meas47,:Measurement,)) # -| eulerpath(:p2yCm(:meas47,5.6,)) # -| :p4yCm(:meas47,28.5,) # -| builtin(true) # -| builtin(math:difference([5.6,28.5],-22.9,_8672)) # -| builtin(math:difference([-873.06212987013,-22.9],-850.16212987013,_8682)) # -| eulerpath(:ddL13(:meas47,-15.9719480519481,)) # -| builtin(math:quotient([-850.16212987013,-15.9719480519481],53.2284557340792,_8701)) # -| eulerpath(:p4xCm(:meas47,54.7,)) # -| builtin(math:difference([53.2284557340792,54.7],-1.47154426592077,_8720)) # -| builtin(math:exponentiation([-1.47154426592077,2],2.1654425265643,_8730)) # -| :sdy64Cm2(:meas47,548.071713851501,) # -| eulerpath(rdf:type(:meas47,:Measurement,)) # -| :dy64Cm(:meas47,-23.410931503285,) # -| eulerpath(rdf:type(:meas47,:Measurement,)) # -| :p6yCm(:meas47,5.08906849671502,) # -| eulerpath(rdf:type(:meas47,:Measurement,)) # -| :pL1dx62Cm(:meas47,-0.51093150328498,) # -| eulerpath(rdf:type(:meas47,:Measurement,)) # -| eulerpath(:cL1(:meas47,-0.0628571428571429,)) # -| :dx62Cm(:meas47,8.12845573407923,) # -| eulerpath(rdf:type(:meas47,:Measurement,)) # -| eulerpath(:p6xCm(:meas47,53.2284557340792,)) # -| eulerpath(:p2xCm(:meas47,45.1,)) # -| builtin(math:difference([53.2284557340792,45.1],8.12845573407923,_8862)) # -| builtin(math:product([-0.0628571428571429,8.12845573407923],-0.51093150328498,_8872)) # -| eulerpath(:p2yCm(:meas47,5.6,)) # -| builtin(math:sum([-0.51093150328498,5.6],5.08906849671502,_8891)) # -| eulerpath(:p4yCm(:meas47,28.5,)) # -| builtin(math:difference([5.08906849671502,28.5],-23.410931503285,_8910)) # -| builtin(math:exponentiation([-23.410931503285,2],548.071713851501,_8920)) # -| builtin(math:sum([2.1654425265643,548.071713851501],550.237156378065,_8930)) # -| builtin(math:exponentiation([550.237156378065,0.5],23.4571344451548,_8940)) # -| builtin(math:difference([21.5489004646173,23.4571344451548],-1.9082339805375,_8950)) # -| builtin(math:lessThan(-1.9082339805375,-1.25,_8960)) #1 [:dx62Cm(:meas47,8.12845573407923),:pL1dx62Cm(:meas47,-0.51093150328498),:p6yCm(:meas47,5.08906849671502),:dy64Cm(:meas47,-23.410931503285),:sdy64Cm2(:meas47,548.071713851501),:p4yCm(:meas47,28.5),:dy24Cm(:meas47,-22.9),:p4xCm(:meas47,54.7),:pL3x4Cm(:meas47,870.227272727273),:pL1x2Cm(:meas47,-2.83485714285714),:dd24Cm(:meas47,-873.06212987013),:ddy24Cm(:meas47,-850.16212987013),:p6xCm(:meas47,53.2284557340792),:dx64Cm(:meas47,-1.47154426592077),:sdx64Cm2(:meas47,2.1654425265643),:ssd64Cm2(:meas47,550.237156378065),:d64Cm(:meas47,23.4571344451548),:dx51Cm(:meas47,-7.85183438496064),:pL1dx51Cm(:meas47,0.493543875626098),:p5yCm(:meas47,8.2935438756261),:dy53Cm(:meas47,-21.5064561243739),:sdy53Cm2(:meas47,462.52765502962),:ddL13(:meas47,-15.9719480519481),:p3yCm(:meas47,29.8),:dy13Cm(:meas47,-22.0),:p3xCm(:meas47,3.6),:dL3m(:meas47,-15.9090909090909),:cL3(:meas47,15.9090909090909),:pL3x3Cm(:meas47,57.2727272727273),:p2xCm(:meas47,45.1),:p1xCm(:meas47,10.1),:dx12Cm(:meas47,-35.0),:p2yCm(:meas47,5.6),:p1yCm(:meas47,7.8),:dy12Cm(:meas47,2.2),:cL1(:meas47,-0.0628571428571429),:pL1x1Cm(:meas47,-0.634857142857143),:dd13Cm(:meas47,-57.9075844155844),:ddy13Cm(:meas47,-35.9075844155844),:p5xCm(:meas47,2.24816561503936),:dx53Cm(:meas47,-1.35183438496064),:sdx53Cm2(:meas47,1.82745620436193),:ssd53Cm2(:meas47,464.355111233982),:d53Cm(:meas47,21.5489004646173),:dCm(:meas47,-1.9082339805375),rdf:type(:meas47,:LLDAlarm),rdf:type(:meas47,:Measurement)] #-| rdf:type(:meas47,:Measurement,) # -| builtin(true) #-| rdf:type(:meas47,:LLDAlarm,) # -| eulerpath(rdf:type(:meas47,:Measurement,)) # -| :dCm(:meas47,-1.9082339805375,) # -| eulerpath(rdf:type(:meas47,:Measurement,)) # -| :d53Cm(:meas47,21.5489004646173,) # -| eulerpath(rdf:type(:meas47,:Measurement,)) # -| :ssd53Cm2(:meas47,464.355111233982,) # -| eulerpath(rdf:type(:meas47,:Measurement,)) # -| :sdx53Cm2(:meas47,1.82745620436193,) # -| eulerpath(rdf:type(:meas47,:Measurement,)) # -| :dx53Cm(:meas47,-1.35183438496064,) # -| eulerpath(rdf:type(:meas47,:Measurement,)) # -| :p5xCm(:meas47,2.24816561503936,) # -| eulerpath(rdf:type(:meas47,:Measurement,)) # -| :ddy13Cm(:meas47,-35.9075844155844,) # -| eulerpath(rdf:type(:meas47,:Measurement,)) # -| :dd13Cm(:meas47,-57.9075844155844,) # -| eulerpath(rdf:type(:meas47,:Measurement,)) # -| :pL1x1Cm(:meas47,-0.634857142857143,) # -| eulerpath(rdf:type(:meas47,:Measurement,)) # -| :cL1(:meas47,-0.0628571428571429,) # -| eulerpath(rdf:type(:meas47,:Measurement,)) # -| :dy12Cm(:meas47,2.2,) # -| eulerpath(rdf:type(:meas47,:Measurement,)) # -| :p1yCm(:meas47,7.8,) # -| builtin(true) # -| :p2yCm(:meas47,5.6,) # -| builtin(true) # -| builtin(math:difference([7.8,5.6],2.2,_7838)) # -| :dx12Cm(:meas47,-35.0,) # -| eulerpath(rdf:type(:meas47,:Measurement,)) # -| :p1xCm(:meas47,10.1,) # -| builtin(true) # -| :p2xCm(:meas47,45.1,) # -| builtin(true) # -| builtin(math:difference([10.1,45.1],-35.0,_7891)) # -| builtin(math:quotient([2.2,-35.0],-0.0628571428571429,_7901)) # -| eulerpath(:p1xCm(:meas47,10.1,)) # -| builtin(math:product([-0.0628571428571429,10.1],-0.634857142857143,_7920)) # -| :pL3x3Cm(:meas47,57.2727272727273,) # -| eulerpath(rdf:type(:meas47,:Measurement,)) # -| :cL3(:meas47,15.9090909090909,) # -| eulerpath(rdf:type(:meas47,:Measurement,)) # -| :dL3m(:meas47,-15.9090909090909,) # -| eulerpath(rdf:type(:meas47,:Measurement,)) # -| eulerpath(:cL1(:meas47,-0.0628571428571429,)) # -| builtin(math:quotient([1,-0.0628571428571429],-15.9090909090909,_7996)) # -| builtin(math:difference([0,-15.9090909090909],15.9090909090909,_8006)) # -| :p3xCm(:meas47,3.6,) # -| builtin(true) # -| builtin(math:product([15.9090909090909,3.6],57.2727272727273,_8028)) # -| builtin(math:difference([-0.634857142857143,57.2727272727273],-57.9075844155844,_8038)) # -| :dy13Cm(:meas47,-22.0,) # -| eulerpath(rdf:type(:meas47,:Measurement,)) # -| eulerpath(:p1yCm(:meas47,7.8,)) # -| :p3yCm(:meas47,29.8,) # -| builtin(true) # -| builtin(math:difference([7.8,29.8],-22.0,_8088)) # -| builtin(math:difference([-57.9075844155844,-22.0],-35.9075844155844,_8098)) # -| :ddL13(:meas47,-15.9719480519481,) # -| eulerpath(rdf:type(:meas47,:Measurement,)) # -| eulerpath(:cL1(:meas47,-0.0628571428571429,)) # -| eulerpath(:cL3(:meas47,15.9090909090909,)) # -| builtin(math:difference([-0.0628571428571429,15.9090909090909],-15.9719480519481,_8145)) # -| builtin(math:quotient([-35.9075844155844,-15.9719480519481],2.24816561503936,_8155)) # -| eulerpath(:p3xCm(:meas47,3.6,)) # -| builtin(math:difference([2.24816561503936,3.6],-1.35183438496064,_8174)) # -| builtin(math:exponentiation([-1.35183438496064,2],1.82745620436193,_8184)) # -| :sdy53Cm2(:meas47,462.52765502962,) # -| eulerpath(rdf:type(:meas47,:Measurement,)) # -| :dy53Cm(:meas47,-21.5064561243739,) # -| eulerpath(rdf:type(:meas47,:Measurement,)) # -| :p5yCm(:meas47,8.2935438756261,) # -| eulerpath(rdf:type(:meas47,:Measurement,)) # -| :pL1dx51Cm(:meas47,0.493543875626098,) # -| eulerpath(rdf:type(:meas47,:Measurement,)) # -| eulerpath(:cL1(:meas47,-0.0628571428571429,)) # -| :dx51Cm(:meas47,-7.85183438496064,) # -| eulerpath(rdf:type(:meas47,:Measurement,)) # -| eulerpath(:p5xCm(:meas47,2.24816561503936,)) # -| eulerpath(:p1xCm(:meas47,10.1,)) # -| builtin(math:difference([2.24816561503936,10.1],-7.85183438496064,_8316)) # -| builtin(math:product([-0.0628571428571429,-7.85183438496064],0.493543875626098,_8326)) # -| eulerpath(:p1yCm(:meas47,7.8,)) # -| builtin(math:sum([0.493543875626098,7.8],8.2935438756261,_8345)) # -| eulerpath(:p3yCm(:meas47,29.8,)) # -| builtin(math:difference([8.2935438756261,29.8],-21.5064561243739,_8364)) # -| builtin(math:exponentiation([-21.5064561243739,2],462.52765502962,_8374)) # -| builtin(math:sum([1.82745620436193,462.52765502962],464.355111233982,_8384)) # -| builtin(math:exponentiation([464.355111233982,0.5],21.5489004646173,_8394)) # -| :d64Cm(:meas47,23.4571344451548,) # -| eulerpath(rdf:type(:meas47,:Measurement,)) # -| :ssd64Cm2(:meas47,550.237156378065,) # -| eulerpath(rdf:type(:meas47,:Measurement,)) # -| :sdx64Cm2(:meas47,2.1654425265643,) # -| eulerpath(rdf:type(:meas47,:Measurement,)) # -| :dx64Cm(:meas47,-1.47154426592077,) # -| eulerpath(rdf:type(:meas47,:Measurement,)) # -| :p6xCm(:meas47,53.2284557340792,) # -| eulerpath(rdf:type(:meas47,:Measurement,)) # -| :ddy24Cm(:meas47,-850.16212987013,) # -| eulerpath(rdf:type(:meas47,:Measurement,)) # -| :dd24Cm(:meas47,-873.06212987013,) # -| eulerpath(rdf:type(:meas47,:Measurement,)) # -| :pL1x2Cm(:meas47,-2.83485714285714,) # -| eulerpath(rdf:type(:meas47,:Measurement,)) # -| eulerpath(:cL1(:meas47,-0.0628571428571429,)) # -| eulerpath(:p2xCm(:meas47,45.1,)) # -| builtin(math:product([-0.0628571428571429,45.1],-2.83485714285714,_8574)) # -| :pL3x4Cm(:meas47,870.227272727273,) # -| eulerpath(rdf:type(:meas47,:Measurement,)) # -| eulerpath(:cL3(:meas47,15.9090909090909,)) # -| :p4xCm(:meas47,54.7,) # -| builtin(true) # -| builtin(math:product([15.9090909090909,54.7],870.227272727273,_8624)) # -| builtin(math:difference([-2.83485714285714,870.227272727273],-873.06212987013,_8634)) # -| :dy24Cm(:meas47,-22.9,) # -| eulerpath(rdf:type(:meas47,:Measurement,)) # -| eulerpath(:p2yCm(:meas47,5.6,)) # -| :p4yCm(:meas47,28.5,) # -| builtin(true) # -| builtin(math:difference([5.6,28.5],-22.9,_8684)) # -| builtin(math:difference([-873.06212987013,-22.9],-850.16212987013,_8694)) # -| eulerpath(:ddL13(:meas47,-15.9719480519481,)) # -| builtin(math:quotient([-850.16212987013,-15.9719480519481],53.2284557340792,_8713)) # -| eulerpath(:p4xCm(:meas47,54.7,)) # -| builtin(math:difference([53.2284557340792,54.7],-1.47154426592077,_8732)) # -| builtin(math:exponentiation([-1.47154426592077,2],2.1654425265643,_8742)) # -| :sdy64Cm2(:meas47,548.071713851501,) # -| eulerpath(rdf:type(:meas47,:Measurement,)) # -| :dy64Cm(:meas47,-23.410931503285,) # -| eulerpath(rdf:type(:meas47,:Measurement,)) # -| :p6yCm(:meas47,5.08906849671502,) # -| eulerpath(rdf:type(:meas47,:Measurement,)) # -| :pL1dx62Cm(:meas47,-0.51093150328498,) # -| eulerpath(rdf:type(:meas47,:Measurement,)) # -| eulerpath(:cL1(:meas47,-0.0628571428571429,)) # -| :dx62Cm(:meas47,8.12845573407923,) # -| eulerpath(rdf:type(:meas47,:Measurement,)) # -| eulerpath(:p6xCm(:meas47,53.2284557340792,)) # -| eulerpath(:p2xCm(:meas47,45.1,)) # -| builtin(math:difference([53.2284557340792,45.1],8.12845573407923,_8874)) # -| builtin(math:product([-0.0628571428571429,8.12845573407923],-0.51093150328498,_8884)) # -| eulerpath(:p2yCm(:meas47,5.6,)) # -| builtin(math:sum([-0.51093150328498,5.6],5.08906849671502,_8903)) # -| eulerpath(:p4yCm(:meas47,28.5,)) # -| builtin(math:difference([5.08906849671502,28.5],-23.410931503285,_8922)) # -| builtin(math:exponentiation([-23.410931503285,2],548.071713851501,_8932)) # -| builtin(math:sum([2.1654425265643,548.071713851501],550.237156378065,_8942)) # -| builtin(math:exponentiation([550.237156378065,0.5],23.4571344451548,_8952)) # -| builtin(math:difference([21.5489004646173,23.4571344451548],-1.9082339805375,_8962)) # -| builtin(math:lessThan(-1.9082339805375,-1.25,_8972)) #-| eulerpath(rdf:type(:meas47,:LLDAlarm,)) #1 [:dx62Cm(:meas47,8.12845573407923),:pL1dx62Cm(:meas47,-0.51093150328498),:p6yCm(:meas47,5.08906849671502),:dy64Cm(:meas47,-23.410931503285),:sdy64Cm2(:meas47,548.071713851501),:p4yCm(:meas47,28.5),:dy24Cm(:meas47,-22.9),:p4xCm(:meas47,54.7),:pL3x4Cm(:meas47,870.227272727273),:pL1x2Cm(:meas47,-2.83485714285714),:dd24Cm(:meas47,-873.06212987013),:ddy24Cm(:meas47,-850.16212987013),:p6xCm(:meas47,53.2284557340792),:dx64Cm(:meas47,-1.47154426592077),:sdx64Cm2(:meas47,2.1654425265643),:ssd64Cm2(:meas47,550.237156378065),:d64Cm(:meas47,23.4571344451548),:dx51Cm(:meas47,-7.85183438496064),:pL1dx51Cm(:meas47,0.493543875626098),:p5yCm(:meas47,8.2935438756261),:dy53Cm(:meas47,-21.5064561243739),:sdy53Cm2(:meas47,462.52765502962),:ddL13(:meas47,-15.9719480519481),:p3yCm(:meas47,29.8),:dy13Cm(:meas47,-22.0),:p3xCm(:meas47,3.6),:dL3m(:meas47,-15.9090909090909),:cL3(:meas47,15.9090909090909),:pL3x3Cm(:meas47,57.2727272727273),:p2xCm(:meas47,45.1),:p1xCm(:meas47,10.1),:dx12Cm(:meas47,-35.0),:p2yCm(:meas47,5.6),:p1yCm(:meas47,7.8),:dy12Cm(:meas47,2.2),:cL1(:meas47,-0.0628571428571429),:pL1x1Cm(:meas47,-0.634857142857143),:dd13Cm(:meas47,-57.9075844155844),:ddy13Cm(:meas47,-35.9075844155844),:p5xCm(:meas47,2.24816561503936),:dx53Cm(:meas47,-1.35183438496064),:sdx53Cm2(:meas47,1.82745620436193),:ssd53Cm2(:meas47,464.355111233982),:d53Cm(:meas47,21.5489004646173),:dCm(:meas47,-1.9082339805375),rdf:type(:meas47,:LLDAlarm),rdf:type(:meas47,:Measurement)] rdf:type(:meas47,:LLDAlarm). #ENDS 32 msec. #Processed by Id: euler.yap,v 1.178 2007/05/02 22:56:22 josd Exp @prefix str: . @prefix var: . @prefix q: . @prefix list: . @prefix e: . @prefix fn: . @prefix xsd: . @prefix : . @prefix time: . @prefix log: . @prefix rdfs: . @prefix n3: . @prefix math: . @prefix owl: . @prefix r: . @prefix rdf: . #-| e:boolean(:Coma,e:F,) # -| e:boolean(:SerumCalcium,e:T,) # -| e:boolean(:MetastaticCancer,e:T,) # -| builtin(e:true(var:_10_,0.2,_6079)) # -| builtin(e:true(var:_10_,0.8,_6085)) # -| e:boolean(:BrainTumor,e:T,) # -| eulerpath(e:boolean(:MetastaticCancer,e:T,)) # -| builtin(e:true(var:_10_,0.2,_6110)) # -| builtin(e:true(var:_10_,0.2,_6116)) #-| e:boolean(:HeadAche,e:T,) # -| eulerpath(e:boolean(:BrainTumor,e:T,)) # -| builtin(e:true(var:_10_,0.8,_6138)) #0.00512 [e:boolean(:HeadAche,e:T),e:boolean(:BrainTumor,e:T),e:boolean(:MetastaticCancer,e:T),e:boolean(:SerumCalcium,e:T),e:boolean(:Coma,e:F)] #-| e:boolean(:Coma,e:F,) # -| e:boolean(:SerumCalcium,e:T,) # -| e:boolean(:MetastaticCancer,e:F,) # -| builtin(e:true(var:_10_,0.8,_6082)) # -| builtin(e:true(var:_10_,0.2,_6088)) # -| e:boolean(:BrainTumor,e:T,) # -| eulerpath(e:boolean(:MetastaticCancer,e:F,)) # -| builtin(e:true(var:_10_,0.05,_6113)) # -| builtin(e:true(var:_10_,0.2,_6119)) #-| e:boolean(:HeadAche,e:T,) # -| eulerpath(e:boolean(:BrainTumor,e:T,)) # -| builtin(e:true(var:_10_,0.8,_6141)) #0.00128 [e:boolean(:HeadAche,e:T),e:boolean(:BrainTumor,e:T),e:boolean(:MetastaticCancer,e:F),e:boolean(:SerumCalcium,e:T),e:boolean(:Coma,e:F)] #-| e:boolean(:Coma,e:F,) # -| e:boolean(:SerumCalcium,e:T,) # -| e:boolean(:MetastaticCancer,e:T,) # -| builtin(e:true(var:_10_,0.2,_6085)) # -| builtin(e:true(var:_10_,0.8,_6091)) # -| e:boolean(:BrainTumor,e:F,) # -| eulerpath(e:boolean(:MetastaticCancer,e:T,)) # -| builtin(e:true(var:_10_,0.8,_6116)) # -| builtin(e:true(var:_10_,0.2,_6122)) #-| e:boolean(:HeadAche,e:T,) # -| eulerpath(e:boolean(:BrainTumor,e:F,)) # -| builtin(e:true(var:_10_,0.6,_6144)) #0.01536 [e:boolean(:HeadAche,e:T),e:boolean(:BrainTumor,e:F),e:boolean(:MetastaticCancer,e:T),e:boolean(:SerumCalcium,e:T),e:boolean(:Coma,e:F)] #-| e:boolean(:Coma,e:F,) # -| e:boolean(:SerumCalcium,e:T,) # -| e:boolean(:MetastaticCancer,e:F,) # -| builtin(e:true(var:_10_,0.8,_6088)) # -| builtin(e:true(var:_10_,0.2,_6094)) # -| e:boolean(:BrainTumor,e:F,) # -| eulerpath(e:boolean(:MetastaticCancer,e:F,)) # -| builtin(e:true(var:_10_,0.95,_6119)) # -| builtin(e:true(var:_10_,0.2,_6125)) #-| e:boolean(:HeadAche,e:T,) # -| eulerpath(e:boolean(:BrainTumor,e:F,)) # -| builtin(e:true(var:_10_,0.6,_6147)) #0.01824 [e:boolean(:HeadAche,e:T),e:boolean(:BrainTumor,e:F),e:boolean(:MetastaticCancer,e:F),e:boolean(:SerumCalcium,e:T),e:boolean(:Coma,e:F)] #-| e:boolean(:Coma,e:F,) # -| e:boolean(:SerumCalcium,e:F,) # -| e:boolean(:MetastaticCancer,e:T,) # -| builtin(e:true(var:_10_,0.2,_6091)) # -| builtin(e:true(var:_10_,0.2,_6097)) # -| e:boolean(:BrainTumor,e:T,) # -| eulerpath(e:boolean(:MetastaticCancer,e:T,)) # -| builtin(e:true(var:_10_,0.2,_6122)) # -| builtin(e:true(var:_10_,0.2,_6128)) #-| e:boolean(:HeadAche,e:T,) # -| eulerpath(e:boolean(:BrainTumor,e:T,)) # -| builtin(e:true(var:_10_,0.8,_6150)) #0.00128 [e:boolean(:HeadAche,e:T),e:boolean(:BrainTumor,e:T),e:boolean(:MetastaticCancer,e:T),e:boolean(:SerumCalcium,e:F),e:boolean(:Coma,e:F)] #-| e:boolean(:Coma,e:F,) # -| e:boolean(:SerumCalcium,e:F,) # -| e:boolean(:MetastaticCancer,e:F,) # -| builtin(e:true(var:_10_,0.8,_6094)) # -| builtin(e:true(var:_10_,0.8,_6100)) # -| e:boolean(:BrainTumor,e:T,) # -| eulerpath(e:boolean(:MetastaticCancer,e:F,)) # -| builtin(e:true(var:_10_,0.05,_6125)) # -| builtin(e:true(var:_10_,0.2,_6131)) #-| e:boolean(:HeadAche,e:T,) # -| eulerpath(e:boolean(:BrainTumor,e:T,)) # -| builtin(e:true(var:_10_,0.8,_6153)) #0.00512 [e:boolean(:HeadAche,e:T),e:boolean(:BrainTumor,e:T),e:boolean(:MetastaticCancer,e:F),e:boolean(:SerumCalcium,e:F),e:boolean(:Coma,e:F)] #-| e:boolean(:Coma,e:F,) # -| e:boolean(:SerumCalcium,e:F,) # -| e:boolean(:MetastaticCancer,e:T,) # -| builtin(e:true(var:_10_,0.2,_6097)) # -| builtin(e:true(var:_10_,0.2,_6103)) # -| e:boolean(:BrainTumor,e:F,) # -| eulerpath(e:boolean(:MetastaticCancer,e:T,)) # -| builtin(e:true(var:_10_,0.8,_6128)) # -| builtin(e:true(var:_10_,0.95,_6134)) #-| e:boolean(:HeadAche,e:T,) # -| eulerpath(e:boolean(:BrainTumor,e:F,)) # -| builtin(e:true(var:_10_,0.6,_6156)) #0.01824 [e:boolean(:HeadAche,e:T),e:boolean(:BrainTumor,e:F),e:boolean(:MetastaticCancer,e:T),e:boolean(:SerumCalcium,e:F),e:boolean(:Coma,e:F)] #-| e:boolean(:Coma,e:F,) # -| e:boolean(:SerumCalcium,e:F,) # -| e:boolean(:MetastaticCancer,e:F,) # -| builtin(e:true(var:_10_,0.8,_6100)) # -| builtin(e:true(var:_10_,0.8,_6106)) # -| e:boolean(:BrainTumor,e:F,) # -| eulerpath(e:boolean(:MetastaticCancer,e:F,)) # -| builtin(e:true(var:_10_,0.95,_6131)) # -| builtin(e:true(var:_10_,0.95,_6137)) #-| e:boolean(:HeadAche,e:T,) # -| eulerpath(e:boolean(:BrainTumor,e:F,)) # -| builtin(e:true(var:_10_,0.6,_6159)) #0.34656 [e:boolean(:HeadAche,e:T),e:boolean(:BrainTumor,e:F),e:boolean(:MetastaticCancer,e:F),e:boolean(:SerumCalcium,e:F),e:boolean(:Coma,e:F)] #-| e:boolean(:Coma,e:F,) # -| e:boolean(:SerumCalcium,e:T,) # -| e:boolean(:MetastaticCancer,e:T,) # -| builtin(e:true(var:_10_,0.2,_6094)) # -| builtin(e:true(var:_10_,0.8,_6100)) # -| e:boolean(:BrainTumor,e:T,) # -| eulerpath(e:boolean(:MetastaticCancer,e:T,)) # -| builtin(e:true(var:_10_,0.2,_6125)) # -| builtin(e:true(var:_10_,0.2,_6131)) #-| e:boolean(:HeadAche,e:T,) # -| eulerpath(e:boolean(:BrainTumor,e:T,)) # -| builtin(e:true(var:_10_,0.8,_6156)) #-| eulerpath(e:boolean(:MetastaticCancer,e:T,)) #0.00512 [e:boolean(:HeadAche,e:T),e:boolean(:BrainTumor,e:T),e:boolean(:MetastaticCancer,e:T),e:boolean(:SerumCalcium,e:T),e:boolean(:Coma,e:F)] #-| e:boolean(:Coma,e:F,) # -| e:boolean(:SerumCalcium,e:T,) # -| e:boolean(:MetastaticCancer,e:T,) # -| builtin(e:true(var:_10_,0.2,_6097)) # -| builtin(e:true(var:_10_,0.8,_6103)) # -| e:boolean(:BrainTumor,e:F,) # -| eulerpath(e:boolean(:MetastaticCancer,e:T,)) # -| builtin(e:true(var:_10_,0.8,_6128)) # -| builtin(e:true(var:_10_,0.2,_6134)) #-| e:boolean(:HeadAche,e:T,) # -| eulerpath(e:boolean(:BrainTumor,e:F,)) # -| builtin(e:true(var:_10_,0.6,_6159)) #-| eulerpath(e:boolean(:MetastaticCancer,e:T,)) #0.01536 [e:boolean(:HeadAche,e:T),e:boolean(:BrainTumor,e:F),e:boolean(:MetastaticCancer,e:T),e:boolean(:SerumCalcium,e:T),e:boolean(:Coma,e:F)] #-| e:boolean(:Coma,e:F,) # -| e:boolean(:SerumCalcium,e:F,) # -| e:boolean(:MetastaticCancer,e:T,) # -| builtin(e:true(var:_10_,0.2,_6100)) # -| builtin(e:true(var:_10_,0.2,_6106)) # -| e:boolean(:BrainTumor,e:T,) # -| eulerpath(e:boolean(:MetastaticCancer,e:T,)) # -| builtin(e:true(var:_10_,0.2,_6131)) # -| builtin(e:true(var:_10_,0.2,_6137)) #-| e:boolean(:HeadAche,e:T,) # -| eulerpath(e:boolean(:BrainTumor,e:T,)) # -| builtin(e:true(var:_10_,0.8,_6162)) #-| eulerpath(e:boolean(:MetastaticCancer,e:T,)) #0.00128 [e:boolean(:HeadAche,e:T),e:boolean(:BrainTumor,e:T),e:boolean(:MetastaticCancer,e:T),e:boolean(:SerumCalcium,e:F),e:boolean(:Coma,e:F)] #-| e:boolean(:Coma,e:F,) # -| e:boolean(:SerumCalcium,e:F,) # -| e:boolean(:MetastaticCancer,e:T,) # -| builtin(e:true(var:_10_,0.2,_6100)) # -| builtin(e:true(var:_10_,0.2,_6106)) # -| e:boolean(:BrainTumor,e:F,) # -| eulerpath(e:boolean(:MetastaticCancer,e:T,)) # -| builtin(e:true(var:_10_,0.8,_6131)) # -| builtin(e:true(var:_10_,0.95,_6137)) #-| e:boolean(:HeadAche,e:T,) # -| eulerpath(e:boolean(:BrainTumor,e:F,)) # -| builtin(e:true(var:_10_,0.6,_6162)) #-| eulerpath(e:boolean(:MetastaticCancer,e:T,)) #0.01824 [e:boolean(:HeadAche,e:T),e:boolean(:BrainTumor,e:F),e:boolean(:MetastaticCancer,e:T),e:boolean(:SerumCalcium,e:F),e:boolean(:Coma,e:F)] {e:boolean(:Coma,e:F). e:boolean(:HeadAche,e:T). _: e:true 0.0972762645914397} => {e:boolean(:MetastaticCancer,e:T)}. #ENDS 8 msec. #Processed by Id: euler.yap,v 1.178 2007/05/02 22:56:22 josd Exp @prefix math: . @prefix e: . @prefix list: . @prefix q: . @prefix xsd: . @prefix log: . @prefix ACR: . @prefix r: . @prefix rdfs: . @prefix fn: . @prefix time: . @prefix : . @prefix rdf: . @prefix var: . @prefix str: . @prefix owl: . @prefix UMLS: . @prefix n3: . #-| :rl-term(var:e1419808_12_,:RL432,) # -| builtin(true) #-| :axis-term(var:e1419808_12_,var:e1419863_12_,) # -| builtin(true) #-| :rl-term(var:e1419863_12_,:RL433,) # -| builtin(true) #-| :name(:RL433,"rotator cuff muscles",) # -| builtin(true) #1 [:name(:RL433,"rotator cuff muscles"),:rl-term(var:e1419863_12_,:RL433),:axis-term(var:e1419808_12_,var:e1419863_12_),:rl-term(var:e1419808_12_,:RL432)] #-| :rl-term(var:e1419808_12_,:RL432,) # -| builtin(true) #-| :axis-term(var:e1419808_12_,var:e1419908_12_,) # -| builtin(true) #-| :rl-term(var:e1419908_12_,:RL438,) # -| builtin(true) #-| :name(:RL438,"teres major muscle",) # -| builtin(true) #1 [:name(:RL438,"teres major muscle"),:rl-term(var:e1419908_12_,:RL438),:axis-term(var:e1419808_12_,var:e1419908_12_),:rl-term(var:e1419808_12_,:RL432)] #-| :rl-term(var:e1419808_12_,:RL432,) # -| builtin(true) #-| :axis-term(var:e1419808_12_,var:e1419913_12_,) # -| builtin(true) #-| :rl-term(var:e1419913_12_,:RL439,) # -| builtin(true) #-| :name(:RL439,"deltoid muscle",) # -| builtin(true) #1 [:name(:RL439,"deltoid muscle"),:rl-term(var:e1419913_12_,:RL439),:axis-term(var:e1419808_12_,var:e1419913_12_),:rl-term(var:e1419808_12_,:RL432)] #-| :rl-term(var:e1419808_12_,:RL432,) # -| builtin(true) #-| :axis-term(var:e1419808_12_,var:e1419918_12_,) # -| builtin(true) #-| :rl-term(var:e1419918_12_,:RL440,) # -| builtin(true) #-| :name(:RL440,"trapezius muscle",) # -| builtin(true) #1 [:name(:RL440,"trapezius muscle"),:rl-term(var:e1419918_12_,:RL440),:axis-term(var:e1419808_12_,var:e1419918_12_),:rl-term(var:e1419808_12_,:RL432)] #-| :rl-term(var:e1419808_12_,:RL432,) # -| builtin(true) #-| :axis-term(var:e1419808_12_,var:e1419923_12_,) # -| builtin(true) #-| :rl-term(var:e1419923_12_,:RL441,) # -| builtin(true) #-| :name(:RL441,"pectoralis major muscle",) # -| builtin(true) #1 [:name(:RL441,"pectoralis major muscle"),:rl-term(var:e1419923_12_,:RL441),:axis-term(var:e1419808_12_,var:e1419923_12_),:rl-term(var:e1419808_12_,:RL432)] #-| :rl-term(var:e1419808_12_,:RL432,) # -| builtin(true) #-| :axis-term(var:e1419808_12_,var:e1419928_12_,) # -| builtin(true) #-| :rl-term(var:e1419928_12_,:RL442,) # -| builtin(true) #-| :name(:RL442,"pectoralis minor muscle",) # -| builtin(true) #1 [:name(:RL442,"pectoralis minor muscle"),:rl-term(var:e1419928_12_,:RL442),:axis-term(var:e1419808_12_,var:e1419928_12_),:rl-term(var:e1419808_12_,:RL432)] #-| :rl-term(var:e1419808_12_,:RL432,) # -| builtin(true) #-| :axis-term(var:e1419808_12_,var:e1419863_12_,) # -| builtin(true) #-| :rl-term(var:e1419863_12_,:RL433,) # -| builtin(true) #-| :name(:RL433,"rotator cuff muscles",) # -| builtin(true) #-| eulerpath(:name(:RL433,"rotator cuff muscles",)) #1 [:name(:RL433,"rotator cuff muscles"),:rl-term(var:e1419863_12_,:RL433),:axis-term(var:e1419808_12_,var:e1419863_12_),:rl-term(var:e1419808_12_,:RL432)] #-| :rl-term(var:e1419808_12_,:RL432,) # -| builtin(true) #-| :axis-term(var:e1419808_12_,var:e1419908_12_,) # -| builtin(true) #-| :rl-term(var:e1419908_12_,:RL438,) # -| builtin(true) #-| :name(:RL438,"teres major muscle",) # -| builtin(true) #-| eulerpath(:name(:RL438,"teres major muscle",)) #1 [:name(:RL438,"teres major muscle"),:rl-term(var:e1419908_12_,:RL438),:axis-term(var:e1419808_12_,var:e1419908_12_),:rl-term(var:e1419808_12_,:RL432)] #-| :rl-term(var:e1419808_12_,:RL432,) # -| builtin(true) #-| :axis-term(var:e1419808_12_,var:e1419913_12_,) # -| builtin(true) #-| :rl-term(var:e1419913_12_,:RL439,) # -| builtin(true) #-| :name(:RL439,"deltoid muscle",) # -| builtin(true) #-| eulerpath(:name(:RL439,"deltoid muscle",)) #1 [:name(:RL439,"deltoid muscle"),:rl-term(var:e1419913_12_,:RL439),:axis-term(var:e1419808_12_,var:e1419913_12_),:rl-term(var:e1419808_12_,:RL432)] #-| :rl-term(var:e1419808_12_,:RL432,) # -| builtin(true) #-| :axis-term(var:e1419808_12_,var:e1419918_12_,) # -| builtin(true) #-| :rl-term(var:e1419918_12_,:RL440,) # -| builtin(true) #-| :name(:RL440,"trapezius muscle",) # -| builtin(true) #-| eulerpath(:name(:RL440,"trapezius muscle",)) #1 [:name(:RL440,"trapezius muscle"),:rl-term(var:e1419918_12_,:RL440),:axis-term(var:e1419808_12_,var:e1419918_12_),:rl-term(var:e1419808_12_,:RL432)] #-| :rl-term(var:e1419808_12_,:RL432,) # -| builtin(true) #-| :axis-term(var:e1419808_12_,var:e1419923_12_,) # -| builtin(true) #-| :rl-term(var:e1419923_12_,:RL441,) # -| builtin(true) #-| :name(:RL441,"pectoralis major muscle",) # -| builtin(true) #-| eulerpath(:name(:RL441,"pectoralis major muscle",)) #1 [:name(:RL441,"pectoralis major muscle"),:rl-term(var:e1419923_12_,:RL441),:axis-term(var:e1419808_12_,var:e1419923_12_),:rl-term(var:e1419808_12_,:RL432)] #-| :rl-term(var:e1419808_12_,:RL432,) # -| builtin(true) #-| :axis-term(var:e1419808_12_,var:e1419928_12_,) # -| builtin(true) #-| :rl-term(var:e1419928_12_,:RL442,) # -| builtin(true) #-| :name(:RL442,"pectoralis minor muscle",) # -| builtin(true) #-| eulerpath(:name(:RL442,"pectoralis minor muscle",)) #1 [:name(:RL442,"pectoralis minor muscle"),:rl-term(var:e1419928_12_,:RL442),:axis-term(var:e1419808_12_,var:e1419928_12_),:rl-term(var:e1419808_12_,:RL432)] :name(:RL433,"rotator cuff muscles"). :name(:RL438,"teres major muscle"). :name(:RL439,"deltoid muscle"). :name(:RL440,"trapezius muscle"). :name(:RL441,"pectoralis major muscle"). :name(:RL442,"pectoralis minor muscle"). #ENDS 4 msec.