eyeling 1.23.4 → 1.24.0

package/see/examples/input/path_discovery.trig

@@ -0,0 +1,29 @@
+@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 uses the N3 form produced from this file by tools/n3gen.js.
+
+# 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/rc_discharge_envelope.trig

@@ -0,0 +1,37 @@
+@prefix : <https://eyereasoner.github.io/see/examples/rc-discharge-envelope#> .
+@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 :samplePeriod 0.025 .
+:case :exactDecaySymbol "exp(-1/4)" .
+:case :decayLower 0.778800783 .
+:case :decayUpper 0.7788007831 .
+:case :initialVoltage 24 .
+:case :tolerance 1 .
+:case :maxStep 18 .
+:case :candidateStep :step12 .
+:case :candidateStep :step13 .
+:step12 :index 12 .
+:step13 :index 13 .
+:step13 :previousStep :step12 .
+
+in:metadata {
+  in:run a see:InputDataset .
+  in:run see:name "rc_discharge_envelope" .
+  in:run see:title "RC Discharge Envelope" .
+  in:run see:sourceFile "examples/n3/rc_discharge_envelope.n3" .
+  in:run see:sourceSHA256 "41acff69cd2994230faedf5a466b4c43d47cdff9dc6d834baecd9865979160b8" .
+  in:run see:description "Certify when a sampled RC capacitor is guaranteed below tolerance using an\nupper decay bound. The witness is derived by N3 rules and compiled to SEE." .
+  in:run see:compiler "see.js N3-to-JS compiler" .
+  in:run see:inputFacts 12 .
+  in:run see:compiledRules 6 .
+  in:run see:compiledBackwardRules 0 .
+  in:run see:compiledFuses 0 .
+  in:run see:compiledQueries 0 .
+}

package/see/examples/input/rdf_message_flow.trig

@@ -0,0 +1,100 @@
+@prefix : <https://eyereasoner.github.io/see/examples/rdf-message-flow#> .
+@prefix msg: <https://example.org/msg#> .
+@prefix prov: <http://www.w3.org/ns/prov#> .
+@prefix sosa: <http://www.w3.org/ns/sosa/> .
+@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
+@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#> .
+@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.
+
+:temperatureFlow rdf:type msg:MessageStream .
+:temperatureFlow msg:orderedMessages (:m001 :m002 :m003 :m004 :m005) .
+:temperatureFlow msg:message :m001 .
+:temperatureFlow msg:message :m002 .
+:temperatureFlow msg:message :m003 .
+:temperatureFlow msg:message :m004 .
+:temperatureFlow msg:message :m005 .
+:temperatureFlow :pipeline (:ingest :validate :interpret :route :sink) .
+:temperatureFlow :highThreshold 26 .
+:m001 :atStage :ingest .
+:m001 rdf:type msg:RDFMessage .
+:m001 msg:offset 1 .
+:m001 msg:nextMessage :m002 .
+:m001 prov:generatedAtTime "2026-05-12T18:20:00Z" .
+:m001 msg:payloadKind :observation .
+:m001 msg:expectedResult 21 .
+:m001 msg:payload in:formula1 .
+:m002 rdf:type msg:RDFMessage .
+:m002 msg:offset 2 .
+:m002 msg:nextMessage :m003 .
+:m002 prov:generatedAtTime "2026-05-12T18:21:00Z" .
+:m002 msg:payloadKind :observation .
+:m002 msg:expectedResult 22 .
+:m002 msg:payload in:formula2 .
+:m003 rdf:type msg:RDFMessage .
+:m003 msg:offset 3 .
+:m003 msg:nextMessage :m004 .
+:m003 prov:generatedAtTime "2026-05-12T18:22:00Z" .
+:m003 msg:payloadKind :heartbeat .
+:m004 rdf:type msg:RDFMessage .
+:m004 msg:offset 4 .
+:m004 msg:nextMessage :m005 .
+:m004 prov:generatedAtTime "2026-05-12T18:23:00Z" .
+:m004 msg:payloadKind :observation .
+:m004 msg:expectedResult 28 .
+:m004 msg:payload in:formula3 .
+:m005 rdf:type msg:RDFMessage .
+:m005 msg:offset 5 .
+:m005 prov:generatedAtTime "2026-05-12T18:24:00Z" .
+:m005 msg:payloadKind :observation .
+:m005 msg:expectedResult 29 .
+:m005 msg:payload in:formula4 .
+
+in:formula1 {
+  _:m001b0 rdf:type sosa:Observation .
+  _:m001b0 sosa:madeBySensor :thermometerA .
+  _:m001b0 sosa:resultTime "2026-05-12T18:20:00Z" .
+  _:m001b0 sosa:hasSimpleResult 21 .
+}
+
+in:formula2 {
+  _:m002b0 rdf:type sosa:Observation .
+  _:m002b0 sosa:madeBySensor :thermometerA .
+  _:m002b0 sosa:resultTime "2026-05-12T18:21:00Z" .
+  _:m002b0 sosa:hasSimpleResult 22 .
+}
+
+in:formula3 {
+  _:m004b0 rdf:type sosa:Observation .
+  _:m004b0 sosa:madeBySensor :thermometerA .
+  _:m004b0 sosa:resultTime "2026-05-12T18:23:00Z" .
+  _:m004b0 sosa:hasSimpleResult 28 .
+}
+
+in:formula4 {
+  _:m005b0 rdf:type sosa:Observation .
+  _:m005b0 sosa:madeBySensor :thermometerA .
+  _:m005b0 sosa:resultTime "2026-05-12T18:24:00Z" .
+  _:m005b0 sosa:hasSimpleResult 29 .
+}
+
+in:metadata {
+  in:run a see:InputDataset .
+  in:run see:name "rdf_message_flow" .
+  in:run see:title "RDF Message Flow" .
+  in:run see:sourceFile "examples/n3/rdf_message_flow.n3" .
+  in:run see:sourceSHA256 "e4e534c8ac3c2aa276e7158cca8d3146531879033f73685c302b486be2ab0099" .
+  in:run see:description "A companion to rdf_messages.n3. This example focuses on a live stream where\nRDF Messages continuously flow through a small processing pipeline. The next\nmessage is released only after the current message reaches the sink, so the\nstream behaves as an ordered, replayable flow rather than a single merged RDF\ngraph." .
+  in:run see:compiler "see.js N3-to-JS compiler" .
+  in:run see:inputFacts 42 .
+  in:run see:compiledRules 9 .
+  in:run see:compiledBackwardRules 0 .
+  in:run see:compiledFuses 0 .
+  in:run see:compiledQueries 1 .
+}

