eyeling 1.16.3 → 1.16.5

package/examples/gps.n3

@@ -1,63 +1,154 @@
-# =======================================================================
-# Goal driven Parallel Sequences
-# See https://www.sciencedirect.com/science/article/pii/S1532046421000794
-# and https://github.com/hongsun502/wstLogic/tree/master
-# =======================================================================
+# ===========================================================================
+# GPS — ARC-style goal-driven path example.
+#
+# This example shows a tiny route planner for western Belgium. Starting in Gent,
+# the program works out the available routes to Oostende, compares them, and
+# recommends the better one. It does not only print an answer: it also explains
+# why that route was chosen and checks that the recommendation is consistent
+# with the computed travel metrics.
+# ===========================================================================
 
+@prefix log: <http://www.w3.org/2000/10/swap/log#>.
 @prefix math: <http://www.w3.org/2000/10/swap/math#>.
 @prefix list: <http://www.w3.org/2000/10/swap/list#>.
-@prefix gps:  <https://eyereasoner.github.io/eye/reasoning/gps/gps-schema#>.
-@prefix :     <https://eyereasoner.github.io/eye/reasoning#>.
+@prefix string: <http://www.w3.org/2000/10/swap/string#>.
+@prefix gps: <https://example.org/gps#>.
+@prefix : <https://example.org/gps-case#>.
+
+# -----
+# Facts
+# -----
 
-# current state
 :i1 :location :Gent.
+:question :text "Which route should we take from Gent to Oostende?".
 
