eyeling 1.24.4 → 1.24.6

package/see/examples/input/path_discovery.trig

@@ -1,29 +0,0 @@
-@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
-@prefix nepo: <http://neptune.aws.com/ontology/airroutes/> .
-@prefix res: <http://neptune.aws.com/ontology/airroutes/resource#> .
-@prefix math: <http://www.w3.org/2000/10/swap/math#> .
-@prefix list: <http://www.w3.org/2000/10/swap/list#> .
-@prefix log: <http://www.w3.org/2000/10/swap/log#> .
-@prefix : <http://example.org/#> .
-@prefix see: <https://example.org/see#> .
-@prefix in: <https://example.org/see/input#> .
-
-# Formal SEE input evidence in RDF 1.2 TriG.
-# The generated runner reads this TriG evidence directly in RDF compatibility mode.
-
-# No source facts were present in the N3 program.
-
-in:metadata {
-  in:run a see:InputDataset .
-  in:run see:name "path_discovery" .
-  in:run see:title "Path Discovery" .
-  in:run see:sourceFile "examples/n3/path_discovery.n3" .
-  in:run see:sourceSHA256 "9481a2b27a6cae4d73f312c7d8403d1abd7beab573f627f591ea8301073fe4db" .
-  in:run see:description "SEE version of the Eyeling airport path-discovery example.\nThe full airroutes evidence is intentionally stored in\nexamples/input/path-discovery.trig, not in this source file. This file keeps\nonly the path-finding rules and the query shape from the upstream example." .
-  in:run see:compiler "see.js N3-to-JS compiler" .
-  in:run see:inputFacts 0 .
-  in:run see:compiledRules 1 .
-  in:run see:compiledBackwardRules 2 .
-  in:run see:compiledFuses 0 .
-  in:run see:compiledQueries 0 .
-}

package/see/examples/input/socrates.trig

@@ -1,26 +0,0 @@
-@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
-@prefix log: <http://www.w3.org/2000/10/swap/log#> .
-@prefix : <http://example.org/socrates#> .
-@prefix see: <https://example.org/see#> .
-@prefix in: <https://example.org/see/input#> .
-
-# Formal SEE input evidence in RDF 1.2 TriG.
-# The generated runner reads this TriG evidence directly.
-
-:Socrates rdf:type :Human .
-:Human rdfs:subClassOf :Mortal .
-
-in:metadata {
-  in:run a see:InputDataset .
-  in:run see:name "socrates" .
-  in:run see:title "Socrates inference" .
-  in:run see:sourceFile "examples/n3/socrates.n3" .
-  in:run see:sourceSHA256 "a0c8a488401f3247c2371978378e7f4c532c8b6c22d5f5642665e93fd8c576a4" .
-  in:run see:description "" .
-  in:run see:compiler "see.js N3-to-JS compiler" .
-  in:run see:inputFacts 2 .
-  in:run see:compiledRules 1 .
-  in:run see:compiledBackwardRules 0 .
-  in:run see:compiledFuses 0 .
-  in:run see:compiledQueries 1 .
-}

package/see/examples/input/wind_turbine.trig

@@ -1,48 +0,0 @@
-@prefix : <https://eyereasoner.github.io/see/examples/wind-turbine#> .
-@prefix math: <http://www.w3.org/2000/10/swap/math#> .
-@prefix log: <http://www.w3.org/2000/10/swap/log#> .
-@prefix string: <http://www.w3.org/2000/10/swap/string#> .
-@prefix see: <https://example.org/see#> .
-@prefix in: <https://example.org/see/input#> .
-
-# Formal SEE input evidence in RDF 1.2 TriG.
-# The generated runner reads this TriG evidence directly.
-
-:case :cutInMS 3.5 .
-:case :ratedMS 12 .
-:case :cutOutMS 25 .
-:case :ratedPowerMW 3.2 .
-:case :intervalMinutes 10 .
-:case :sample :t1 .
-:case :sample :t2 .
-:case :sample :t3 .
-:case :sample :t4 .
-:case :sample :t5 .
-:case :sample :t6 .
-:t1 :index 1 .
-:t1 :speedMS 3 .
-:t2 :index 2 .
-:t2 :speedMS 6.5 .
-:t3 :index 3 .
-:t3 :speedMS 11.2 .
-:t4 :index 4 .
-:t4 :speedMS 15 .
-:t5 :index 5 .
-:t5 :speedMS 24.5 .
-:t6 :index 6 .
-:t6 :speedMS 27 .
-
-in:metadata {
-  in:run a see:InputDataset .
-  in:run see:name "wind_turbine" .
-  in:run see:title "Wind Turbine Envelope" .
-  in:run see:sourceFile "examples/n3/wind_turbine.n3" .
-  in:run see:sourceSHA256 "cf2129430d3165b9e304a078ce1b40c0f4634b4c98a14832c096ac0c1a70a049" .
-  in:run see:description "Classify wind-speed samples against a turbine operating envelope and compute\ninterval energy. The classification and cubic power curve are expressed in N3\nrules and compiled into a standalone SEE JavaScript example." .
-  in:run see:compiler "see.js N3-to-JS compiler" .
-  in:run see:inputFacts 23 .
-  in:run see:compiledRules 7 .
-  in:run see:compiledBackwardRules 0 .
-  in:run see:compiledFuses 0 .
-  in:run see:compiledQueries 0 .
-}

