eyeling 1.24.5 → 1.24.7

package/see/examples/input/goldbach_1000.trig

@@ -1,53 +0,0 @@
-@prefix : <https://eyereasoner.github.io/see/examples/goldbach-1000#> .
-@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.
-
-:BoundedRun :minEven 4 .
-:BoundedRun :maxEven 1000 .
-:BoundedRun :evenCount 499 .
-:BoundedRun :counterexamples 0 .
-:BoundedRun :sampleWitnesses "4=2+2; 28=5+23; 100=3+97; 998=7+991; 1000=3+997" .
-:w4 :even 4 .
-:w4 :p 2 .
-:w4 :q 2 .
-:w28 :even 28 .
-:w28 :p 5 .
-:w28 :q 23 .
-:w100 :even 100 .
-:w100 :p 3 .
-:w100 :q 97 .
-:w998 :even 998 .
-:w998 :p 7 .
-:w998 :q 991 .
-:w1000 :even 1000 .
-:w1000 :p 3 .
-:w1000 :q 997 .
-2 :prime true .
-3 :prime true .
-5 :prime true .
-7 :prime true .
-23 :prime true .
-97 :prime true .
-991 :prime true .
-997 :prime true .
-
-in:metadata {
-  in:run a see:InputDataset .
-  in:run see:name "goldbach_1000" .
-  in:run see:title "Goldbach 1000" .
-  in:run see:sourceFile "examples/n3/goldbach_1000.n3" .
-  in:run see:sourceSHA256 "f40ec2cb172140ebdb5632a0abf0f0498be1183564755aaf76748545a2b49158" .
-  in:run see:description "N3-compiled version of the bounded Goldbach SEE example. It keeps the bounded\nresult as committed data and uses rules to verify the representative witness\nequations that are shown in the report." .
-  in:run see:compiler "see.js N3-to-JS compiler" .
-  in:run see:inputFacts 28 .
-  in:run see:compiledRules 3 .
-  in:run see:compiledBackwardRules 0 .
-  in:run see:compiledFuses 1 .
-  in:run see:compiledQueries 1 .
-}

package/see/examples/input/good_cobbler.trig

@@ -1,24 +0,0 @@
-@prefix : <https://eyereasoner.github.io/see/examples/good-cobbler#> .
-@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.
-
-:joe :is (:good :Cobbler) .
-
-in:metadata {
-  in:run a see:InputDataset .
-  in:run see:name "good_cobbler" .
-  in:run see:title "Good cobbler" .
-  in:run see:sourceFile "examples/n3/good_cobbler.n3" .
-  in:run see:sourceSHA256 "7aeddb38a902b2684ba8824e3ec909e24716520433e9fbd31f6a0238cc1bd686" .
-  in:run see:description "Example from https://shs.hal.science/halshs-04148373/document\nUsing term logic http://intrologic.stanford.edu/chapters/chapter_11.html" .
-  in:run see:compiler "see.js N3-to-JS compiler" .
-  in:run see:inputFacts 1 .
-  in:run see:compiledRules 1 .
-  in:run see:compiledBackwardRules 0 .
-  in:run see:compiledFuses 0 .
-  in:run see:compiledQueries 0 .
-}

package/see/examples/input/gps.trig

@@ -1,35 +0,0 @@
-@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 string: <http://www.w3.org/2000/10/swap/string#> .
-@prefix gps: <https://eyereasoner.github.io/see/examples/gps#> .
-@prefix : <https://eyereasoner.github.io/see/examples/gps#> .
-@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.
-
-:i1 :location :Gent .
-:question :text "Which route should we take from Gent to Oostende?" .
-:routeDirect :label "Gent -> Brugge -> Oostende" .
-:routeViaKortrijk :label "Gent -> Kortrijk -> Brugge -> Oostende" .
-:mapBE gps:segment (:Gent :Brugge :drive_gent_brugge 1500 0.006 0.96 0.99) .
-:mapBE gps:segment (:Gent :Kortrijk :drive_gent_kortrijk 1600 0.007 0.96 0.99) .
-:mapBE gps:segment (:Kortrijk :Brugge :drive_kortrijk_brugge 1600 0.007 0.96 0.99) .
-:mapBE gps:segment (:Brugge :Oostende :drive_brugge_oostende 900 0.004 0.98 1) .
-
-in:metadata {
-  in:run a see:InputDataset .
-  in:run see:name "gps" .
-  in:run see:title "GPS route planning" .
-  in:run see:sourceFile "examples/n3/gps.n3" .
-  in:run see:sourceSHA256 "3ca7a57d4a2d06215e852e74b51d71f6b0aa36230eb172fa3e17465052c06404" .
-  in:run see:description "Goal-driven path planning over a tiny western-Belgium map. The N3 source is\nadapted from Eyeling's GPS example and compiles to a standalone SEE example." .
-  in:run see:compiler "see.js N3-to-JS compiler" .
-  in:run see:inputFacts 8 .
-  in:run see:compiledRules 5 .
-  in:run see:compiledBackwardRules 2 .
-  in:run see:compiledFuses 4 .
-  in:run see:compiledQueries 0 .
-}