-# -------------------------------------------------
-# map of Belgium (as backward rules / descriptions)
-# -------------------------------------------------
-{:map-BE gps:description ({?S :location :Gent}     true {?S :location :Brugge}   :drive_gent_brugge      1500.0 0.006 0.96 0.99)} <= true.
-{:map-BE gps:description ({?S :location :Gent}     true {?S :location :Kortrijk} :drive_gent_kortrijk    1600.0 0.007 0.96 0.99)} <= true.
-{:map-BE gps:description ({?S :location :Kortrijk} true {?S :location :Brugge}   :drive_kortrijk_brugge  1600.0 0.007 0.96 0.99)} <= true.
-{:map-BE gps:description ({?S :location :Brugge}   true {?S :location :Oostende} :drive_brugge_oostende   900.0 0.004 0.98 1.0 )} <= true.
-
-# -----------------------------
-# Compute all paths by chaining
-# -----------------------------
-# Base: a single map description is a path
-{
-  (?From ?To (?Act) ?Dur ?Cost ?Belief ?Comfort) :path true.
-}
-<=
-{
-  :map-BE gps:description (?From true ?To ?Act ?Dur ?Cost ?Belief ?Comfort).
-}.
-
-# Recursive: chain one step + rest path, and aggregate weights
-{
-  (?From ?To ?Actions ?Dur ?Cost ?Belief ?Comfort) :path true.
-}
-<=
-{
-  :map-BE gps:description (?From true ?Mid ?Act ?Dur1 ?Cost1 ?Bel1 ?Comf1).
-  (?Mid ?To ?RestActs ?Dur2 ?Cost2 ?Bel2 ?Comf2) :path true.
+:routeDirect :label "Gent → Brugge → Oostende".
+:routeViaKortrijk :label "Gent → Kortrijk → Brugge → Oostende".
+
+# ----------------------------------------------------------------
+# Map of Belgium (kept from the original as backward descriptions)
+# ----------------------------------------------------------------
+
+{ :mapBE gps:description ({?S :location :Gent} true {?S :location :Brugge} :drive_gent_brugge 1500.0 0.006 0.96 0.99) }
+    <= true.
+
+{ :mapBE gps:description ({?S :location :Gent} true {?S :location :Kortrijk} :drive_gent_kortrijk 1600.0 0.007 0.96 0.99) }
+    <= true.
 
+{ :mapBE gps:description ({?S :location :Kortrijk} true {?S :location :Brugge} :drive_kortrijk_brugge 1600.0 0.007 0.96 0.99) }
+    <= true.
+
+{ :mapBE gps:description ({?S :location :Brugge} true {?S :location :Oostende} :drive_brugge_oostende 900.0 0.004 0.98 1.0) }
+    <= true.
+
+# -----------------------------------------------------
+# Logic: compute all paths by chaining map descriptions
+# -----------------------------------------------------
+
+# Base: a single map description is already a path.
+{ (?From ?To (?Act) ?Dur ?Cost ?Belief ?Comfort) :path true. }
+    <=
+{ :mapBE gps:description (?From true ?To ?Act ?Dur ?Cost ?Belief ?Comfort). }.
+
+# Recursive: extend a description with the rest of a path.
+{ (?From ?To ?Actions ?Dur ?Cost ?Belief ?Comfort) :path true. }
+    <=
+{ :mapBE gps:description (?From true ?Mid ?Act ?Dur1 ?Cost1 ?Bel1 ?Comf1).
+  (?Mid ?To ?RestActs ?Dur2 ?Cost2 ?Bel2 ?Comf2) :path true.
   ((?Act) ?RestActs) list:append ?Actions.
+  (?Dur1 ?Dur2) math:sum ?Dur.
+  (?Cost1 ?Cost2) math:sum ?Cost.
+  (?Bel1 ?Bel2) math:product ?Belief.
+  (?Comf1 ?Comf2) math:product ?Comfort. }.
+
+# Query the path relation for the traveller starting in Gent and aiming for Oostende.
+{ :i1 :location :Gent.
+  ({:i1 :location :Gent} {:i1 :location :Oostende} ?Acts ?Dur ?Cost ?Bel ?Comf) :path true. }
+    =>
+{ :i1 gps:path (?Acts ?Dur ?Cost ?Bel ?Comf). }.
+
+# Name the two concrete routes that exist in this tiny map.
+{ :i1 gps:path ((:drive_gent_brugge :drive_brugge_oostende) ?Dur ?Cost ?Bel ?Comf). }
+    =>
+{ :routeDirect :duration ?Dur;
+               :cost ?Cost;
+               :belief ?Bel;
+               :comfort ?Comf. }.
+
+{ :i1 gps:path ((:drive_gent_kortrijk :drive_kortrijk_brugge :drive_brugge_oostende) ?Dur ?Cost ?Bel ?Comf). }
+    =>
+{ :routeViaKortrijk :duration ?Dur;
+                    :cost ?Cost;
+                    :belief ?Bel;
+                    :comfort ?Comf. }.
+
+# ------------------------------------
+# Decision: recommend the better route
+# ------------------------------------
+
+{ :routeDirect :duration ?D1; :cost ?C1; :belief ?B1; :comfort ?F1.
+  :routeViaKortrijk :duration ?D2; :cost ?C2; :belief ?B2; :comfort ?F2.
+  ?D1 math:lessThan ?D2.
+  ?C1 math:lessThan ?C2.
+  ?B1 math:greaterThan ?B2.
+  ?F1 math:greaterThan ?F2. }
+    =>
+{ :decision :recommendedRoute :routeDirect;
+            :outcome "Take the direct route via Brugge.". }.
+
+# ---------------------------------------------------
+# Presentation: ARC output as one deterministic block
+# ---------------------------------------------------
+
+{ :decision :recommendedRoute :routeDirect; :outcome ?Outcome.
+  :routeDirect :label ?BestLabel; :duration ?BestDur; :cost ?BestCost; :belief ?BestBel; :comfort ?BestComf.
+  :routeViaKortrijk :label ?AltLabel; :duration ?AltDur; :cost ?AltCost; :belief ?AltBel; :comfort ?AltComf.
+  (
+    "GPS — Goal driven route planning\n\n"
+    "Answer\n"
+    ?Outcome "\n"
+    "Recommended route: " ?BestLabel "\n\n"
+    "Reason Why\n"
+    "From Gent to Oostende, the planner found two routes in this small map. "
+    "The direct route (" ?BestLabel ") takes " ?BestDur " seconds at cost " ?BestCost
+    ", with belief " ?BestBel " and comfort " ?BestComf ". "
+    "The alternative (" ?AltLabel ") takes " ?AltDur " seconds at cost " ?AltCost
+    ", with belief " ?AltBel " and comfort " ?AltComf ". "
+    "So the direct route is faster, cheaper, more reliable, and slightly more comfortable.\n\n"
+    "Check\n"
+    "C1 OK - the direct Gent → Brugge → Oostende route was derived.\n"
+    "C2 OK - the alternative Gent → Kortrijk → Brugge → Oostende route was derived.\n"
+    "C3 OK - the recommended route is faster than the alternative.\n"
+    "C4 OK - the recommended route is cheaper than the alternative.\n"
+    "C5 OK - the recommended route has higher belief and comfort scores.\n"
+  ) string:concatenation ?Block. }
+    =>
+{ :report log:outputString ?Block. }.
+
+# -----------------------------------------------------------------------
+# Verification: fail loudly if the recommendation contradicts the metrics
+# -----------------------------------------------------------------------
+
+{ :decision :recommendedRoute :routeDirect.
+  :routeDirect :duration ?D1.
+  :routeViaKortrijk :duration ?D2.
+  ?D1 math:notLessThan ?D2. }
+    => false.
+
+{ :decision :recommendedRoute :routeDirect.
+  :routeDirect :cost ?C1.
+  :routeViaKortrijk :cost ?C2.
+  ?C1 math:notLessThan ?C2. }
+    => false.
 
-  (?Dur1  ?Dur2)  math:sum     ?Dur.
-  (?Cost1 ?Cost2) math:sum     ?Cost.
-  (?Bel1  ?Bel2)  math:product ?Belief.
-  (?Comf1 ?Comf2) math:product ?Comfort.
-}.
-
-# ------------------------------------------------------
-# "Query": derive gps:path facts for i1, goal = Oostende
-# ------------------------------------------------------
-{
-  :i1 :location :Gent.
-  ({:i1 :location :Gent} {:i1 :location :Oostende} ?Acts ?Dur ?Cost ?Bel ?Comf) :path true.
-}
-=>
-{
-  :i1 gps:path (?Acts ?Dur ?Cost ?Bel ?Comf).
-}.
+{ :decision :recommendedRoute :routeDirect.
+  :routeDirect :belief ?B1.
+  :routeViaKortrijk :belief ?B2.
+  ?B1 math:notGreaterThan ?B2. }
+    => false.
 
+{ :decision :recommendedRoute :routeDirect.
+  :routeDirect :comfort ?F1.
+  :routeViaKortrijk :comfort ?F2.
+  ?F1 math:notGreaterThan ?F2. }
+    => false.

package/examples/ill-formed-literals.n3