package/see/examples/input/witch.trig

@@ -1,26 +0,0 @@
-@prefix : <http://example.org/witch#> .
-@prefix log: <http://www.w3.org/2000/10/swap/log#> .
-@prefix see: <https://example.org/see#> .
-@prefix in: <https://example.org/see/input#> .
-
-# Formal SEE input evidence in RDF 1.2 TriG.
-# The generated runner reads this TriG evidence directly.
-
-:GIRL rdf:type :WOMAN .
-:DUCK rdf:type :FLOATS .
-:DUCK :SAMEWEIGHT :GIRL .
-
-in:metadata {
-  in:run a see:InputDataset .
-  in:run see:name "witch" .
-  in:run see:title "Burn the witch" .
-  in:run see:sourceFile "examples/n3/witch.n3" .
-  in:run see:sourceSHA256 "bc0a493c490136926a3e3086f6b8bc63a8ae97334d723c7737eeaea837428045" .
-  in:run see:description "http://clarkparsia.com/weblog/2007/01/02/burn-the-witch/\nhttp://www.netfunny.com/rhf/jokes/90q4/burnher.html\noriginal http://www.w3.org/2000/10/swap/test/reason/witch.n3" .
-  in:run see:compiler "see.js N3-to-JS compiler" .
-  in:run see:inputFacts 3 .
-  in:run see:compiledRules 4 .
-  in:run see:compiledBackwardRules 0 .
-  in:run see:compiledFuses 0 .
-  in:run see:compiledQueries 0 .
-}

package/see/examples/n3/age.n3

@@ -1,28 +0,0 @@
-# ===========================================
-# Age checker
-# Is the age of a person above some duration?
-# ===========================================
-
-@prefix xsd: <http://www.w3.org/2001/XMLSchema#>.
-@prefix time: <http://www.w3.org/2000/10/swap/time#>.
-@prefix math: <http://www.w3.org/2000/10/swap/math#>.
-@prefix log: <http://www.w3.org/2000/10/swap/log#>.
-@prefix : <https://example.org/#>.
-
-# person data
-:patH :birthDay "1944-08-21"^^xsd:date.
-
-# is the age of a person above some duration?
-{ ?S :ageAbove ?A } <= {
-    ?S :birthDay ?B.
-    "" time:localTime ?D.
-    (?D ?B) math:difference ?F.
-    ?F math:greaterThan ?A.
-}.
-
-# test
-{
-    ?S :ageAbove "P80Y"^^xsd:duration.
-} log:query {
-    :test :is true.
-}.

package/see/examples/n3/annotation.n3

@@ -1,7 +0,0 @@
-@prefix : <https://eyereasoner.github.io/see/examples/annotation#>.
-@prefix log: <http://www.w3.org/2000/10/swap/log#>.
-@prefix xsd: <http://www.w3.org/2001/XMLSchema#>.
-:a :name "Alice" .
-:t log:nameOf { :a :name "Alice" . } .
-:t :statedBy :bob .
-:t :recorded "2021-07-07"^^xsd:date .

package/see/examples/n3/backward.n3

@@ -1,22 +0,0 @@
-# ============================================================== 
-# Backward rule example
-# See https://www.w3.org/2000/10/swap/doc/tutorial-1.pdf page 17
-# ============================================================== 
-
-@prefix math: <http://www.w3.org/2000/10/swap/math#>.
-@prefix log: <http://www.w3.org/2000/10/swap/log#>.
-@prefix : <http://example.org/#>.
-
-# something is more interesting if it is greater
-{
- ?X :moreInterestingThan ?Y.
-} <= {
- ?X math:greaterThan ?Y.
-}.
-
-# derivation (forward)
-{
- 5 :moreInterestingThan 3.
-} => {
- 5 :isIndeedMoreInterestingThan 3.
-}.

