- From: <jos.deroo@agfa.com>
- Date: Wed, 11 Apr 2007 01:57:42 +0200
- To: www-archive@w3.org
- Message-ID: <OF4144B538.CB261512-ONC12572B9.0083A04B-C12572B9.0083A069@agfa.com>
is not yet in reason.n3 proof notation but will follow once it is clear how to notate multiple proofs of same predicate.. GIVEN http://eulersharp.sourceforge.net/2004/04test/metastaticP.n3 QUERY http://eulersharp.sourceforge.net/2004/04test/metastaticQ.n3 P(MetastaticCancer | ~Coma, HeadAche) goal_rank(MetastaticCancer, ~Coma, HeadAche) = -------------------------------------------- goal_rank(~Coma, HeadAche) 0.04 = ------ 0.4112 = 0.0972762646 i.e. wget -q -O- 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 | yap -s 10000 -l ~/sfcvs/2006/02swap/euler.yap -z main. -- % Restoring file /usr/local/lib/Yap/startup YAP version Yap-5.1.2 % reconsulting /home/amdus/sfcvs/2006/02swap/euler.yap... % reconsulting /usr/local/share/Yap/lists.yap... % reconsulted /usr/local/share/Yap/lists.yap in module lists, 4 msec 18552 bytes % reconsulting /usr/local/share/Yap/pillow.pl... % including icon_address... % icon_address included in module pillow, 0 msec 240 bytes % reconsulted /usr/local/share/Yap/pillow.pl in module pillow, 40 msec 172048 bytes % reconsulting /usr/local/share/Yap/regexp.yap... % reconsulted /usr/local/share/Yap/regexp.yap in module regexp, 0 msec 4928 bytes % reconsulting /usr/local/share/Yap/charsio.yap... % reconsulted /usr/local/share/Yap/charsio.yap in module charsio, 0 msec 8672 bytes % reconsulted /home/amdus/sfcvs/2006/02swap/euler.yap in module user, 56 msec 292064 bytes nbuf=main. #Processed by Id: euler.yap,v 1.165 2007/04/10 20:48:58 josd Exp @prefix str: <http://www.w3.org/2000/10/swap/string#>. @prefix var: <http://localhost/var#>. @prefix q: <http://www.w3.org/2004/ql#>. @prefix list: <http://www.w3.org/2000/10/swap/list#>. @prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>. @prefix fn: <http://www.w3.org/2006/xpath-functions#>. @prefix xsd: <http://www.w3.org/2001/XMLSchema#>. @prefix : <http://eulersharp.sourceforge.net/2004/04test/metastatic#>. @prefix time: <http://www.w3.org/2000/10/swap/time#>. @prefix log: <http://www.w3.org/2000/10/swap/log#>. @prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>. @prefix n3: <http://www.w3.org/2004/06/rei#>. @prefix math: <http://www.w3.org/2000/10/swap/math#>. @prefix owl: <http://www.w3.org/2002/07/owl#>. @prefix r: <http://www.w3.org/2000/10/swap/reason#>. @prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>. -| e:boolean(:MetastaticCancer,e:T,<http://eulersharp.sourceforge.net/2004/04test/metastaticP.n3#uid_1111607>) -| builtin(e:true(_1800,0.2,_1802)) -| e:boolean(:Coma,e:F,<http://eulersharp.sourceforge.net/2004/04test/metastaticP.n3#uid_1111905>) -| e:boolean(:SerumCalcium,e:T,<http://eulersharp.sourceforge.net/2004/04test/metastaticP.n3#uid_1111638>) -| eulerpath(e:boolean(:MetastaticCancer,e:T,<http://eulersharp.sourceforge.net/2004/04test/metastaticP.n3#uid_1111607>)) -| builtin(e:true(_1913,0.8,_1915)) -| e:boolean(:BrainTumor,e:T,<http://eulersharp.sourceforge.net/2004/04test/metastaticP.n3#uid_1111718>) -| eulerpath(e:boolean(:MetastaticCancer,e:T,<http://eulersharp.sourceforge.net/2004/04test/metastaticP.n3#uid_1111607>)) -| builtin(e:true(_1972,0.2,_1974)) -| builtin(e:true(_1861,0.2,_1863)) -| e:boolean(:HeadAche,e:T,<http://eulersharp.sourceforge.net/2004/04test/metastaticP.n3#uid_1112006>) -| eulerpath(e:boolean(:BrainTumor,e:T,<http://eulersharp.sourceforge.net/2004/04test/metastaticP.n3#uid_1111718>)) -| builtin(e:true(_2030,0.8,_2032)) proof_rank((e:boolean(:MetastaticCancer,e:T,<http://eulersharp.sourceforge.net/2004/04test/metastaticP.n3#uid_1111607>),e:boolean(:Coma,e:F,<http://eulersharp.sourceforge.net/2004/04test/metastaticP.n3#uid_1111905>),e:boolean(:HeadAche,e:T,<http://eulersharp.sourceforge.net/2004/04test/metastaticP.n3#uid_1112006>)),0.00512) -| e:boolean(:MetastaticCancer,e:T,<http://eulersharp.sourceforge.net/2004/04test/metastaticP.n3#uid_1111607>) -| builtin(e:true(_1800,0.2,_1802)) -| e:boolean(:Coma,e:F,<http://eulersharp.sourceforge.net/2004/04test/metastaticP.n3#uid_1111931>) -| e:boolean(:SerumCalcium,e:T,<http://eulersharp.sourceforge.net/2004/04test/metastaticP.n3#uid_1111638>) -| eulerpath(e:boolean(:MetastaticCancer,e:T,<http://eulersharp.sourceforge.net/2004/04test/metastaticP.n3#uid_1111607>)) -| builtin(e:true(_1916,0.8,_1918)) -| e:boolean(:BrainTumor,e:F,<http://eulersharp.sourceforge.net/2004/04test/metastaticP.n3#uid_1111758>) -| eulerpath(e:boolean(:MetastaticCancer,e:T,<http://eulersharp.sourceforge.net/2004/04test/metastaticP.n3#uid_1111607>)) -| builtin(e:true(_1975,0.8,_1977)) -| builtin(e:true(_1864,0.2,_1866)) -| e:boolean(:HeadAche,e:T,<http://eulersharp.sourceforge.net/2004/04test/metastaticP.n3#uid_1112026>) -| eulerpath(e:boolean(:BrainTumor,e:F,<http://eulersharp.sourceforge.net/2004/04test/metastaticP.n3#uid_1111758>)) -| builtin(e:true(_2033,0.6,_2035)) proof_rank((e:boolean(:MetastaticCancer,e:T,<http://eulersharp.sourceforge.net/2004/04test/metastaticP.n3#uid_1111607>),e:boolean(:Coma,e:F,<http://eulersharp.sourceforge.net/2004/04test/metastaticP.n3#uid_1111931>),e:boolean(:HeadAche,e:T,<http://eulersharp.sourceforge.net/2004/04test/metastaticP.n3#uid_1112026>)),0.01536) -| e:boolean(:MetastaticCancer,e:T,<http://eulersharp.sourceforge.net/2004/04test/metastaticP.n3#uid_1111607>) -| builtin(e:true(_1800,0.2,_1802)) -| e:boolean(:Coma,e:F,<http://eulersharp.sourceforge.net/2004/04test/metastaticP.n3#uid_1111957>) -| e:boolean(:SerumCalcium,e:F,<http://eulersharp.sourceforge.net/2004/04test/metastaticP.n3#uid_1111678>) -| eulerpath(e:boolean(:MetastaticCancer,e:T,<http://eulersharp.sourceforge.net/2004/04test/metastaticP.n3#uid_1111607>)) -| builtin(e:true(_1919,0.2,_1921)) -| e:boolean(:BrainTumor,e:T,<http://eulersharp.sourceforge.net/2004/04test/metastaticP.n3#uid_1111718>) -| eulerpath(e:boolean(:MetastaticCancer,e:T,<http://eulersharp.sourceforge.net/2004/04test/metastaticP.n3#uid_1111607>)) -| builtin(e:true(_1978,0.2,_1980)) -| builtin(e:true(_1867,0.2,_1869)) -| e:boolean(:HeadAche,e:T,<http://eulersharp.sourceforge.net/2004/04test/metastaticP.n3#uid_1112006>) -| eulerpath(e:boolean(:BrainTumor,e:T,<http://eulersharp.sourceforge.net/2004/04test/metastaticP.n3#uid_1111718>)) -| builtin(e:true(_2036,0.8,_2038)) proof_rank((e:boolean(:MetastaticCancer,e:T,<http://eulersharp.sourceforge.net/2004/04test/metastaticP.n3#uid_1111607>),e:boolean(:Coma,e:F,<http://eulersharp.sourceforge.net/2004/04test/metastaticP.n3#uid_1111957>),e:boolean(:HeadAche,e:T,<http://eulersharp.sourceforge.net/2004/04test/metastaticP.n3#uid_1112006>)),0.00128) -| e:boolean(:MetastaticCancer,e:T,<http://eulersharp.sourceforge.net/2004/04test/metastaticP.n3#uid_1111607>) -| builtin(e:true(_1800,0.2,_1802)) -| e:boolean(:Coma,e:F,<http://eulersharp.sourceforge.net/2004/04test/metastaticP.n3#uid_1111983>) -| e:boolean(:SerumCalcium,e:F,<http://eulersharp.sourceforge.net/2004/04test/metastaticP.n3#uid_1111678>) -| eulerpath(e:boolean(:MetastaticCancer,e:T,<http://eulersharp.sourceforge.net/2004/04test/metastaticP.n3#uid_1111607>)) -| builtin(e:true(_1919,0.2,_1921)) -| e:boolean(:BrainTumor,e:F,<http://eulersharp.sourceforge.net/2004/04test/metastaticP.n3#uid_1111758>) -| eulerpath(e:boolean(:MetastaticCancer,e:T,<http://eulersharp.sourceforge.net/2004/04test/metastaticP.n3#uid_1111607>)) -| builtin(e:true(_1978,0.8,_1980)) -| builtin(e:true(_1867,0.95,_1869)) -| e:boolean(:HeadAche,e:T,<http://eulersharp.sourceforge.net/2004/04test/metastaticP.n3#uid_1112026>) -| eulerpath(e:boolean(:BrainTumor,e:F,<http://eulersharp.sourceforge.net/2004/04test/metastaticP.n3#uid_1111758>)) -| builtin(e:true(_2036,0.6,_2038)) proof_rank((e:boolean(:MetastaticCancer,e:T,<http://eulersharp.sourceforge.net/2004/04test/metastaticP.n3#uid_1111607>),e:boolean(:Coma,e:F,<http://eulersharp.sourceforge.net/2004/04test/metastaticP.n3#uid_1111983>),e:boolean(:HeadAche,e:T,<http://eulersharp.sourceforge.net/2004/04test/metastaticP.n3#uid_1112026>)),0.01824) goal_rank((e:boolean(:MetastaticCancer,e:T,_1763),e:boolean(:Coma,e:F,_1770),e:boolean(:HeadAche,e:T,_1774)),0.04) -| e:boolean(:Coma,e:F,<http://eulersharp.sourceforge.net/2004/04test/metastaticP.n3#uid_1111905>) -| e:boolean(:SerumCalcium,e:T,<http://eulersharp.sourceforge.net/2004/04test/metastaticP.n3#uid_1111638>) -| e:boolean(:MetastaticCancer,e:T,<http://eulersharp.sourceforge.net/2004/04test/metastaticP.n3#uid_1111607>) -| builtin(e:true(_1904,0.2,_1906)) -| builtin(e:true(_1865,0.8,_1867)) -| e:boolean(:BrainTumor,e:T,<http://eulersharp.sourceforge.net/2004/04test/metastaticP.n3#uid_1111718>) -| eulerpath(e:boolean(:MetastaticCancer,e:T,<http://eulersharp.sourceforge.net/2004/04test/metastaticP.n3#uid_1111607>)) -| builtin(e:true(_1960,0.2,_1962)) -| builtin(e:true(_1813,0.2,_1815)) -| e:boolean(:HeadAche,e:T,<http://eulersharp.sourceforge.net/2004/04test/metastaticP.n3#uid_1112006>) -| eulerpath(e:boolean(:BrainTumor,e:T,<http://eulersharp.sourceforge.net/2004/04test/metastaticP.n3#uid_1111718>)) -| builtin(e:true(_2018,0.8,_2020)) proof_rank((e:boolean(:Coma,e:F,<http://eulersharp.sourceforge.net/2004/04test/metastaticP.n3#uid_1111905>),e:boolean(:HeadAche,e:T,<http://eulersharp.sourceforge.net/2004/04test/metastaticP.n3#uid_1112006>)),0.00512) -| e:boolean(:Coma,e:F,<http://eulersharp.sourceforge.net/2004/04test/metastaticP.n3#uid_1111905>) -| e:boolean(:SerumCalcium,e:T,<http://eulersharp.sourceforge.net/2004/04test/metastaticP.n3#uid_1111658>) -| e:boolean(:MetastaticCancer,e:F,<http://eulersharp.sourceforge.net/2004/04test/metastaticP.n3#uid_1111621>) -| builtin(e:true(_1904,0.8,_1906)) -| builtin(e:true(_1865,0.2,_1867)) -| e:boolean(:BrainTumor,e:T,<http://eulersharp.sourceforge.net/2004/04test/metastaticP.n3#uid_1111738>) -| eulerpath(e:boolean(:MetastaticCancer,e:F,<http://eulersharp.sourceforge.net/2004/04test/metastaticP.n3#uid_1111621>)) -| builtin(e:true(_1960,0.05,_1962)) -| builtin(e:true(_1813,0.2,_1815)) -| e:boolean(:HeadAche,e:T,<http://eulersharp.sourceforge.net/2004/04test/metastaticP.n3#uid_1112006>) -| eulerpath(e:boolean(:BrainTumor,e:T,<http://eulersharp.sourceforge.net/2004/04test/metastaticP.n3#uid_1111738>)) -| builtin(e:true(_2018,0.8,_2020)) proof_rank((e:boolean(:Coma,e:F,<http://eulersharp.sourceforge.net/2004/04test/metastaticP.n3#uid_1111905>),e:boolean(:HeadAche,e:T,<http://eulersharp.sourceforge.net/2004/04test/metastaticP.n3#uid_1112006>)),0.00128) -| e:boolean(:Coma,e:F,<http://eulersharp.sourceforge.net/2004/04test/metastaticP.n3#uid_1111931>) -| e:boolean(:SerumCalcium,e:T,<http://eulersharp.sourceforge.net/2004/04test/metastaticP.n3#uid_1111638>) -| e:boolean(:MetastaticCancer,e:T,<http://eulersharp.sourceforge.net/2004/04test/metastaticP.n3#uid_1111607>) -| builtin(e:true(_1907,0.2,_1909)) -| builtin(e:true(_1868,0.8,_1870)) -| e:boolean(:BrainTumor,e:F,<http://eulersharp.sourceforge.net/2004/04test/metastaticP.n3#uid_1111758>) -| eulerpath(e:boolean(:MetastaticCancer,e:T,<http://eulersharp.sourceforge.net/2004/04test/metastaticP.n3#uid_1111607>)) -| builtin(e:true(_1963,0.8,_1965)) -| builtin(e:true(_1816,0.2,_1818)) -| e:boolean(:HeadAche,e:T,<http://eulersharp.sourceforge.net/2004/04test/metastaticP.n3#uid_1112026>) -| eulerpath(e:boolean(:BrainTumor,e:F,<http://eulersharp.sourceforge.net/2004/04test/metastaticP.n3#uid_1111758>)) -| builtin(e:true(_2021,0.6,_2023)) proof_rank((e:boolean(:Coma,e:F,<http://eulersharp.sourceforge.net/2004/04test/metastaticP.n3#uid_1111931>),e:boolean(:HeadAche,e:T,<http://eulersharp.sourceforge.net/2004/04test/metastaticP.n3#uid_1112026>)),0.01536) -| e:boolean(:Coma,e:F,<http://eulersharp.sourceforge.net/2004/04test/metastaticP.n3#uid_1111931>) -| e:boolean(:SerumCalcium,e:T,<http://eulersharp.sourceforge.net/2004/04test/metastaticP.n3#uid_1111658>) -| e:boolean(:MetastaticCancer,e:F,<http://eulersharp.sourceforge.net/2004/04test/metastaticP.n3#uid_1111621>) -| builtin(e:true(_1907,0.8,_1909)) -| builtin(e:true(_1868,0.2,_1870)) -| e:boolean(:BrainTumor,e:F,<http://eulersharp.sourceforge.net/2004/04test/metastaticP.n3#uid_1111778>) -| eulerpath(e:boolean(:MetastaticCancer,e:F,<http://eulersharp.sourceforge.net/2004/04test/metastaticP.n3#uid_1111621>)) -| builtin(e:true(_1963,0.95,_1965)) -| builtin(e:true(_1816,0.2,_1818)) -| e:boolean(:HeadAche,e:T,<http://eulersharp.sourceforge.net/2004/04test/metastaticP.n3#uid_1112026>) -| eulerpath(e:boolean(:BrainTumor,e:F,<http://eulersharp.sourceforge.net/2004/04test/metastaticP.n3#uid_1111778>)) -| builtin(e:true(_2021,0.6,_2023)) proof_rank((e:boolean(:Coma,e:F,<http://eulersharp.sourceforge.net/2004/04test/metastaticP.n3#uid_1111931>),e:boolean(:HeadAche,e:T,<http://eulersharp.sourceforge.net/2004/04test/metastaticP.n3#uid_1112026>)),0.01824) -| e:boolean(:Coma,e:F,<http://eulersharp.sourceforge.net/2004/04test/metastaticP.n3#uid_1111957>) -| e:boolean(:SerumCalcium,e:F,<http://eulersharp.sourceforge.net/2004/04test/metastaticP.n3#uid_1111678>) -| e:boolean(:MetastaticCancer,e:T,<http://eulersharp.sourceforge.net/2004/04test/metastaticP.n3#uid_1111607>) -| builtin(e:true(_1910,0.2,_1912)) -| builtin(e:true(_1871,0.2,_1873)) -| e:boolean(:BrainTumor,e:T,<http://eulersharp.sourceforge.net/2004/04test/metastaticP.n3#uid_1111718>) -| eulerpath(e:boolean(:MetastaticCancer,e:T,<http://eulersharp.sourceforge.net/2004/04test/metastaticP.n3#uid_1111607>)) -| builtin(e:true(_1966,0.2,_1968)) -| builtin(e:true(_1819,0.2,_1821)) -| e:boolean(:HeadAche,e:T,<http://eulersharp.sourceforge.net/2004/04test/metastaticP.n3#uid_1112006>) -| eulerpath(e:boolean(:BrainTumor,e:T,<http://eulersharp.sourceforge.net/2004/04test/metastaticP.n3#uid_1111718>)) -| builtin(e:true(_2024,0.8,_2026)) proof_rank((e:boolean(:Coma,e:F,<http://eulersharp.sourceforge.net/2004/04test/metastaticP.n3#uid_1111957>),e:boolean(:HeadAche,e:T,<http://eulersharp.sourceforge.net/2004/04test/metastaticP.n3#uid_1112006>)),0.00128) -| e:boolean(:Coma,e:F,<http://eulersharp.sourceforge.net/2004/04test/metastaticP.n3#uid_1111957>) -| e:boolean(:SerumCalcium,e:F,<http://eulersharp.sourceforge.net/2004/04test/metastaticP.n3#uid_1111698>) -| e:boolean(:MetastaticCancer,e:F,<http://eulersharp.sourceforge.net/2004/04test/metastaticP.n3#uid_1111621>) -| builtin(e:true(_1910,0.8,_1912)) -| builtin(e:true(_1871,0.8,_1873)) -| e:boolean(:BrainTumor,e:T,<http://eulersharp.sourceforge.net/2004/04test/metastaticP.n3#uid_1111738>) -| eulerpath(e:boolean(:MetastaticCancer,e:F,<http://eulersharp.sourceforge.net/2004/04test/metastaticP.n3#uid_1111621>)) -| builtin(e:true(_1966,0.05,_1968)) -| builtin(e:true(_1819,0.2,_1821)) -| e:boolean(:HeadAche,e:T,<http://eulersharp.sourceforge.net/2004/04test/metastaticP.n3#uid_1112006>) -| eulerpath(e:boolean(:BrainTumor,e:T,<http://eulersharp.sourceforge.net/2004/04test/metastaticP.n3#uid_1111738>)) -| builtin(e:true(_2024,0.8,_2026)) proof_rank((e:boolean(:Coma,e:F,<http://eulersharp.sourceforge.net/2004/04test/metastaticP.n3#uid_1111957>),e:boolean(:HeadAche,e:T,<http://eulersharp.sourceforge.net/2004/04test/metastaticP.n3#uid_1112006>)),0.00512) -| e:boolean(:Coma,e:F,<http://eulersharp.sourceforge.net/2004/04test/metastaticP.n3#uid_1111983>) -| e:boolean(:SerumCalcium,e:F,<http://eulersharp.sourceforge.net/2004/04test/metastaticP.n3#uid_1111678>) -| e:boolean(:MetastaticCancer,e:T,<http://eulersharp.sourceforge.net/2004/04test/metastaticP.n3#uid_1111607>) -| builtin(e:true(_1910,0.2,_1912)) -| builtin(e:true(_1871,0.2,_1873)) -| e:boolean(:BrainTumor,e:F,<http://eulersharp.sourceforge.net/2004/04test/metastaticP.n3#uid_1111758>) -| eulerpath(e:boolean(:MetastaticCancer,e:T,<http://eulersharp.sourceforge.net/2004/04test/metastaticP.n3#uid_1111607>)) -| builtin(e:true(_1966,0.8,_1968)) -| builtin(e:true(_1819,0.95,_1821)) -| e:boolean(:HeadAche,e:T,<http://eulersharp.sourceforge.net/2004/04test/metastaticP.n3#uid_1112026>) -| eulerpath(e:boolean(:BrainTumor,e:F,<http://eulersharp.sourceforge.net/2004/04test/metastaticP.n3#uid_1111758>)) -| builtin(e:true(_2024,0.6,_2026)) proof_rank((e:boolean(:Coma,e:F,<http://eulersharp.sourceforge.net/2004/04test/metastaticP.n3#uid_1111983>),e:boolean(:HeadAche,e:T,<http://eulersharp.sourceforge.net/2004/04test/metastaticP.n3#uid_1112026>)),0.01824) -| e:boolean(:Coma,e:F,<http://eulersharp.sourceforge.net/2004/04test/metastaticP.n3#uid_1111983>) -| e:boolean(:SerumCalcium,e:F,<http://eulersharp.sourceforge.net/2004/04test/metastaticP.n3#uid_1111698>) -| e:boolean(:MetastaticCancer,e:F,<http://eulersharp.sourceforge.net/2004/04test/metastaticP.n3#uid_1111621>) -| builtin(e:true(_1910,0.8,_1912)) -| builtin(e:true(_1871,0.8,_1873)) -| e:boolean(:BrainTumor,e:F,<http://eulersharp.sourceforge.net/2004/04test/metastaticP.n3#uid_1111778>) -| eulerpath(e:boolean(:MetastaticCancer,e:F,<http://eulersharp.sourceforge.net/2004/04test/metastaticP.n3#uid_1111621>)) -| builtin(e:true(_1966,0.95,_1968)) -| builtin(e:true(_1819,0.95,_1821)) -| e:boolean(:HeadAche,e:T,<http://eulersharp.sourceforge.net/2004/04test/metastaticP.n3#uid_1112026>) -| eulerpath(e:boolean(:BrainTumor,e:F,<http://eulersharp.sourceforge.net/2004/04test/metastaticP.n3#uid_1111778>)) -| builtin(e:true(_2024,0.6,_2026)) proof_rank((e:boolean(:Coma,e:F,<http://eulersharp.sourceforge.net/2004/04test/metastaticP.n3#uid_1111983>),e:boolean(:HeadAche,e:T,<http://eulersharp.sourceforge.net/2004/04test/metastaticP.n3#uid_1112026>)),0.34656) goal_rank((e:boolean(:Coma,e:F,_1763),e:boolean(:HeadAche,e:T,_1767)),0.4112) #ENDS 4 msec.
Received on Tuesday, 10 April 2007 23:57:48 UTC