@@ -0,0 +1,195 @@
+# ==========================
+# Ill-formed literal checker
+#
+# Datatypes covered
+# - xsd:boolean
+# - integer family
+# - xsd:decimal
+# - xsd:float / xsd:double
+# - xsd:date
+# - xsd:dateTime
+# - xsd:duration
+# ==========================
+
+@prefix :       <http://example.org/#>.
+@prefix list:   <http://www.w3.org/2000/10/swap/list#>.
+@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#>.
+@prefix xsd:    <http://www.w3.org/2001/XMLSchema#>.
+
+# ---------
+# Demo data
+# ---------
+
+# well-formed examples
+:okInt       :p "42"^^xsd:integer.
+:okBool1     :p "true"^^xsd:boolean.
+:okBool2     :p "0"^^xsd:boolean.
+:okDecimal   :p "-12.50"^^xsd:decimal.
+:okDouble    :p "6.022e23"^^xsd:double.
+:okDate      :p "2025-01-31"^^xsd:date.
+:okDateTime  :p "2025-01-31T23:59:59Z"^^xsd:dateTime.
+:okDuration  :p "PT900S"^^xsd:duration.
+
+# ill-formed examples
+:badInt1      :p "abc"^^xsd:integer.
+:badInt2      :p "12.3"^^xsd:int.
+:badBool      :p "truish"^^xsd:boolean.
+:badDecimal   :p "12.3.4"^^xsd:decimal.
+:badDouble    :p "1e"^^xsd:double.
+:badDate      :p "yesterday"^^xsd:dateTime.
+:badDateTime  :p "not-a-datetime"^^xsd:dateTime.
+:badDuration  :p "not-a-duration"^^xsd:duration.
+
+# ---------------------------------
+# Rules: detect ill-formed literals
+# ---------------------------------
+
+# xsd:boolean
+{
+  ?s ?p ?lit.
+  ?lit log:rawType log:Literal.
+  (?lex xsd:boolean) log:dtlit ?lit.
+  ?lex string:notMatches "^(true|false|1|0)$".
+}
+=>
+{
+  (?s ?p ?lit)
+      :illFormedLiteral true;
+      :datatype xsd:boolean;
+      :lexicalForm ?lex;
+      :reason "invalid xsd:boolean lexical form".
+}.
+
+# integer family
+{
+  ?s ?p ?lit.
+  ?lit log:rawType log:Literal.
+  (?lex ?dt) log:dtlit ?lit.
+  ?dt list:in (
+      xsd:integer
+      xsd:long
+      xsd:int
+      xsd:short
+      xsd:byte
+      xsd:nonNegativeInteger
+      xsd:positiveInteger
+      xsd:nonPositiveInteger
+      xsd:negativeInteger
+      xsd:unsignedLong
+      xsd:unsignedInt
+      xsd:unsignedShort
+      xsd:unsignedByte
+  ).
+  ?lex string:notMatches "^[+-]?[0-9]+$".
+}
+=>
+{
+  (?s ?p ?lit)
+      :illFormedLiteral true;
+      :datatype ?dt;
+      :lexicalForm ?lex;
+      :reason "invalid integer-family lexical form".
+}.
+
+# xsd:decimal
+{
+  ?s ?p ?lit.
+  ?lit log:rawType log:Literal.
+  (?lex xsd:decimal) log:dtlit ?lit.
+  ?lex string:notMatches "^[+-]?(?:[0-9]+\\.[0-9]*|\\.[0-9]+|[0-9]+)$".
+}
+=>
+{
+  (?s ?p ?lit)
+      :illFormedLiteral true;
+      :datatype xsd:decimal;
+      :lexicalForm ?lex;
+      :reason "invalid xsd:decimal lexical form".
+}.
+
+# xsd:float / xsd:double
+{
+  ?s ?p ?lit.
+  ?lit log:rawType log:Literal.
+  (?lex ?dt) log:dtlit ?lit.
+  ?dt list:in ( xsd:float xsd:double ).
+  ?lex string:notMatches "^(?:NaN|INF|-INF|[+-]?(?:[0-9]+(?:\\.[0-9]*)?|\\.[0-9]+)(?:[eE][+-]?[0-9]+)?)$".
+}
+=>
+{
+  (?s ?p ?lit)
+      :illFormedLiteral true;
+      :datatype ?dt;
+      :lexicalForm ?lex;
+      :reason "invalid xsd:float/xsd:double lexical form".
+}.
+
+# xsd:date
+{
+  ?s ?p ?lit.
+  ?lit log:rawType log:Literal.
+  (?lex xsd:date) log:dtlit ?lit.
+  1 log:notIncludes { ?lit math:equalTo ?lit. }.
+}
+=>
+{
+  (?s ?p ?lit)
+      :illFormedLiteral true;
+      :datatype xsd:date;
+      :lexicalForm ?lex;
+      :reason "xsd:date literal is not parseable by the reasoner".
+}.
+
+# xsd:dateTime
+{
+  ?s ?p ?lit.
+  ?lit log:rawType log:Literal.
+  (?lex xsd:dateTime) log:dtlit ?lit.
+  1 log:notIncludes { ?lit math:equalTo ?lit. }.
+}
+=>
+{
+  (?s ?p ?lit)
+      :illFormedLiteral true;
+      :datatype xsd:dateTime;
+      :lexicalForm ?lex;
+      :reason "xsd:dateTime literal is not parseable by the reasoner".
+}.
+
+# xsd:duration
+{
+  ?s ?p ?lit.
+  ?lit log:rawType log:Literal.
+  (?lex xsd:duration) log:dtlit ?lit.
+  1 log:notIncludes { ?lit math:equalTo ?lit. }.
+}
+=>
+{
+  (?s ?p ?lit)
+      :illFormedLiteral true;
+      :datatype xsd:duration;
+      :lexicalForm ?lex;
+      :reason "xsd:duration literal is not parseable by the reasoner".
+}.
+
+# -----------------
+# Output projection
+# -----------------
+
+{
+  ?issue :illFormedLiteral true;
+         :datatype ?dt;
+         :lexicalForm ?lex;
+         :reason ?why.
+}
+log:query
+{
+  ?issue :datatype ?dt;
+         :lexicalForm ?lex;
+         :reason ?why.
+}.
+
+# Optional hard-fail mode:
+# { ?issue :illFormedLiteral true. } => false.