package/see/examples/n3/bayes_diagnosis.n3

@@ -1,122 +0,0 @@
-# ===============
-# Bayes Diagnosis
-# ===============
-# Naive Bayes diagnosis example, adapted from Eyeling's bayes-diagnosis.n3.
-# The facts and rules compute unnormalized likelihoods, normalize them into
-# posterior probabilities, and emit a SEE report for the highest posterior.
-# Values are illustrative only and are not medical advice.
-
-@prefix : <https://eyereasoner.github.io/see/examples/bayes-diagnosis#>.
-@prefix math: <http://www.w3.org/2000/10/swap/math#>.
-@prefix list: <http://www.w3.org/2000/10/swap/list#>.
-@prefix log: <http://www.w3.org/2000/10/swap/log#>.
-@prefix string: <http://www.w3.org/2000/10/swap/string#>.
-
-:COVID19 a :Disease; :label "COVID-19"; :prior 0.05.
-:Influenza a :Disease; :label "Influenza"; :prior 0.03.
-:AllergicRhinitis a :Disease; :label "Allergic rhinitis"; :prior 0.10.
-:BacterialPneumonia a :Disease; :label "Bacterial pneumonia"; :prior 0.01.
-
-:COVID19 :pGiven [ :symptom :Fever; :p 0.70 ], [ :symptom :DryCough; :p 0.65 ], [ :symptom :LossOfSmell; :p 0.40 ], [ :symptom :Sneezing; :p 0.15 ], [ :symptom :ShortBreath; :p 0.20 ].
-:Influenza :pGiven [ :symptom :Fever; :p 0.80 ], [ :symptom :DryCough; :p 0.50 ], [ :symptom :LossOfSmell; :p 0.05 ], [ :symptom :Sneezing; :p 0.20 ], [ :symptom :ShortBreath; :p 0.10 ].
-:AllergicRhinitis :pGiven [ :symptom :Fever; :p 0.05 ], [ :symptom :DryCough; :p 0.15 ], [ :symptom :LossOfSmell; :p 0.10 ], [ :symptom :Sneezing; :p 0.80 ], [ :symptom :ShortBreath; :p 0.05 ].
-:BacterialPneumonia :pGiven [ :symptom :Fever; :p 0.70 ], [ :symptom :DryCough; :p 0.60 ], [ :symptom :LossOfSmell; :p 0.02 ], [ :symptom :Sneezing; :p 0.05 ], [ :symptom :ShortBreath; :p 0.60 ].
-
-:Case a :PatientCase;
-  :diseases (:COVID19 :Influenza :AllergicRhinitis :BacterialPneumonia);
-  :evidence (
-    [ :symptom :Fever; :present true ]
-    [ :symptom :DryCough; :present true ]
-    [ :symptom :LossOfSmell; :present true ]
-    [ :symptom :Sneezing; :present false ]
-    [ :symptom :ShortBreath; :present true ]
-  ).
-
-# Probability guard rails: the compiler turns these fuses into runtime guards.
-{ ?d :prior ?p. ?p math:lessThan 0. } => false.
-{ ?d :prior ?p. ?p math:greaterThan 1. } => false.
-{ ?d :pGiven [ :p ?p ]. ?p math:lessThan 0. } => false.
-{ ?d :pGiven [ :p ?p ]. ?p math:greaterThan 1. } => false.
-
-# pairList(d, (x1 x2 ...)) -> ((d x1) (d x2) ...)
-{ ( ?d () ) :pairList () } <= true.
-{ ( ?d ?xs ) :pairList ?pairs } <= {
-  ?xs list:firstRest ( ?x ?rest ).
-  ( ?d ?rest ) :pairList ?tailPairs.
-  ?pairs list:firstRest ( ( ?d ?x ) ?tailPairs ).
-}.
-
-# Evidence factor: present symptoms use P(symptom|disease), absent symptoms use 1-P.
-{ ( ?d ?ev ) :factor ?p } <= {
-  ?ev :symptom ?s; :present true.
-  ?d :pGiven [ :symptom ?s; :p ?p ].
-}.
-{ ( ?d ?ev ) :factor ?q } <= {
-  ?ev :symptom ?s; :present false.
-  ?d :pGiven [ :symptom ?s; :p ?p ].
-  ( 1 ?p ) math:difference ?q.
-}.
-
-# unnormalized score(d) = prior(d) * product of evidence factors.
-{ ?d :scoreFor ?score } <= {
-  ?d :prior ?prior.
-  :Case :evidence ?evs.
-  ( ?d ?evs ) :pairList ?pairs.
-  ( ?pairs :factor ) list:map ?factors.
-  ?factors math:product ?likelihood.
-  ( ?prior ?likelihood ) math:product ?score.
-}.
-
-# Normalize scores into posteriors.
-{
-  :Case :diseases ?ds.
-  ( ?ds :scoreFor ) list:map ?scores.
-  ?scores math:sum ?total.
-} => {
-  :Case :scores ?scores;
-    :evidenceTotal ?total.
-}.
-{
-  :Case :diseases ?ds;
-    :scores ?scores;
-    :evidenceTotal ?total.
-  ?ds list:iterate ( ?i ?d ).
-  ( ?scores ?i ) list:memberAt ?score.
-  ( ?score ?total ) math:quotient ?post.
-} => {
-  :Case :result [ :disease ?d; :unnormalized ?score; :posterior ?post ].
-  ?d :posterior ?post.
-}.
-
-# Pick the posterior maximum by comparing to every case disease.
-{
-  :Case :result [ :disease ?d; :posterior ?p ].
-  :COVID19 :posterior ?pCOVID.
-  :Influenza :posterior ?pFlu.
-  :AllergicRhinitis :posterior ?pAllergy.
-  :BacterialPneumonia :posterior ?pPneumonia.
-  ?p math:notLessThan ?pCOVID.
-  ?p math:notLessThan ?pFlu.
-  ?p math:notLessThan ?pAllergy.
-  ?p math:notLessThan ?pPneumonia.
-} => {
-  :Case :winner ?d;
-    :winnerPosterior ?p.
-}.
-
-{
-  :Case :winner ?winner;
-    :winnerPosterior ?winnerPost;
-    :evidenceTotal ?total.
-  ?winner :label ?winnerLabel.
-  :COVID19 :posterior ?covidPost; :scoreFor ?covidScore.
-  :Influenza :posterior ?fluPost; :scoreFor ?fluScore.
-  :AllergicRhinitis :posterior ?allergyPost; :scoreFor ?allergyScore.
-  :BacterialPneumonia :posterior ?pneuPost; :scoreFor ?pneuScore.
-  ("=== Answer ===\nThe most likely disease is %s (posterior = %.6f).\n\nFull posterior distribution:\n  COVID-19              posterior = %.6f  (unnormalized = %.8f)\n  Influenza             posterior = %.6f  (unnormalized = %.8f)\n  Allergic rhinitis     posterior = %.6f  (unnormalized = %.8f)\n  Bacterial pneumonia   posterior = %.6f  (unnormalized = %.8f)\n\n=== Explanation ===\nEvidence: Fever=present, DryCough=present, LossOfSmell=present, Sneezing=absent, ShortBreath=present. Evidence total (normalizing constant) = %.8f. Each posterior is prior(d) times the product of symptom likelihood factors, divided by the evidence total." ?winnerLabel ?winnerPost ?covidPost ?covidScore ?fluPost ?fluScore ?allergyPost ?allergyScore ?pneuPost ?pneuScore ?total) string:format ?Block.
-} => {
-  :bayesDiagnosis log:outputString ?Block.
-  :bayesDiagnosis :recommends ?winner.
-}.
-
-{ :bayesDiagnosis :recommends ?Disease } log:query { :bayesDiagnosis :recommends ?Disease }.