package/see/examples/input/rdf_messages.trig

@@ -0,0 +1,69 @@
+@prefix : <https://eyereasoner.github.io/see/examples/rdf-messages#> .
+@prefix msg: <https://w3c-cg.github.io/rsp/spec/messages#> .
+@prefix prov: <http://www.w3.org/ns/prov#> .
+@prefix sosa: <http://www.w3.org/ns/sosa/> .
+@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
+@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#> .
+@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.
+
+:temperatureLog rdf:type msg:MessageLog .
+:temperatureLog msg:orderedMessages (:m001 :m002 :m003) .
+:temperatureLog msg:message :m001 .
+:temperatureLog msg:message :m002 .
+:temperatureLog msg:message :m003 .
+:temperatureLog msg:profile :generatedAtTimeProfile .
+:temperatureLog msg:retentionPolicy "replayable archive" .
+:m001 rdf:type msg:RDFMessage .
+:m001 msg:offset 1 .
+:m001 prov:generatedAtTime "2026-05-12T18:20:00Z" .
+:m001 msg:payloadKind :observation .
+:m001 msg:localBlankLabel "_:b0" .
+:m001 msg:expectedResult 22 .
+:m001 msg:payload in:formula1 .
+:m002 rdf:type msg:RDFMessage .
+:m002 msg:offset 2 .
+:m002 prov:generatedAtTime "2026-05-12T18:22:00Z" .
+:m002 msg:payloadKind :heartbeat .
+:m003 rdf:type msg:RDFMessage .
+:m003 msg:offset 3 .
+:m003 prov:generatedAtTime "2026-05-12T18:25:00Z" .
+:m003 msg:payloadKind :observation .
+:m003 msg:localBlankLabel "_:b0" .
+:m003 msg:expectedResult 23 .
+:m003 msg:payload in:formula2 .
+
+in:formula1 {
+  _:m001b0 rdf:type sosa:Observation .
+  _:m001b0 sosa:madeBySensor :thermometerA .
+  _:m001b0 sosa:resultTime "2026-05-12T18:20:00Z" .
+  _:m001b0 sosa:hasSimpleResult 22 .
+}
+
+in:formula2 {
+  _:m003b0 rdf:type sosa:Observation .
+  _:m003b0 sosa:madeBySensor :thermometerA .
+  _:m003b0 sosa:resultTime "2026-05-12T18:25:00Z" .
+  _:m003b0 sosa:hasSimpleResult 23 .
+}
+
+in:metadata {
+  in:run a see:InputDataset .
+  in:run see:name "rdf_messages" .
+  in:run see:title "RDF Messages" .
+  in:run see:sourceFile "examples/n3/rdf_messages.n3" .
+  in:run see:sourceSHA256 "2ea8b414b92e65531cf384000955ca47811d5b7c779a8d2c9fb007515e745f32" .
+  in:run see:description "This SEE example models the main idea from\nhttps://pietercolpaert.be/papers/eswc2026-rdf-messages/:\na message stream/log is not just one freely mergeable RDF graph. It is an\nordered sequence of RDF Datasets that are interpreted atomically, one message\nat a time. The middle message is deliberately empty to model a heartbeat, and\nthe local blank-node label \"_:b0\" is deliberately reused by two messages to\nshow message-scoped blank nodes." .
+  in:run see:compiler "see.js N3-to-JS compiler" .
+  in:run see:inputFacts 25 .
+  in:run see:compiledRules 6 .
+  in:run see:compiledBackwardRules 0 .
+  in:run see:compiledFuses 0 .
+  in:run see:compiledQueries 1 .
+}