package/examples/output/auroracare.n3

@@ -0,0 +1,118 @@
+@prefix : <https://example.org/auroracare#> .
+@prefix ac: <https://example.org/auroracare#> .
+@prefix log: <http://www.w3.org/2000/10/swap/log#> .
+
+:scenario_C :decision "DENY" .
+:scenario_C :reason "Denied: no policy matched (purpose, environment, TOMs, or categories out of scope)." .
+:scenario_C :trace "urn:policy:qi-2025-aurora:deny:odrl:no_permission_matched" .
+:scenario_D :matchedProhibition :policy_deny_insurance .
+:scenario_D :decision "DENY" .
+:scenario_D :reason "Denied: the requested purpose (insurance management) is prohibited by policy." .
+:scenario_D :trace "deny:prohibited_purpose" .
+:scenario_D :trace "urn:policy:deny-insurance:deny:odrl:prohibition_matched" .
+:scenario_C :checkC1 "SKIPPED - not a prohibited purpose" .
+:scenario_C :checkC2 "SKIPPED" .
+:scenario_C :checkC3 "SKIPPED" .
+:scenario_C :checkC4 "OK - denied because opt-in missing or no policy match" .
+:scenario_C :checkC5 "SKIPPED" .
+:scenario_C :checkC6 "SKIPPED - no prohibition matched" .
+:scenario_C :checkC7 "SKIPPED" .
+:scenario_C :checkC8 "SKIPPED - no matched policy or no duties" .
+:scenario_C :checkC9 "SKIPPED" .
+:scenario_C :checkC10Text "SKIPPED - no matched policy" .
+:out_030_C log:outputString "=== C – Quality improvement (out of scope) ===\nQI analyst with only lab results; policy expects labs + summary.\n\nAnswer\nDENY\n\nReason Why\nDenied: no policy matched (purpose, environment, TOMs, or categories out of scope).\n\nCheck\nC1 SKIPPED - not a prohibited purpose\nC2 SKIPPED\nC3 SKIPPED\nC4 OK - denied because opt-in missing or no policy match\nC5 SKIPPED\nC6 SKIPPED - no prohibition matched\nC7 SKIPPED\nC8 SKIPPED - no matched policy or no duties\nC9 SKIPPED\nC10 SKIPPED - no matched policy\n\n" .
+:scenario_D :checkC1 "OK - denied prohibited purpose" .
+:scenario_D :checkC2 "SKIPPED" .
+:scenario_D :checkC3 "SKIPPED" .
+:scenario_D :checkC4 "SKIPPED" .
+:scenario_D :checkC5 "SKIPPED" .
+:scenario_D :checkC6 "OK - denied due to prohibition" .
+:scenario_D :checkC7 "SKIPPED" .
+:scenario_D :checkC8 "SKIPPED - no matched policy or no duties" .
+:scenario_D :checkC9 "SKIPPED" .
+:scenario_D :checkC10Text "SKIPPED - no matched policy" .
+:out_040_D log:outputString "=== D – Insurance management ===\nInsurance bot attempting to use health data for insurance management (prohibited purpose).\n\nAnswer\nDENY\n\nReason Why\nDenied: the requested purpose (insurance management) is prohibited by policy.\n\nCheck\nC1 OK - denied prohibited purpose\nC2 SKIPPED\nC3 SKIPPED\nC4 SKIPPED\nC5 SKIPPED\nC6 OK - denied due to prohibition\nC7 SKIPPED\nC8 SKIPPED - no matched policy or no duties\nC9 SKIPPED\nC10 SKIPPED - no matched policy\n\n" .
+:scenario_A :careTeamLinked "yes" .
+:scenario_E :careTeamLinked "yes" .
+:scenario_F :subjectOptIn "yes" .
+:scenario_G :subjectOptOut "yes" .
+:scenario_A :matchedPolicy :policy_primary .
+:scenario_A :matchedPolicyUid "urn:policy:primary-care-001" .
+:scenario_A :decision "PERMIT" .
+:scenario_A :reason "Permitted: clinician in the patient's care team, and the primary-care policy matched." .
+:scenario_A :trace "permit:primary_care_allowed" .
+:scenario_A :trace "urn:policy:primary-care-001:permit:odrl:permission_matched" .
+:scenario_E :matchedPolicy :policy_primary .
+:scenario_E :matchedPolicyUid "urn:policy:primary-care-001" .
+:scenario_E :decision "PERMIT" .
+:scenario_E :reason "Permitted: clinician in the patient's care team, and the primary-care policy matched." .
+:scenario_E :trace "permit:primary_care_allowed" .
+:scenario_E :trace "urn:policy:primary-care-001:permit:odrl:permission_matched" .
+:scenario_B :matchedPolicy :policy_qi .
+:scenario_B :matchedPolicyUid "urn:policy:qi-2025-aurora" .
+:scenario_B :decision "PERMIT" .
+:scenario_B :reason "Permitted: ODRL/DPV policy matched for secondary use." .
+:scenario_B :trace "urn:policy:qi-2025-aurora:permit:odrl:permission_matched" .
+:scenario_F :matchedPolicy :policy_research .
+:scenario_F :matchedPolicyUid "urn:policy:research-aurora-diabetes" .
+:scenario_F :decision "PERMIT" .
+:scenario_F :reason "Permitted: subject opted in and an ODRL/DPV policy matched (anonymised dataset in secure environment)." .
+:scenario_F :trace "urn:policy:research-aurora-diabetes:permit:odrl:permission_matched" .
+:scenario_G :decision "DENY" .
+:scenario_G :reason "Denied: you opted out of your data being used to train AI systems." .
+:scenario_G :trace "deny:subject_opted_out_ai_training" .
+:scenario_A :checkC1 "SKIPPED - not a prohibited purpose" .
+:scenario_A :checkC2 "OK - clinician" .
+:scenario_A :checkC3 "OK - care-team linked" .
+:scenario_A :checkC4 "SKIPPED" .
+:scenario_A :checkC5 "OK - operator=isAnyOf, allowed=[\"https://example.org/health#PATIENT_SUMMARY\",\"https://example.org/health#LAB_RESULTS\"], requested=[\"https://example.org/health#PATIENT_SUMMARY\"]" .
+:scenario_A :checkC6 "SKIPPED - no prohibition matched" .
+:scenario_A :checkC7 "OK - trace shows matching permission" .
+:scenario_A :checkC8 "SKIPPED - no matched policy or no duties" .
+:scenario_A :checkC9 "SKIPPED - policy has no environment constraint" .
+:scenario_A :checkC10Text "INFO - matched policy: urn:policy:primary-care-001" .
+:out_010_A log:outputString "=== A – Primary care visit ===\nClinician in the patient's care team accessing the patient summary for primary care management.\n\nAnswer\nPERMIT\n\nReason Why\nPermitted: clinician in the patient's care team, and the primary-care policy matched.\n\nCheck\nC1 SKIPPED - not a prohibited purpose\nC2 OK - clinician\nC3 OK - care-team linked\nC4 SKIPPED\nC5 OK - operator=isAnyOf, allowed=[\"https://example.org/health#PATIENT_SUMMARY\",\"https://example.org/health#LAB_RESULTS\"], requested=[\"https://example.org/health#PATIENT_SUMMARY\"]\nC6 SKIPPED - no prohibition matched\nC7 OK - trace shows matching permission\nC8 SKIPPED - no matched policy or no duties\nC9 SKIPPED - policy has no environment constraint\nC10 INFO - matched policy: urn:policy:primary-care-001\n\n" .
+:scenario_E :checkC1 "SKIPPED - not a prohibited purpose" .
+:scenario_E :checkC2 "OK - clinician" .
+:scenario_E :checkC3 "OK - care-team linked" .
+:scenario_E :checkC4 "SKIPPED" .
+:scenario_E :checkC5 "OK - operator=isAnyOf, allowed=[\"https://example.org/health#PATIENT_SUMMARY\",\"https://example.org/health#LAB_RESULTS\"], requested=[\"https://example.org/health#LAB_RESULTS\"]" .
+:scenario_E :checkC6 "SKIPPED - no prohibition matched" .
+:scenario_E :checkC7 "OK - trace shows matching permission" .
+:scenario_E :checkC8 "SKIPPED - no matched policy or no duties" .
+:scenario_E :checkC9 "SKIPPED - policy has no environment constraint" .
+:scenario_E :checkC10Text "INFO - matched policy: urn:policy:primary-care-001" .
+:out_050_E log:outputString "=== E – GP checks labs ===\nGP for the same patient checking lab results via the API gateway.\n\nAnswer\nPERMIT\n\nReason Why\nPermitted: clinician in the patient's care team, and the primary-care policy matched.\n\nCheck\nC1 SKIPPED - not a prohibited purpose\nC2 OK - clinician\nC3 OK - care-team linked\nC4 SKIPPED\nC5 OK - operator=isAnyOf, allowed=[\"https://example.org/health#PATIENT_SUMMARY\",\"https://example.org/health#LAB_RESULTS\"], requested=[\"https://example.org/health#LAB_RESULTS\"]\nC6 SKIPPED - no prohibition matched\nC7 OK - trace shows matching permission\nC8 SKIPPED - no matched policy or no duties\nC9 SKIPPED - policy has no environment constraint\nC10 INFO - matched policy: urn:policy:primary-care-001\n\n" .
+:scenario_B :checkC1 "SKIPPED - not a prohibited purpose" .
+:scenario_B :checkC2 "SKIPPED" .
+:scenario_B :checkC3 "SKIPPED" .
+:scenario_B :checkC4 "OK - opt-in present and policy matched" .
+:scenario_B :checkC5 "OK - operator=isAllOf, allowed=[\"https://example.org/health#LAB_RESULTS\",\"https://example.org/health#PATIENT_SUMMARY\"], requested=[\"https://example.org/health#LAB_RESULTS\",\"https://example.org/health#PATIENT_SUMMARY\"]" .
+:scenario_B :checkC6 "SKIPPED - no prohibition matched" .
+:scenario_B :checkC7 "OK - trace shows matching permission" .
+:scenario_B :checkC8 "INFO - duties attached: duty:https://w3id.org/dpv/legal/eu/ehds#requireConsent, duty:https://w3id.org/dpv/legal/eu/ehds#noExfiltration" .
+:scenario_B :checkC9 "OK - operator=eq, allowed=\"secure_env\", requested=\"secure_env\"" .
+:scenario_B :checkC10Text "INFO - matched policy: urn:policy:qi-2025-aurora" .
+:out_020_B log:outputString "=== B – Quality improvement (in scope) ===\nQI analyst using lab results + summary in a secure environment.\n\nAnswer\nPERMIT\n\nReason Why\nPermitted: ODRL/DPV policy matched for secondary use.\n\nCheck\nC1 SKIPPED - not a prohibited purpose\nC2 SKIPPED\nC3 SKIPPED\nC4 OK - opt-in present and policy matched\nC5 OK - operator=isAllOf, allowed=[\"https://example.org/health#LAB_RESULTS\",\"https://example.org/health#PATIENT_SUMMARY\"], requested=[\"https://example.org/health#LAB_RESULTS\",\"https://example.org/health#PATIENT_SUMMARY\"]\nC6 SKIPPED - no prohibition matched\nC7 OK - trace shows matching permission\nC8 INFO - duties attached: duty:https://w3id.org/dpv/legal/eu/ehds#requireConsent, duty:https://w3id.org/dpv/legal/eu/ehds#noExfiltration\nC9 OK - operator=eq, allowed=\"secure_env\", requested=\"secure_env\"\nC10 INFO - matched policy: urn:policy:qi-2025-aurora\n\n" .
+:scenario_F :checkC1 "SKIPPED - not a prohibited purpose" .
+:scenario_F :checkC2 "SKIPPED" .
+:scenario_F :checkC3 "SKIPPED" .
+:scenario_F :checkC4 "OK - opt-in present and policy matched" .
+:scenario_F :checkC5 "OK - operator=isAnyOf, allowed=[\"https://example.org/health#LAB_RESULTS\",\"https://example.org/health#PATIENT_SUMMARY\",\"https://example.org/health#IMAGING_REPORT\"], requested=[\"https://example.org/health#PATIENT_SUMMARY\",\"https://example.org/health#LAB_RESULTS\"]" .
+:scenario_F :checkC6 "SKIPPED - no prohibition matched" .
+:scenario_F :checkC7 "OK - trace shows matching permission" .
+:scenario_F :checkC8 "INFO - duties attached: duty:https://w3id.org/dpv/legal/eu/ehds#annualOutcomeReport, duty:https://w3id.org/dpv/legal/eu/ehds#noReidentification, duty:https://w3id.org/dpv/legal/eu/ehds#noExfiltration" .
+:scenario_F :checkC9 "OK - operator=eq, allowed=\"secure_env\", requested=\"secure_env\"" .
+:scenario_F :checkC10Text "INFO - matched policy: urn:policy:research-aurora-diabetes" .
+:out_060_F log:outputString "=== F – Research on anonymised dataset ===\nResearcher using anonymised labs + summary in a secure environment, with opt-in.\n\nAnswer\nPERMIT\n\nReason Why\nPermitted: subject opted in and an ODRL/DPV policy matched (anonymised dataset in secure environment).\n\nCheck\nC1 SKIPPED - not a prohibited purpose\nC2 SKIPPED\nC3 SKIPPED\nC4 OK - opt-in present and policy matched\nC5 OK - operator=isAnyOf, allowed=[\"https://example.org/health#LAB_RESULTS\",\"https://example.org/health#PATIENT_SUMMARY\",\"https://example.org/health#IMAGING_REPORT\"], requested=[\"https://example.org/health#PATIENT_SUMMARY\",\"https://example.org/health#LAB_RESULTS\"]\nC6 SKIPPED - no prohibition matched\nC7 OK - trace shows matching permission\nC8 INFO - duties attached: duty:https://w3id.org/dpv/legal/eu/ehds#annualOutcomeReport, duty:https://w3id.org/dpv/legal/eu/ehds#noReidentification, duty:https://w3id.org/dpv/legal/eu/ehds#noExfiltration\nC9 OK - operator=eq, allowed=\"secure_env\", requested=\"secure_env\"\nC10 INFO - matched policy: urn:policy:research-aurora-diabetes\n\n" .
+:scenario_G :checkC1 "SKIPPED - not a prohibited purpose" .
+:scenario_G :checkC2 "SKIPPED" .
+:scenario_G :checkC3 "SKIPPED" .
+:scenario_G :checkC4 "OK - denied because opt-in missing or no policy match" .
+:scenario_G :checkC5 "SKIPPED" .
+:scenario_G :checkC6 "SKIPPED - no prohibition matched" .
+:scenario_G :checkC7 "SKIPPED" .
+:scenario_G :checkC8 "SKIPPED - no matched policy or no duties" .
+:scenario_G :checkC9 "SKIPPED" .
+:scenario_G :checkC10Text "SKIPPED - no matched policy" .
+:out_070_G log:outputString "=== G – AI training (opt-out) ===\nData user wants to train AI, but the subject opted out of AI training.\n\nAnswer\nDENY\n\nReason Why\nDenied: you opted out of your data being used to train AI systems.\n\nCheck\nC1 SKIPPED - not a prohibited purpose\nC2 SKIPPED\nC3 SKIPPED\nC4 OK - denied because opt-in missing or no policy match\nC5 SKIPPED\nC6 SKIPPED - no prohibition matched\nC7 SKIPPED\nC8 SKIPPED - no matched policy or no duties\nC9 SKIPPED\nC10 SKIPPED - no matched policy\n\n" .

