# PxButton | test | wget -q -O- http://localhost/.euler5+http%3A%2F%2Flocalhost%2F.euler%2B--prolog%2Bhttp%253A%252F%252Fwww.agfa.com%252Fw3c%252Feuler%252Fmedic.n3%2B--query%2Bhttp%253A%252F%252Fwww.agfa.com%252Fw3c%252Feuler%252FmedicF.n3

@prefix math: <http://www.w3.org/2000/10/swap/math#>. 
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.
@prefix rpo: <http://eulersharp.sourceforge.net/2003/03swap/rpo-rules#>.
@prefix : <http://eulersharp.sourceforge.net/2006/02swap/med#>.

(:Ann :Fever) rpo:mu 0.8.
(:Ann :AllergyForAspirin) rpo:mu 0.001.
(:Joe :AcuteMyocardialInfarction) rpo:mu 0.9.
(:Joe :ActivePepticUlcerDisease) rpo:mu 0.006.
(:Joe :AllergyForAspirin) rpo:mu 0.001.
(:Joe :SevereAsthma) rpo:mu 0.001.
(:Joe :ChronicObstructivePumonaryDisease) rpo:mu 0.001.

:aspirinHighDose :prescribedFor :Fever.
:aspirinLowDose :prescribedFor :AcuteMyocardialInfarction.
:betaBlocker :prescribedFor :AcuteMyocardialInfarction.

:aspirinHighDose :excludedFor :ActivePepticUlcerDisease.
:aspirinHighDose :excludedFor :AllergyForAspirin.
:aspirinLowDose :excludedFor :ActivePepticUlcerDisease.
:aspirinLowDose :excludedFor :AllergyForAspirin.
:betaBlocker :excludedFor :SevereAsthma.
:betaBlocker :excludedFor :ChronicObstructivePumonaryDisease.

{?MEDICATION :prescribedFor ?DIAGNOSIS.
 (?WHO ?DIAGNOSIS) rpo:mu ?MEMBERSHIP.
 ?MEMBERSHIP math:greaterThan 0.7.
 (?SCOPE 1) e:findall (?EXCLUSION {?MEDICATION :excludedFor ?EXCLUSION} ?LIST).
 (?SCOPE 1) e:findall (?EXCLUSION {?MEDICATION :excludedFor ?EXCLUSION.
                               (?WHO ?EXCLUSION) rpo:mu ?VALUE.
                               ?VALUE math:notGreaterThan 0.01} ?LIST)}
 =>
 {?WHO :isPrescribed ?MEDICATION}.