package/see/examples/n3/bayes_therapy.n3

@@ -1,149 +0,0 @@
-# ==============
-# Bayes Therapy
-# ==============
-# Extends the Bayesian diagnosis model with a therapy utility layer. Adapted
-# from Eyeling's bayes-therapy.n3. Values are illustrative only and are not
-# medical advice.
-
-@prefix : <https://eyereasoner.github.io/see/examples/bayes-therapy#>.
-@prefix math: <http://www.w3.org/2000/10/swap/math#>.
-@prefix list: <http://www.w3.org/2000/10/swap/list#>.
-@prefix log: <http://www.w3.org/2000/10/swap/log#>.
-@prefix string: <http://www.w3.org/2000/10/swap/string#>.
-
-:COVID19 a :Disease; :prior 0.05.
-:Influenza a :Disease; :prior 0.03.
-:AllergicRhinitis a :Disease; :prior 0.10.
-:BacterialPneumonia a :Disease; :prior 0.01.
-
-:COVID19 :pGiven [ :symptom :Fever; :p 0.70 ], [ :symptom :DryCough; :p 0.65 ], [ :symptom :LossOfSmell; :p 0.40 ], [ :symptom :Sneezing; :p 0.15 ], [ :symptom :ShortBreath; :p 0.20 ].
-:Influenza :pGiven [ :symptom :Fever; :p 0.80 ], [ :symptom :DryCough; :p 0.50 ], [ :symptom :LossOfSmell; :p 0.05 ], [ :symptom :Sneezing; :p 0.20 ], [ :symptom :ShortBreath; :p 0.10 ].
-:AllergicRhinitis :pGiven [ :symptom :Fever; :p 0.05 ], [ :symptom :DryCough; :p 0.15 ], [ :symptom :LossOfSmell; :p 0.10 ], [ :symptom :Sneezing; :p 0.80 ], [ :symptom :ShortBreath; :p 0.05 ].
-:BacterialPneumonia :pGiven [ :symptom :Fever; :p 0.70 ], [ :symptom :DryCough; :p 0.60 ], [ :symptom :LossOfSmell; :p 0.02 ], [ :symptom :Sneezing; :p 0.05 ], [ :symptom :ShortBreath; :p 0.60 ].
-
-:Paxlovid a :Therapy; :label "Paxlovid"; :successByDisease ( 0.75 0.05 0.02 0.05 ); :adverse 0.10.
-:Oseltamivir a :Therapy; :label "Oseltamivir"; :successByDisease ( 0.05 0.60 0.02 0.05 ); :adverse 0.08.
-:Antihistamine a :Therapy; :label "Antihistamine"; :successByDisease ( 0.10 0.10 0.75 0.05 ); :adverse 0.03.
-:Antibiotic a :Therapy; :label "Antibiotic"; :successByDisease ( 0.05 0.05 0.02 0.80 ); :adverse 0.07.
-:SupportiveCare a :Therapy; :label "Supportive care"; :successByDisease ( 0.30 0.30 0.25 0.20 ); :adverse 0.01.
-
-:Model :benefitWeight 10; :harmWeight 3.
-:Case a :PatientCase;
-  :diseases (:COVID19 :Influenza :AllergicRhinitis :BacterialPneumonia);
-  :therapies (:Paxlovid :Oseltamivir :SupportiveCare :Antibiotic :Antihistamine);
-  :evidence (
-    [ :symptom :Fever; :present true ]
-    [ :symptom :DryCough; :present true ]
-    [ :symptom :LossOfSmell; :present false ]
-    [ :symptom :Sneezing; :present false ]
-    [ :symptom :ShortBreath; :present false ]
-  ).
-
-{ ?d :prior ?p. ?p math:lessThan 0. } => false.
-{ ?d :prior ?p. ?p math:greaterThan 1. } => false.
-{ ?d :pGiven [ :p ?p ]. ?p math:lessThan 0. } => false.
-{ ?d :pGiven [ :p ?p ]. ?p math:greaterThan 1. } => false.
-{ ?t a :Therapy; :adverse ?p. ?p math:lessThan 0. } => false.
-{ ?t a :Therapy; :adverse ?p. ?p math:greaterThan 1. } => false.
-{ ?t a :Therapy; :successByDisease ?ps. ?ps list:iterate ( ?i ?p ). ?p math:lessThan 0. } => false.
-{ ?t a :Therapy; :successByDisease ?ps. ?ps list:iterate ( ?i ?p ). ?p math:greaterThan 1. } => false.
-
-{ ( ?d () ) :pairList () } <= true.
-{ ( ?d ?xs ) :pairList ?pairs } <= {
-  ?xs list:firstRest ( ?x ?rest ).
-  ( ?d ?rest ) :pairList ?tailPairs.
-  ?pairs list:firstRest ( ( ?d ?x ) ?tailPairs ).
-}.
-{ ( () ?c ) :pairWithConst () } <= true.
-{ ( ?xs ?c ) :pairWithConst ?pairs } <= {
-  ?xs list:firstRest ( ?x ?rest ).
-  ( ?rest ?c ) :pairWithConst ?tailPairs.
-  ?pairs list:firstRest ( ( ?x ?c ) ?tailPairs ).
-}.
-{ ( () () ) :zip () } <= true.
-{ ( ?as ?bs ) :zip ?pairs } <= {
-  ?as list:firstRest ( ?a ?arest ).
-  ?bs list:firstRest ( ?b ?brest ).
-  ( ?arest ?brest ) :zip ?tailPairs.
-  ?pairs list:firstRest ( ( ?a ?b ) ?tailPairs ).
-}.
-{ ?pair :mul ?p } <= { ?pair math:product ?p }.
-{ ?pair :quot2 ?q } <= { ?pair math:quotient ?q }.
-
-{ ( ?d ?ev ) :factor ?p } <= {
-  ?ev :symptom ?s; :present true.
-  ?d :pGiven [ :symptom ?s; :p ?p ].
-}.
-{ ( ?d ?ev ) :factor ?q } <= {
-  ?ev :symptom ?s; :present false.
-  ?d :pGiven [ :symptom ?s; :p ?p ].
-  ( 1 ?p ) math:difference ?q.
-}.
-{ ?d :scoreFor ?score } <= {
-  ?d :prior ?prior.
-  :Case :evidence ?evs.
-  ( ?d ?evs ) :pairList ?pairs.
-  ( ?pairs :factor ) list:map ?factors.
-  ?factors math:product ?likelihood.
-  ( ?prior ?likelihood ) math:product ?score.
-}.
-{
-  :Case :diseases ?ds.
-  ( ?ds :scoreFor ) list:map ?scores.
-  ?scores math:sum ?total.
-  ( ?scores ?total ) :pairWithConst ?scorePairs.
-  ( ?scorePairs :quot2 ) list:map ?posteriors.
-} => {
-  :Case :scores ?scores; :evidenceTotal ?total; :posteriors ?posteriors.
-}.
-{
-  :Case :diseases ?ds; :posteriors ?posts.
-  ?ds list:iterate ( ?i ?d ).
-  ( ?posts ?i ) list:memberAt ?p.
-} => {
-  ?d :posterior ?p.
-}.
-
-# expectedSuccess(t) = sum_i posterior[i] * P(success | disease_i, t)
-{
-  :Case :posteriors ?posts.
-  ?t a :Therapy; :successByDisease ?succ; :adverse ?adverse.
-  ( ?posts ?succ ) :zip ?pairs.
-  ( ?pairs :mul ) list:map ?terms.
-  ?terms math:sum ?expectedSuccess.
-  :Model :benefitWeight ?bw; :harmWeight ?hw.
-  ( ?bw ?expectedSuccess ) math:product ?benefit.
-  ( ?hw ?adverse ) math:product ?harmCost.
-  ( ?benefit ?harmCost ) math:difference ?utility.
-} => {
-  ?t :expectedSuccess ?expectedSuccess;
-    :expectedAdverse ?adverse;
-    :utility ?utility.
-}.
-
-{ ( ?t1 ?t2 ) :betterOf ?t1 } <= { ?t1 :utility ?u1. ?t2 :utility ?u2. ?u1 math:notLessThan ?u2. }.
-{ ( ?t1 ?t2 ) :betterOf ?t2 } <= { ?t1 :utility ?u1. ?t2 :utility ?u2. ?u1 math:lessThan ?u2. }.
-{ ( ?ts ) :bestTherapy ?t } <= { ?ts list:firstRest ( ?t () ). }.
-{ ( ?ts ) :bestTherapy ?best } <= {
-  ?ts list:firstRest ( ?head ?rest ).
-  ?rest list:firstRest ( ?_ ?__ ).
-  ( ?rest ) :bestTherapy ?bestRest.
-  ( ?head ?bestRest ) :betterOf ?best.
-}.
-{ :Case :therapies ?ts. ( ?ts ) :bestTherapy ?best. } => { :Case :recommendedTherapy ?best. }.
-
-{
-  :Case :recommendedTherapy ?best.
-  ?best :label ?bestLabel; :expectedSuccess ?bestSuccess; :expectedAdverse ?bestAdverse; :utility ?bestUtility.
-  :Paxlovid :utility ?paxU; :expectedSuccess ?paxS; :expectedAdverse ?paxA.
-  :Oseltamivir :utility ?oseU; :expectedSuccess ?oseS; :expectedAdverse ?oseA.
-  :SupportiveCare :utility ?supU; :expectedSuccess ?supS; :expectedAdverse ?supA.
-  :Antibiotic :utility ?antibU; :expectedSuccess ?antibS; :expectedAdverse ?antibA.
-  :Antihistamine :utility ?antiU; :expectedSuccess ?antiS; :expectedAdverse ?antiA.
-  ("=== Answer ===\nRecommended therapy: %s (utility = %.6f).\nexpected success : %.6f\nadverse probability : %.6f\n\nTherapy utilities:\n  Paxlovid        utility = %.6f  success = %.6f  adverse = %.6f\n  Oseltamivir     utility = %.6f  success = %.6f  adverse = %.6f\n  Supportive care utility = %.6f  success = %.6f  adverse = %.6f\n  Antibiotic      utility = %.6f  success = %.6f  adverse = %.6f\n  Antihistamine   utility = %.6f  success = %.6f  adverse = %.6f\n\n=== Explanation ===\nThe N3 source first computes disease posteriors from the symptom evidence. It then combines those posterior probabilities with therapy-specific success probabilities, subtracting the weighted adverse-effect penalty from the weighted expected benefit." ?bestLabel ?bestUtility ?bestSuccess ?bestAdverse ?paxU ?paxS ?paxA ?oseU ?oseS ?oseA ?supU ?supS ?supA ?antibU ?antibS ?antibA ?antiU ?antiS ?antiA) string:format ?Block.
-} => {
-  :bayesTherapy log:outputString ?Block.
-  :bayesTherapy :recommends ?best.
-}.
-
-{ :bayesTherapy :recommends ?Therapy } log:query { :bayesTherapy :recommends ?Therapy }.