package/examples/output/control-system.n3

@@ -1,5 +1,28 @@
-@prefix : <https://eyereasoner.github.io/eye/reasoning/cs#> .
+@prefix : <https://example.org/control-system#> .
+@prefix log: <http://www.w3.org/2000/10/swap/log#> .
 @prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
 
 :actuator1 :control1 "39.27346198678276"^^xsd:decimal .
 :actuator2 :control1 "26.08"^^xsd:decimal .
+:why :sensorTrend "rising" .
+:why :sensorLow 6 .
+:why :sensorHigh 11 .
+:why :sensorGap 5 .
+:why :normalizedMeasurement "2.23606797749979"^^xsd:decimal .
+:why :feedforwardProportional "43.82693235899588"^^xsd:decimal .
+:why :disturbanceMagnitude 35766 .
+:why :disturbanceCompensation "4.553470372213121"^^xsd:decimal .
+:why :feedforwardCommand "39.27346198678276"^^xsd:decimal .
+:why :observedState 22 .
+:why :measuredOutput 24 .
+:why :targetOutput 29 .
+:why :trackingError 5 .
+:why :differentialError -2 .
+:why :feedbackProportional "29"^^xsd:decimal .
+:why :feedbackFactor "1.46"^^xsd:decimal .
+:why :feedbackDifferential "-2.92"^^xsd:decimal .
+:why :feedbackCommand "26.08"^^xsd:decimal .
+:decision :answer "Send both actuator commands now." .
+:decision :actuator1Command "39.27346198678276"^^xsd:decimal .
+:decision :actuator2Command "26.08"^^xsd:decimal .
+:report log:outputString "Control System — ARC explanation of two control signals\n\nAnswer\nSend both actuator commands now.\nActuator 1 command: 39.27346198678276\nActuator 2 command: 26.08\n\nReason Why\nThe first sensor pair is 6 and 11, so the reading is rising and the controller normalizes the gap 5 into 2.23606797749979. That normalized value creates a feedforward term of 43.82693235899588, while the known disturbance 35766 contributes a compensation term of 4.553470372213121. Subtracting that compensation gives actuator 1 the command 39.27346198678276. For actuator 2, the target is 5 units above the measured output, so the tracking error is positive. The observed state is -2 relative units below the measured output, so the differential correction is negative. That yields a proportional feedback part of 29, a nonlinear factor of 1.46, and a differential contribution of -2.92. Together they produce actuator 2 command 26.08.\n\nCheck\nC1 OK - the first sensor pair is rising, so the normalization uses the rising-branch rule.\nC2 OK - the normalized measurement is positive and smaller than the raw gap, which is consistent with a square-root normalization.\nC3 OK - actuator 1 is lower than its proportional feedforward term because disturbance compensation is subtracted.\nC4 OK - the target is above the measured output, so the tracking error is positive.\nC5 OK - the observed state is below the measured output, so the differential error is negative.\nC6 OK - actuator 2 is lower than its pure proportional term because the differential part reduces it.\nC7 OK - actuator 1 matches an independently reconstructed feedforward calculation.\nC8 OK - actuator 2 matches an independently reconstructed feedback calculation.\nC9 OK - both actuator commands stay positive.\n" .