package/see/examples/input/gray_code_counter.trig

@@ -1,33 +0,0 @@
-@prefix : <https://eyereasoner.github.io/see/examples/gray-code-counter#> .
-@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 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.
-
-:Counter :bits 4 .
-:Counter :steps 16 .
-:Counter :sequence (0 1 3 2 6 7 5 4 12 13 15 14 10 11 9 8) .
-:Counter :uniqueStateCount 16 .
-:Counter :sequencePrefix "0000, 0001, 0011, 0010, 0110, 0111, 0101, 0100" .
-:Counter :wrapTransition "1000 -> 0000" .
-:Counter :maxHammingDistance 1 .
-
-in:metadata {
-  in:run a see:InputDataset .
-  in:run see:name "gray_code_counter" .
-  in:run see:title "Gray Code Counter" .
-  in:run see:sourceFile "examples/n3/gray_code_counter.n3" .
-  in:run see:sourceSHA256 "61f77dc563c8a38d612cf4fba812e6066f00449e27b9bc620e866a52e08ea4d2" .
-  in:run see:description "N3-compiled version of the 4-bit Gray counter SEE example.  The example keeps\nthe known reflected Gray-code sequence as data, derives its visited-state count\nwith a list builtin, and derives the published invariants before rendering the\nSEE report." .
-  in:run see:compiler "see.js N3-to-JS compiler" .
-  in:run see:inputFacts 7 .
-  in:run see:compiledRules 3 .
-  in:run see:compiledBackwardRules 0 .
-  in:run see:compiledFuses 0 .
-  in:run see:compiledQueries 0 .
-}

package/see/examples/input/greatest_lower_bound_uniqueness.trig

@@ -1,29 +0,0 @@
-@prefix : <https://eyereasoner.github.io/eye/reasoning#> .
-@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.
-
-:a :inP true .
-:b :inP true .
-:g1 :inP true .
-:g2 :inP true .
-:g1 :glbOf (:a :b) .
-:g2 :glbOf (:a :b) .
-
-in:metadata {
-  in:run a see:InputDataset .
-  in:run see:name "greatest_lower_bound_uniqueness" .
-  in:run see:title "In a partial order, a greatest lower bound is unique." .
-  in:run see:sourceFile "examples/n3/greatest_lower_bound_uniqueness.n3" .
-  in:run see:sourceSHA256 "3a199585b9906a895deba6508458c88551558aec89fdc1b490ed9493bbb63433" .
-  in:run see:description "" .
-  in:run see:compiler "see.js N3-to-JS compiler" .
-  in:run see:inputFacts 6 .
-  in:run see:compiledRules 7 .
-  in:run see:compiledBackwardRules 0 .
-  in:run see:compiledFuses 0 .
-  in:run see:compiledQueries 1 .
-}

package/see/examples/input/group_inverse_uniqueness.trig

@@ -1,29 +0,0 @@
-@prefix : <https://eyereasoner.github.io/eye/reasoning#> .
-@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.
-
-:x :inG true .
-:i :inG true .
-:j :inG true .
-:e :inG true .
-:i :inverseOf :x .
-:j :inverseOf :x .
-
-in:metadata {
-  in:run a see:InputDataset .
-  in:run see:name "group_inverse_uniqueness" .
-  in:run see:title "In a group, the inverse of an element is unique." .
-  in:run see:sourceFile "examples/n3/group_inverse_uniqueness.n3" .
-  in:run see:sourceSHA256 "956bff60a7e087600d31b0fce180031de1e03f7a995b3f2949e531653b7b5dc3" .
-  in:run see:description "" .
-  in:run see:compiler "see.js N3-to-JS compiler" .
-  in:run see:inputFacts 6 .
-  in:run see:compiledRules 6 .
-  in:run see:compiledBackwardRules 0 .
-  in:run see:compiledFuses 0 .
-  in:run see:compiledQueries 1 .
-}

package/see/examples/input/hadamard_approx.trig