package/see/examples/input/school_placement_audit.trig

@@ -0,0 +1,51 @@
+@prefix : <https://eyereasoner.github.io/see/examples/school-placement-audit#> .
+@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.
+
+:Policy :maxWalkingMeters 2500 .
+:Policy :preferencePenaltyMeters 600 .
+:Ada :name "Ada" .
+:Ada :provisional :Centrum .
+:Ada :auditedBest :Lindholmen .
+:Ada :hiddenDetour 3000 .
+:Ada :walkingMeters 3600 .
+:Bjorn :name "Björn" .
+:Bjorn :provisional :Centrum .
+:Bjorn :auditedBest :Backa .
+:Bjorn :hiddenDetour 2000 .
+:Bjorn :walkingMeters 3100 .
+:Clara :name "Clara" .
+:Clara :provisional :Haga .
+:Clara :auditedBest :Haga .
+:Clara :hiddenDetour 150 .
+:Clara :walkingMeters 800 .
+:Davi :name "Davi" .
+:Davi :provisional :Centrum .
+:Davi :auditedBest :Haga .
+:Davi :hiddenDetour 1800 .
+:Davi :walkingMeters 2800 .
+:Lindholmen :label "Lindholmen" .
+:Haga :label "Haga" .
+:Centrum :label "Centrum" .
+:Backa :label "Backa" .
+
+in:metadata {
+  in:run a see:InputDataset .
+  in:run see:name "school_placement_audit" .
+  in:run see:title "School Placement Route Audit" .
+  in:run see:sourceFile "examples/n3/school_placement_audit.n3" .
+  in:run see:sourceSHA256 "8bea39b2ea4c3045fed64b6e7adef0ca8cdf8d14c3735e28e831a759dae600fd" .
+  in:run see:description "N3-compiled version of the school placement audit. The original student,\nschool, distance, and policy JSON is preserved as the data-input sidecar." .
+  in:run see:compiler "see.js N3-to-JS compiler" .
+  in:run see:inputFacts 26 .
+  in:run see:compiledRules 4 .
+  in:run see:compiledBackwardRules 0 .
+  in:run see:compiledFuses 0 .
+  in:run see:compiledQueries 1 .
+}

package/see/examples/input/smoke_arithmetic.trig

@@ -0,0 +1,27 @@
+@prefix : <https://example.org/see/smoke#> .
+@prefix math: <http://www.w3.org/2000/10/swap/math#> .
+@prefix string: <http://www.w3.org/2000/10/swap/string#> .
+@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.
+
+:Input :x 6 .
+:Input :y 7 .
+
+in:metadata {
+  in:run a see:InputDataset .
+  in:run see:name "smoke_arithmetic" .
+  in:run see:title "Smoke Arithmetic" .
+  in:run see:sourceFile "examples/n3/smoke_arithmetic.n3" .
+  in:run see:sourceSHA256 "e254b8b9be8207c07f29cf30426466e2d916286b5f93ea4385786a5d80303499" .
+  in:run see:description "Small Notation3 source used to prove that see.js generates a specialized JS\nexample which derives its answer from facts, math built-ins, fuses, and string\nformatting instead of reading a prewritten conclusion." .
+  in:run see:compiler "see.js N3-to-JS compiler" .
+  in:run see:inputFacts 2 .
+  in:run see:compiledRules 2 .
+  in:run see:compiledBackwardRules 0 .
+  in:run see:compiledFuses 0 .
+  in:run see:compiledQueries 0 .
+}

package/see/examples/input/socrates.trig

@@ -0,0 +1,26 @@
+@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

@@ -0,0 +1,48 @@
+@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

@@ -0,0 +1,26 @@
+@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

@@ -0,0 +1,28 @@
+# ===========================================
+# 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

@@ -0,0 +1,7 @@
+@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

@@ -0,0 +1,22 @@
+# ============================================================== 
+# 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/backward_recursion.n3

@@ -0,0 +1,12 @@
+# Backward recursion coverage
+# Demonstrates recursive <= rules compiled into specialized JavaScript.
+
+@prefix : <urn:example#>.
+:a :parent :b.
+:b :parent :c.
+
+{ ?x :ancestor ?y } <= { ?x :parent ?y }.
+{ ?x :ancestor ?z } <= { ?x :parent ?y. ?y :ancestor ?z }.
+
+{ :a :ancestor ?who } => { :a :reaches ?who }.
+{ :a :reaches ?who } log:query { :a :reaches ?who }.

package/see/examples/n3/bayes_diagnosis.n3

@@ -0,0 +1,122 @@
+# ===============
+# 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 }.