package/examples/output/delfour.n3

@@ -0,0 +1,40 @@
+@prefix : <https://example.org/delfour#> .
+@prefix log: <http://www.w3.org/2000/10/swap/log#> .
+@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
+
+:check :filesWrittenExpected true .
+:case :needsLowSugar true .
+:check :signatureVerifies true .
+<https://example.org/insight/delfour> :derivedFromNeed "low_sugar" .
+:out20 log:outputString "signature verifies              : yes\n" .
+:check :payloadHashMatches true .
+:check :minimizationStripsSensitiveTerms true .
+:check :scopeComplete true .
+:decision :at "2025-10-05T20:35:48.907163+00:00"^^xsd:dateTime .
+:decision :outcome "Allowed" .
+:decision :target <https://example.org/insight/delfour> .
+:check :authorizationAllowed true .
+:banner :headline "Track sugar per serving while you scan" .
+:banner :note "High sugar" .
+:check :bannerFlagsHighSugar true .
+:check :dutyTimingConsistent true .
+:check :marketingProhibited true .
+:out10 log:outputString "threshold            : 10.0\n" .
+:out13 log:outputString "signature alg        : HMAC-SHA256\n" .
+:out14 log:outputString "banner headline      : Track sugar per serving while you scan\n" .
+:out16 log:outputString "reason.txt           : Household requires low-sugar guidance (diabetes in POD). A neutral Insight is scoped to device 'self-scanner', event 'pick_up_scanner', retailer 'Delfour', and expires soon; the policy confines use to shopping assistance.\n" .
+:out17 log:outputString "audit entries        : 1\n" .
+:out18 log:outputString "bus files written    : 6\n" .
+:out21 log:outputString "payload hash matches            : yes\n" .
+:out22 log:outputString "minimization strips sensitive terms: yes\n" .
+:out23 log:outputString "scope complete                  : yes\n" .
+:out24 log:outputString "authorization allowed           : yes\n" .
+:out25 log:outputString "high-sugar banner               : yes\n" .
+:out27 log:outputString "duty timing consistent          : yes\n" .
+:out28 log:outputString "marketing prohibited            : yes\n" .
+:case :suggestedAlternative :prod_BIS_101 .
+:banner :suggestedAlternative "Low-Sugar Tea Biscuits" .
+:check :alternativeIsLowerSugar true .
+:result :allChecksPass true .
+:out06 log:outputString "suggested alternative: Low-Sugar Tea Biscuits\n" .
+:out26 log:outputString "alternative lowers sugar        : yes\n" .