@@ -1,32 +0,0 @@
-@prefix : <https://eyereasoner.github.io/see/examples/hadamard-approx#> .
-@prefix log: <http://www.w3.org/2000/10/swap/log#> .
-@prefix math: <http://www.w3.org/2000/10/swap/math#> .
-@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.
-
-:sqrt2Proc rdf:type :DyadicBisection .
-:sqrt2Proc :maxN 20 .
-:HGate rdf:type :SingleQubitGate .
-:HGate :name "H" .
-:HGate :usesScale :invSqrt2 .
-:invSqrt2 rdf:type :PositiveRealApprox .
-:invSqrt2 :definedAs "1/sqrt2" .
-:sqrt2Proc :state (0 1 2) .
-
-in:metadata {
-  in:run a see:InputDataset .
-  in:run see:name "hadamard_approx" .
-  in:run see:title "Hadamard gate approximation" .
-  in:run see:sourceFile "examples/n3/hadamard_approx.n3" .
-  in:run see:sourceSHA256 "e8ecabf81463a98ebcb7a1970dfe31792d96011b5e060ad2ed6f5f02ee46a6d2" .
-  in:run see:description "" .
-  in:run see:compiler "see.js N3-to-JS compiler" .
-  in:run see:inputFacts 8 .
-  in:run see:compiledRules 10 .
-  in:run see:compiledBackwardRules 0 .
-  in:run see:compiledFuses 0 .
-  in:run see:compiledQueries 3 .
-}

package/see/examples/input/hanoi.trig

