eyeling 1.30.3 → 1.30.5

package/README.md

@@ -734,9 +734,13 @@ eyeling --rdf-surfaces examples/input/rdf-surfaces-all-values-from-reverse.ttl e
 eyeling --rdf-surfaces examples/input/rdf-surfaces-rdfs-range-codex.ttl examples/rdf-surfaces-rdfs-range-codex.n3
 eyeling --rdf-surfaces examples/input/rdf-surfaces-rdfs-subclass-codex.ttl examples/rdf-surfaces-rdfs-subclass-codex.n3
 eyeling --rdf-surfaces examples/input/rdf-surfaces-owl-all-values-from-codex.ttl examples/rdf-surfaces-owl-all-values-from-codex.n3
+eyeling --rdf-surfaces examples/input/rdf-surfaces-strong-negation-access.ttl examples/rdf-surfaces-strong-negation-access.n3
+eyeling --rdf-surfaces examples/input/rdf-surfaces-disjunction-route-filter.ttl examples/rdf-surfaces-disjunction-route-filter.n3
+eyeling --rdf-surfaces examples/input/rdf-surfaces-explicit-disjunction.ttl examples/rdf-surfaces-explicit-disjunction.n3
+eyeling --rdf-surfaces examples/input/rdf-surfaces-disjunction-elimination.ttl examples/rdf-surfaces-disjunction-elimination.n3
 ```
 
-The additional examples show ordinary Horn-style RDF Surface patterns beyond the exact slide-33 abbreviations: subject typing (`rdf-surfaces-domain`), a two-hop property chain (`rdf-surfaces-property-chain`), recursive transitive closure (`rdf-surfaces-ancestor`), a conjunctive classification rule (`rdf-surfaces-multi-premise`), and codex-style RDFS/OWL rule generation (`rdf-surfaces-rdfs-range-codex`, `rdf-surfaces-rdfs-subclass-codex`, `rdf-surfaces-owl-all-values-from-codex`).
+The additional examples show ordinary Horn-style RDF Surface patterns beyond the exact slide-33 abbreviations: subject typing (`rdf-surfaces-domain`), a two-hop property chain (`rdf-surfaces-property-chain`), recursive transitive closure (`rdf-surfaces-ancestor`), a conjunctive classification rule (`rdf-surfaces-multi-premise`), and codex-style RDFS/OWL rule generation (`rdf-surfaces-rdfs-range-codex`, `rdf-surfaces-rdfs-subclass-codex`, `rdf-surfaces-owl-all-values-from-codex`). More challenging examples keep the engine unchanged and add N3 helper rules on top: `rdf-surfaces-strong-negation-access` uses a top-level negative surface as a strong-negation fuse for an access policy, `rdf-surfaces-disjunction-route-filter` represents a disjunction as explicit candidate routes and filters one with a strong-negation policy, `rdf-surfaces-explicit-disjunction` puts the disjunction directly in the RDF Surface file with one outer negative surface and two inner alternatives, and `rdf-surfaces-disjunction-elimination` uses `log:forAllIn` to derive a conclusion only when every option in a disjunction implies it.
 
 ---
 

package/examples/input/rdf-surfaces-disjunction-elimination.ttl

@@ -0,0 +1,16 @@
+# eyeling-options: --rdf-surfaces
+@prefix ex: <http://example.org/> .
+
+ex:caseSplit ex:option ex:ManualReview .
+ex:caseSplit ex:option ex:AutomaticHold .
+ex:caseSplit ex:candidateConclusion ex:NeedsHumanAttention .
+ex:caseSplit ex:candidateConclusion ex:NoAction .
+
+ex:ManualReview ex:implies ex:NeedsHumanAttention .
+ex:AutomaticHold ex:implies ex:NeedsHumanAttention .
+ex:ManualReview ex:implies ex:HasTicket .
+
+# Strong negation: this case split must not collapse to "no action".
+%not[
+ex:caseSplit ex:disjunctionEntails ex:NoAction .
+%]

package/examples/input/rdf-surfaces-disjunction-route-filter.ttl

@@ -0,0 +1,11 @@
+# eyeling-options: --rdf-surfaces
+@prefix ex: <http://example.org/> .
+
+ex:shipment17 a ex:ExpressShipment .
+ex:shipment17 ex:destination ex:CityCenter .
+
+# Strong negation: a drone route to the city center is explicitly denied.
+%not[ _:shipment
+_:shipment ex:route ex:Drone .
+_:shipment ex:destination ex:CityCenter .
+%]

package/examples/input/rdf-surfaces-explicit-disjunction.ttl

@@ -0,0 +1,22 @@
+# eyeling-options: --rdf-surfaces
+@prefix ex: <http://example.org/> .
+
+ex:shipment23 a ex:ExpressShipment .
+ex:shipment23 ex:destination ex:CityCenter .
+
+# Explicit RDF Surfaces disjunction: an express shipment can go by rail or by drone.
+%not[ _:shipment
+_:shipment a ex:ExpressShipment .
+%not[
+_:shipment ex:possibleRoute ex:Rail .
+%]
+%not[
+_:shipment ex:possibleRoute ex:Drone .
+%]
+%]
+
+# Strong negation: drone delivery to the city center is ruled out.
+%not[ _:shipment
+_:shipment ex:destination ex:CityCenter .
+_:shipment ex:selectedRoute ex:Drone .
+%]

package/examples/input/rdf-surfaces-strong-negation-access.ttl

@@ -0,0 +1,14 @@
+# eyeling-options: --rdf-surfaces
+@prefix ex: <http://example.org/> .
+
+ex:alice ex:requests ex:lab .
+ex:bob ex:requests ex:lab .
+ex:lab a ex:RestrictedArea .
+ex:alice ex:clearance ex:general .
+ex:bob ex:clearance ex:admin .
+
+# Strong negation: nobody with general clearance may access the lab.
+%not[ _:person
+_:person ex:access ex:lab .
+_:person ex:clearance ex:general .
+%]

package/examples/output/rdf-surfaces-disjunction-elimination.n3

@@ -0,0 +1,3 @@
+@prefix ex: <http://example.org/> .
+
+ex:caseSplit ex:disjunctionEntails ex:NeedsHumanAttention .

package/examples/output/rdf-surfaces-disjunction-route-filter.n3

@@ -0,0 +1,3 @@
+@prefix ex: <http://example.org/> .
+
+ex:shipment17 ex:viableRoute ex:Rail .

package/examples/output/rdf-surfaces-explicit-disjunction.n3

@@ -0,0 +1,3 @@
+@prefix ex: <http://example.org/> .
+
+ex:shipment23 ex:selectedRoute ex:Rail .

package/examples/output/rdf-surfaces-strong-negation-access.n3

@@ -0,0 +1,4 @@
+@prefix ex: <http://example.org/> .
+
+ex:bob ex:decision ex:Permit .
+ex:alice ex:decision ex:Deny .

package/examples/rdf-surfaces-disjunction-elimination.n3

@@ -0,0 +1,13 @@
+@prefix ex: <http://example.org/> .
+@prefix log: <http://www.w3.org/2000/10/swap/log#> .
+
+# Disjunction elimination as N3 rules: if every disjunctive option implies the
+# same candidate conclusion, then the whole disjunction entails that conclusion.
+{ ?choice ex:candidateConclusion ?conclusion .
+  ( { ?choice ex:option ?option . }
+    { ?option ex:implies ?conclusion . } ) log:forAllIn 1 .
+} => { ?choice ex:disjunctionEntails ?conclusion . } .
+
+{ ?choice ex:disjunctionEntails ?conclusion . }
+log:query
+{ ?choice ex:disjunctionEntails ?conclusion . } .

package/examples/rdf-surfaces-disjunction-route-filter.n3

@@ -0,0 +1,24 @@
+@prefix ex: <http://example.org/> .
+@prefix log: <http://www.w3.org/2000/10/swap/log#> .
+
+# Extra N3 rules encode a disjunction as explicit alternatives. This does not
+# assert both routes; it derives candidate routes that can be filtered.
+{ ?shipment a ex:ExpressShipment . }
+=> {
+  ?shipment ex:possibleRoute ex:Rail .
+  ?shipment ex:possibleRoute ex:Drone .
+} .
+
+# Mirror the strong-negation policy into a filterable denial fact before any
+# candidate route is selected as viable.
+{ ?shipment ex:destination ex:CityCenter .
+  ?shipment ex:possibleRoute ex:Drone .
+} => { ?shipment ex:stronglyNegatedRoute ex:Drone . } .
+
+{ ?shipment ex:possibleRoute ?route .
+  1 log:notIncludes { ?shipment ex:stronglyNegatedRoute ?route . } .
+} => { ?shipment ex:viableRoute ?route . } .
+
+{ ?shipment ex:viableRoute ?route . }
+log:query
+{ ?shipment ex:viableRoute ?route . } .

package/examples/rdf-surfaces-explicit-disjunction.n3

@@ -0,0 +1,16 @@
+@prefix ex: <http://example.org/> .
+@prefix log: <http://www.w3.org/2000/10/swap/log#> .
+
+# Extra N3 rules interpret the explicit surface disjunction as candidate
+# alternatives and select the alternatives that are not strongly negated.
+{ ?shipment ex:destination ex:CityCenter .
+  ?shipment ex:possibleRoute ex:Drone .
+} => { ?shipment ex:stronglyNegatedRoute ex:Drone . } .
+
+{ ?shipment ex:possibleRoute ?route .
+  1 log:notIncludes { ?shipment ex:stronglyNegatedRoute ?route . } .
+} => { ?shipment ex:selectedRoute ?route . } .
+
+{ ?shipment ex:selectedRoute ?route . }
+log:query
+{ ?shipment ex:selectedRoute ?route . } .

package/examples/rdf-surfaces-strong-negation-access.n3

@@ -0,0 +1,20 @@
+@prefix ex: <http://example.org/> .
+@prefix log: <http://www.w3.org/2000/10/swap/log#> .
+
+# Extra N3 rules interpret the positive policy. The RDF Surface above remains
+# a hard strong-negation guard: deriving the forbidden access would trip the fuse.
+{ ?person ex:requests ?area .
+  ?person ex:clearance ex:admin .
+} => { ?person ex:access ?area . } .
+
+{ ?person ex:requests ?area .
+  ?person ex:access ?area .
+} => { ?person ex:decision ex:Permit . } .
+
+{ ?person ex:requests ?area .
+  1 log:notIncludes { ?person ex:decision ex:Permit . } .
+} => { ?person ex:decision ex:Deny . } .
+
+{ ?person ex:decision ?decision . }
+log:query
+{ ?person ex:decision ?decision . } .

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "eyeling",
-  "version": "1.30.3",
+  "version": "1.30.5",
   "description": "A minimal Notation3 (N3) reasoner in JavaScript.",
   "main": "./index.js",
   "keywords": [

package/test/rdf_surfaces.test.js

@@ -132,6 +132,16 @@ const exampleCases = [
     'rdf-surfaces-owl-all-values-from-codex',
     '@prefix ex: <http://example.org/> .\n\nex:item43 a ex:AllowedItem .\nex:item42 a ex:AllowedItem .\nex:box a ex:AllowedContainer .\nex:crate a ex:AllowedContainer .',
   ],
+  [
+    'rdf-surfaces-strong-negation-access',
+    '@prefix ex: <http://example.org/> .\n\nex:bob ex:decision ex:Permit .\nex:alice ex:decision ex:Deny .',
+  ],
+  ['rdf-surfaces-disjunction-route-filter', '@prefix ex: <http://example.org/> .\n\nex:shipment17 ex:viableRoute ex:Rail .'],
+  ['rdf-surfaces-explicit-disjunction', '@prefix ex: <http://example.org/> .\n\nex:shipment23 ex:selectedRoute ex:Rail .'],
+  [
+    'rdf-surfaces-disjunction-elimination',
+    '@prefix ex: <http://example.org/> .\n\nex:caseSplit ex:disjunctionEntails ex:NeedsHumanAttention .',
+  ],
 ];
 
 let seq = 0;