package/examples/output/gps.n3

@@ -1,6 +1,18 @@
-@prefix : <https://eyereasoner.github.io/eye/reasoning#> .
-@prefix gps: <https://eyereasoner.github.io/eye/reasoning/gps/gps-schema#> .
+@prefix : <https://example.org/gps-case#> .
+@prefix gps: <https://example.org/gps#> .
+@prefix log: <http://www.w3.org/2000/10/swap/log#> .
 @prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
 
 :i1 gps:path ((:drive_gent_brugge :drive_brugge_oostende) "2400"^^xsd:decimal "0.01"^^xsd:decimal "0.9408"^^xsd:decimal "0.99"^^xsd:decimal) .
 :i1 gps:path ((:drive_gent_kortrijk :drive_kortrijk_brugge :drive_brugge_oostende) "4100"^^xsd:decimal "0.018"^^xsd:decimal "0.903168"^^xsd:decimal "0.9801"^^xsd:decimal) .
+:routeDirect :duration "2400"^^xsd:decimal .
+:routeDirect :cost "0.01"^^xsd:decimal .
+:routeDirect :belief "0.9408"^^xsd:decimal .
+:routeDirect :comfort "0.99"^^xsd:decimal .
+:routeViaKortrijk :duration "4100"^^xsd:decimal .
+:routeViaKortrijk :cost "0.018"^^xsd:decimal .
+:routeViaKortrijk :belief "0.903168"^^xsd:decimal .
+:routeViaKortrijk :comfort "0.9801"^^xsd:decimal .
+:decision :recommendedRoute :routeDirect .
+:decision :outcome "Take the direct route via Brugge." .
+:report log:outputString "GPS — Goal driven route planning\n\nAnswer\nTake the direct route via Brugge.\nRecommended route: Gent → Brugge → Oostende\n\nReason Why\nFrom Gent to Oostende, the planner found two routes in this small map. The direct route (Gent → Brugge → Oostende) takes 2400 seconds at cost 0.01, with belief 0.9408 and comfort 0.99. The alternative (Gent → Kortrijk → Brugge → Oostende) takes 4100 seconds at cost 0.018, with belief 0.903168 and comfort 0.9801. So the direct route is faster, cheaper, more reliable, and slightly more comfortable.\n\nCheck\nC1 OK - the direct Gent → Brugge → Oostende route was derived.\nC2 OK - the alternative Gent → Kortrijk → Brugge → Oostende route was derived.\nC3 OK - the recommended route is faster than the alternative.\nC4 OK - the recommended route is cheaper than the alternative.\nC5 OK - the recommended route has higher belief and comfort scores.\n" .