@@ -1,26 +0,0 @@
-@prefix math: <http://www.w3.org/2000/10/swap/math#> .
-@prefix list: <http://www.w3.org/2000/10/swap/list#> .
-@prefix : <https://eyereasoner.github.io/eye/reasoning#> .
-@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.
-
-# No source facts were present in the N3 program.
-
-in:metadata {
-  in:run a see:InputDataset .
-  in:run see:name "hanoi" .
-  in:run see:title "Towers of Hanoi" .
-  in:run see:sourceFile "examples/n3/hanoi.n3" .
-  in:run see:sourceSHA256 "f2ef15363d9c2430bd3b68d500d3d256d241b8fcf4fd368b287a91e15289df1d" .
-  in:run see:description "" .
-  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/odrl_dpv_risk_ranked.trig

@@ -1,107 +0,0 @@
-@prefix : <https://example.org/odrl-dpv-risk-ranked#> .
-@prefix odrl: <http://www.w3.org/ns/odrl/2/> .
-@prefix dpv: <https://w3id.org/dpv#> .
-@prefix risk: <https://w3id.org/dpv/risk#> .
-@prefix dct: <http://purl.org/dc/terms/> .
-@prefix log: <http://www.w3.org/2000/10/swap/log#> .
-@prefix math: <http://www.w3.org/2000/10/swap/math#> .
-@prefix tosl: <https://example.org/tosl-profile#> .
-@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.
-
-:ConsumerExample rdf:type :ConsumerProfile .
-:ConsumerExample rdf:type odrl:Party .
-:ConsumerExample dct:title "Example consumer profile" .
-:ConsumerExample :hasNeed :Need_DataCannotBeRemoved .
-:ConsumerExample :hasNeed :Need_ChangeOnlyWithPriorNotice .
-:ConsumerExample :hasNeed :Need_NoSharingWithoutConsent .
-:ConsumerExample :hasNeed :Need_DataPortability .
-:Need_DataCannotBeRemoved rdf:type :Need .
-:Need_DataCannotBeRemoved :importance 20 .
-:Need_DataCannotBeRemoved dct:description "Provider must not remove the consumer account/data." .
-:Need_ChangeOnlyWithPriorNotice rdf:type :Need .
-:Need_ChangeOnlyWithPriorNotice :importance 15 .
-:Need_ChangeOnlyWithPriorNotice :minNoticeDays 14 .
-:Need_ChangeOnlyWithPriorNotice dct:description "Agreement may change only with prior notice (>= 14 days)." .
-:Need_NoSharingWithoutConsent rdf:type :Need .
-:Need_NoSharingWithoutConsent :importance 12 .
-:Need_NoSharingWithoutConsent dct:description "No data sharing without explicit consent." .
-:Need_DataPortability rdf:type :Need .
-:Need_DataPortability :importance 10 .
-:Need_DataPortability dct:description "Consumer must be able to export their data." .
-:Agreement1 rdf:type :Agreement .
-:Agreement1 dct:title "Example Agreement" .
-:Agreement1 :policyGraph in:formula1 .
-:ClauseC1 rdf:type :Clause .
-:ClauseC1 :clauseId "C1" .
-:ClauseC1 :text "Provider may remove the user account (and associated data) at its discretion." .
-:ClauseC2 rdf:type :Clause .
-:ClauseC2 :clauseId "C2" .
-:ClauseC2 :text "Provider may change terms by informing users at least 3 days in advance." .
-:ClauseC3 rdf:type :Clause .
-:ClauseC3 :clauseId "C3" .
-:ClauseC3 :text "Provider may share user data with partners for business purposes." .
-:ClauseC4 rdf:type :Clause .
-:ClauseC4 :clauseId "C4" .
-:ClauseC4 :text "Users are not permitted to export their data." .
-:ProcessContext1 rdf:type dpv:Process .
-:ProcessContext1 dct:source :Agreement1 .
-:ProcessContext1 dct:title "Service operation under Agreement1" .
-
-in:formula1 {
-  :Policy1 rdf:type odrl:Policy .
-  :Policy1 odrl:permission :PermDeleteAccount .
-  :Policy1 odrl:permission :PermChangeTerms .
-  :Policy1 odrl:permission :PermShareData .
-  :Policy1 odrl:prohibition :ProhibitExportData .
-  :PermDeleteAccount rdf:type odrl:Permission .
-  :PermDeleteAccount odrl:assigner :Provider .
-  :PermDeleteAccount odrl:assignee :ConsumerExample .
-  :PermDeleteAccount odrl:action tosl:removeAccount .
-  :PermDeleteAccount odrl:target :UserAccount .
-  :PermDeleteAccount :clause :ClauseC1 .
-  :PermChangeTerms rdf:type odrl:Permission .
-  :PermChangeTerms odrl:assigner :Provider .
-  :PermChangeTerms odrl:assignee :ConsumerExample .
-  :PermChangeTerms odrl:action tosl:changeTerms .
-  :PermChangeTerms odrl:target :AgreementText .
-  _:blank1 rdf:type odrl:Duty .
-  _:blank1 odrl:action odrl:inform .
-  _:blank2 rdf:type odrl:Constraint .
-  _:blank2 odrl:leftOperand tosl:noticeDays .
-  _:blank2 odrl:operator odrl:gteq .
-  _:blank2 odrl:rightOperand 3 .
-  _:blank1 odrl:constraint _:blank2 .
-  :PermChangeTerms odrl:duty _:blank1 .
-  :PermChangeTerms :clause :ClauseC2 .
-  :PermShareData rdf:type odrl:Permission .
-  :PermShareData odrl:assigner :Provider .
-  :PermShareData odrl:assignee :ConsumerExample .
-  :PermShareData odrl:action tosl:shareData .
-  :PermShareData odrl:target :UserData .
-  :PermShareData :clause :ClauseC3 .
-  :ProhibitExportData rdf:type odrl:Prohibition .
-  :ProhibitExportData odrl:assigner :Provider .
-  :ProhibitExportData odrl:assignee :ConsumerExample .
-  :ProhibitExportData odrl:action tosl:exportData .
-  :ProhibitExportData odrl:target :UserData .
-  :ProhibitExportData :clause :ClauseC4 .
-}
-
-in:metadata {
-  in:run a see:InputDataset .
-  in:run see:name "odrl_dpv_risk_ranked" .
-  in:run see:title "ODRL + DPV risk assessment with ranked, explainable output." .
-  in:run see:sourceFile "examples/n3/odrl_dpv_risk_ranked.n3" .
-  in:run see:sourceSHA256 "e3360556d6e82bda9f502d362cc110e2cd681608ae1388cf8071660f6fbe6200" .
-  in:run see:description "What this file does\n- Models an agreement as an ODRL policy (odrl:Policy) containing permissions,\nprohibitions, duties, and constraints. ODRL is expressive enough to encode the\nnormative “may/must/must-not” structure of TOS clauses as RDF.\n- Links each ODRL rule to a clause resource (:Clause) to keep human-readable text\nwhile preserving machine-readable structure for reasoning.\n- Uses N3 rules with log:includes / log:notIncludes to detect missing safeguards\n(e.g., missing notice constraints, missing inform duties, missing consent constraints).\n- Generates DPV risks (dpv:Risk) and classifies them using DPV-RISK concepts:\nrisk:hasRiskSource, dpv:hasConsequence, dpv:hasImpact, dpv:hasSeverity, dpv:hasRiskLevel.\n- Produces mitigations as dpv:RiskMitigationMeasure resources and attaches them\nto risks with dpv:isMitigatedByMeasure.\n- Computes a numeric score for each risk and prints a ranked, explainable report.\nRanking / output\n- Output strings are emitted as log:outputString triples.\n- When running with Eyeling “strings” mode (-r), strings are printed in deterministic\norder based on their subject key. The program encodes ranking via an “inverse score”\nkey (e.g., 1000 - score) so higher-risk items appear first.\nReferences\n- N3 spec:          https://w3c.github.io/N3/spec/\n- Eyeling builtins: https://eyereasoner.github.io/eyeling/HANDBOOK#ch11\n- ODRL vocab:       https://www.w3.org/TR/odrl-vocab/\n- DPV risk module:  https://dev.dpvcg.org/dpv/modules/risk\n- DPV-RISK:         https://w3id.org/dpv/risk" .
-  in:run see:compiler "see.js N3-to-JS compiler" .
-  in:run see:inputFacts 38 .
-  in:run see:compiledRules 9 .
-  in:run see:compiledBackwardRules 0 .
-  in:run see:compiledFuses 0 .
-  in:run see:compiledQueries 3 .
-}