package/see/examples/n3/bmi.n3

@@ -1,145 +0,0 @@
-# ============================================================================
-# BMI — Body Mass Index example.
-#
-# This example turns a familiar health calculation into a small, inspectable
-# SEE example. It normalizes either metric or US inputs, computes BMI, assigns
-# a WHO adult category, and derives a healthy-range weight band for the given
-# height. The report explains the result and includes independent validations for
-# boundary handling and category behavior.
-#
-# For reproducibility and documentation only; not medical advice.
-# ============================================================================
-
-@prefix : <https://example.org/bmi#> .
-@prefix log: <http://www.w3.org/2000/10/swap/log#> .
-@prefix math: <http://www.w3.org/2000/10/swap/math#> .
-@prefix string: <http://www.w3.org/2000/10/swap/string#> .
-
-# --------------
-# Editable input
-# --------------
-:Input
-  :unitSystem "metric";
-  :weight 72.0;
-  :height 178.0.
-
-# US alternative:
-# :Input
-#   :unitSystem "us";
-#   :weight 158.73;
-#   :height 70.08.
-
-# ---------------------------------
-# Normalization and BMI calculation
-# ---------------------------------
-{ :Input :unitSystem "metric"; :weight ?W; :height ?H.
-  (?H 100.0) math:quotient ?M. }
-  =>
-{ :Case :weightKg ?W; :heightM ?M.
-  :Reason :units "Inputs were already metric, so kilograms stay kilograms and centimeters are divided by 100 to obtain meters.". } .
-
-{ :Input :unitSystem "us"; :weight ?W; :height ?H.
-  (?W 0.45359237) math:product ?Kg.
-  (?H 0.0254) math:product ?M. }
-  =>
-{ :Case :weightKg ?Kg; :heightM ?M.
-  :Reason :units "US inputs were converted to SI units: pounds to kilograms and inches to meters.". } .
-
-{ :Case :weightKg ?Kg; :heightM ?M.
-  (?M ?M) math:product ?M2.
-  (?Kg ?M2) math:quotient ?Bmi.
-  (?Bmi 100.0) math:product ?BmiX100.
-  ?BmiX100 math:rounded ?BmiRoundedInt.
-  (?BmiRoundedInt 100.0) math:quotient ?BmiRounded.
-  (18.5 ?M2) math:product ?HealthyMin.
-  (24.9 ?M2) math:product ?HealthyMax.
-  (?HealthyMin 10.0) math:product ?MinX10.
-  (?HealthyMax 10.0) math:product ?MaxX10.
-  ?MinX10 math:rounded ?MinRoundedInt.
-  ?MaxX10 math:rounded ?MaxRoundedInt.
-  (?MinRoundedInt 10.0) math:quotient ?HealthyMinRounded.
-  (?MaxRoundedInt 10.0) math:quotient ?HealthyMaxRounded. }
-  =>
-{ :Case :heightSquared ?M2;
-  :bmi ?Bmi;
-  :bmiRounded ?BmiRounded;
-  :healthyMinKg ?HealthyMin;
-  :healthyMaxKg ?HealthyMax;
-  :healthyMinKgRounded ?HealthyMinRounded;
-  :healthyMaxKgRounded ?HealthyMaxRounded. } .
-
-# ------------------------------------------
-# WHO adult categories (half-open intervals)
-# ------------------------------------------
-{ :Case :bmi ?Bmi. ?Bmi math:lessThan 18.5. }
-  => { :Decision :category "Underweight". } .
-
-{ :Case :bmi ?Bmi. ?Bmi math:notLessThan 18.5. ?Bmi math:lessThan 25.0. }
-  => { :Decision :category "Normal". } .
-
-{ :Case :bmi ?Bmi. ?Bmi math:notLessThan 25.0. ?Bmi math:lessThan 30.0. }
-  => { :Decision :category "Overweight". } .
-
-{ :Case :bmi ?Bmi. ?Bmi math:notLessThan 30.0. ?Bmi math:lessThan 35.0. }
-  => { :Decision :category "Obesity I". } .
-
-{ :Case :bmi ?Bmi. ?Bmi math:notLessThan 35.0. ?Bmi math:lessThan 40.0. }
-  => { :Decision :category "Obesity II". } .
-
-{ :Case :bmi ?Bmi. ?Bmi math:notLessThan 40.0. }
-  => { :Decision :category "Obesity III". } .
-
-# ---------------------
-# Answer and reason why
-# ---------------------
-{ :Case :bmiRounded ?BmiRounded;
-  :healthyMinKgRounded ?HealthyMinRounded;
-  :healthyMaxKgRounded ?HealthyMaxRounded;
-  :heightM ?M.
-  :Decision :category ?Category.
-  (?M 100.0) math:product ?Cm.
-  ?Cm math:rounded ?CmRounded. }
-  =>
-{ :Answer :bmi ?BmiRounded;
-  :category ?Category;
-  :healthyMinKg ?HealthyMinRounded;
-  :healthyMaxKg ?HealthyMaxRounded;
-  :heightCm ?CmRounded. } .
-
-{ :Case :weightKg ?Kg; :heightM ?M; :heightSquared ?M2; :bmiRounded ?BmiRounded.
-  :Reason :units ?Units.
-  :Decision :category ?Category. }
-  =>
-{ :Reason :formula "BMI is defined as weight in kilograms divided by height in meters squared.";
-  :calculation "The normalized weight and height were used to compute BMI, then the result was mapped to the WHO adult category table.";
-  :categoryRule ?Category;
-  :unitsExplanation ?Units. } .
-
-# -----
-# Fuses
-# -----
-{ :Decision :category ?C1, ?C2.
-  ?C1 log:notEqualTo ?C2. }
-  => false .
-
-# ---------------------------------------------
-# Report (built from actual derived values)
-# ---------------------------------------------
-{ :Answer :bmi ?BmiRounded;
-  :category ?Category;
-  :healthyMinKg ?HealthyMinRounded;
-  :healthyMaxKg ?HealthyMaxRounded;
-  :heightCm ?CmRounded.
-  (
-    "=== Answer ===\n"
-    "BMI = " ?BmiRounded "\n"
-    "Category = " ?Category "\n"
-    "At height " ?CmRounded " cm, a healthy-weight range is about " ?HealthyMinRounded "–" ?HealthyMaxRounded " kg (BMI 18.5–24.9).\n\n"
-    "=== Explanation ===\n"
-    "BMI is defined as weight in kilograms divided by height in meters squared. "
-    "This program first normalizes the input to SI units, computes BMI, and then applies WHO adult categories as half-open intervals. "
-    "The healthy-weight band is the weight range at the same height that corresponds to BMI 18.5 through 24.9.\n\n"
-  ) string:concatenation ?Block. }
-  =>
-{ :report log:outputString ?Block. } .
-

package/see/examples/n3/collection.n3

@@ -1,3 +0,0 @@
-@prefix : <https://eyereasoner.github.io/see/examples/collection#>.
-(1 _:b2 (2)) :p2 :q2 .
-_:b2 :p :q .