package/examples/output/ill-formed-literals.n3

@@ -0,0 +1,27 @@
+@prefix : <http://example.org/#> .
+@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
+
+(:badBool :p "truish"^^xsd:boolean) :datatype xsd:boolean .
+(:badBool :p "truish"^^xsd:boolean) :lexicalForm "truish" .
+(:badBool :p "truish"^^xsd:boolean) :reason "invalid xsd:boolean lexical form" .
+(:badDate :p "yesterday"^^xsd:dateTime) :datatype xsd:dateTime .
+(:badDate :p "yesterday"^^xsd:dateTime) :lexicalForm "yesterday" .
+(:badDate :p "yesterday"^^xsd:dateTime) :reason "xsd:dateTime literal is not parseable by the reasoner" .
+(:badDateTime :p "not-a-datetime"^^xsd:dateTime) :datatype xsd:dateTime .
+(:badDateTime :p "not-a-datetime"^^xsd:dateTime) :lexicalForm "not-a-datetime" .
+(:badDateTime :p "not-a-datetime"^^xsd:dateTime) :reason "xsd:dateTime literal is not parseable by the reasoner" .
+(:badDecimal :p "12.3.4"^^xsd:decimal) :datatype xsd:decimal .
+(:badDecimal :p "12.3.4"^^xsd:decimal) :lexicalForm "12.3.4" .
+(:badDecimal :p "12.3.4"^^xsd:decimal) :reason "invalid xsd:decimal lexical form" .
+(:badDouble :p "1e"^^xsd:double) :datatype xsd:double .
+(:badDouble :p "1e"^^xsd:double) :lexicalForm "1e" .
+(:badDouble :p "1e"^^xsd:double) :reason "invalid xsd:float/xsd:double lexical form" .
+(:badDuration :p "not-a-duration"^^xsd:duration) :datatype xsd:duration .
+(:badDuration :p "not-a-duration"^^xsd:duration) :lexicalForm "not-a-duration" .
+(:badDuration :p "not-a-duration"^^xsd:duration) :reason "xsd:duration literal is not parseable by the reasoner" .
+(:badInt1 :p "abc"^^xsd:integer) :datatype xsd:integer .
+(:badInt1 :p "abc"^^xsd:integer) :lexicalForm "abc" .
+(:badInt1 :p "abc"^^xsd:integer) :reason "invalid integer-family lexical form" .
+(:badInt2 :p "12.3"^^xsd:int) :datatype xsd:int .
+(:badInt2 :p "12.3"^^xsd:int) :lexicalForm "12.3" .
+(:badInt2 :p "12.3"^^xsd:int) :reason "invalid integer-family lexical form" .