eyeling 1.30.6 → 1.32.0

package/examples/input/rdf-surfaces-owl-all-values-from-codex.trig

@@ -1,36 +0,0 @@
-VERSION "1.2-surfaces"
-# eyeling-options: --rdf-surfaces
-@prefix ex: <http://example.org/> .
-@prefix owl: <http://www.w3.org/2002/07/owl#> .
-
-ex:AllowedContainer owl:onProperty ex:contains .
-ex:AllowedContainer owl:allValuesFrom ex:AllowedItem .
-ex:box a ex:AllowedContainer .
-ex:box ex:contains ex:item42 .
-ex:crate ex:contains ex:item43 .
-ex:item43 a ex:AllowedItem .
-
-%not[ _:a _:b _:c
-_:a owl:onProperty _:b .
-_:a owl:allValuesFrom _:c .
-%not[
-%not[ _:x _:y
-_:x a _:a .
-_:x _:b _:y .
-%not[
-_:y a _:c .
-%]
-%]
-%not[ _:x
-%not[ _:y
-_:x _:b _:y .
-%not[
-_:y a _:c .
-%]
-%]
-%not[
-_:x a _:a .
-%]
-%]
-%]
-%]

package/examples/input/rdf-surfaces-property-chain.trig

@@ -1,14 +0,0 @@
-VERSION "1.2-surfaces"
-# eyeling-options: --rdf-surfaces
-@prefix ex: <http://example.org/> .
-
-ex:alice ex:parent ex:bob .
-ex:bob ex:parent ex:carol .
-
-%not[ _:x _:y _:z
-_:x ex:parent _:y .
-_:y ex:parent _:z .
-%not[
-_:x ex:grandparent _:z .
-%]
-%]

package/examples/input/rdf-surfaces-range.trig

@@ -1,12 +0,0 @@
-VERSION "1.2-surfaces"
-# eyeling-options: --rdf-surfaces
-@prefix ex: <http://example.org/> .
-
-ex:alice ex:parent ex:bob .
-
-%not[ _:x _:y
-_:x ex:parent _:y .
-%not[
-_:y a ex:Person .
-%]
-%]

package/examples/input/rdf-surfaces-rdf12-graph-triple-term.trig

@@ -1,15 +0,0 @@
-VERSION "1.2-surfaces"
-# eyeling-options: --rdf-surfaces
-@prefix ex: <http://example.org/> .
-@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
-
-ex:auditGraph {
-ex:obs1 rdf:reifies <<( ex:sensor17 ex:reports ex:Overheating )>> .
-}
-
-%not[ _:obs
-ex:auditGraph { _:obs rdf:reifies <<( ex:sensor17 ex:reports ex:Overheating )>> . }
-%not[
-_:obs a ex:AuditedObservation .
-%]
-%]

package/examples/input/rdf-surfaces-rdf12-named-graph.trig

@@ -1,14 +0,0 @@
-VERSION "1.2-surfaces"
-# eyeling-options: --rdf-surfaces
-@prefix ex: <http://example.org/> .
-
-ex:regionalReport {
-ex:Brussels a ex:City .
-}
-
-%not[ _:x
-ex:regionalReport { _:x a ex:City . }
-%not[
-_:x a ex:ReportedCity .
-%]
-%]

package/examples/input/rdf-surfaces-rdf12-triple-term.trig

@@ -1,13 +0,0 @@
-VERSION "1.2-surfaces"
-# eyeling-options: --rdf-surfaces
-@prefix ex: <http://example.org/> .
-@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
-
-ex:claim1 rdf:reifies <<( ex:Brussels rdf:type ex:City )>> .
-
-%not[ _:claim
-_:claim rdf:reifies <<( ex:Brussels rdf:type ex:City )>> .
-%not[
-_:claim a ex:CityClaim .
-%]
-%]

package/examples/input/rdf-surfaces-rdfs-range-codex.trig

@@ -1,19 +0,0 @@
-VERSION "1.2-surfaces"
-# eyeling-options: --rdf-surfaces
-@prefix ex: <http://example.org/> .
-@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
-
-ex:parent rdfs:range ex:Person .
-ex:alice ex:parent ex:bob .
-
-%not[ _:p _:c
-_:p rdfs:range _:c .
-%not[
-%not[ _:s _:o
-_:s _:p _:o .
-%not[
-_:o a _:c .
-%]
-%]
-%]
-%]

package/examples/input/rdf-surfaces-rdfs-subclass-codex.trig

@@ -1,19 +0,0 @@
-VERSION "1.2-surfaces"
-# eyeling-options: --rdf-surfaces
-@prefix ex: <http://example.org/> .
-@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
-
-ex:City rdfs:subClassOf ex:HumanCommunity .
-ex:Brussels a ex:City .
-
-%not[ _:c _:d
-_:c rdfs:subClassOf _:d .
-%not[
-%not[ _:x
-_:x a _:c .
-%not[
-_:x a _:d .
-%]
-%]
-%]
-%]

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

@@ -1,15 +0,0 @@
-VERSION "1.2-surfaces"
-# 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-all-values-from-reverse.n3

@@ -1,3 +0,0 @@
-@prefix ex: <http://example.org/> .
-
-ex:box a ex:AllowedContainer .

package/examples/output/rdf-surfaces-all-values-from.n3

@@ -1,3 +0,0 @@
-@prefix ex: <http://example.org/> .
-
-ex:item42 a ex:AllowedItem .

package/examples/output/rdf-surfaces-ancestor.n3

@@ -1,5 +0,0 @@
-@prefix ex: <http://example.org/> .
-
-ex:ann ex:ancestor ex:bob .
-ex:bob ex:ancestor ex:cat .
-ex:ann ex:ancestor ex:cat .

package/examples/output/rdf-surfaces-city.n3

@@ -1,3 +0,0 @@
-@prefix ex: <http://example.org/> .
-
-ex:Brussels a ex:HumanCommunity .

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

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

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

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

package/examples/output/rdf-surfaces-domain.n3

@@ -1,3 +0,0 @@
-@prefix ex: <http://example.org/> .
-
-ex:alice a ex:Member .

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

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

package/examples/output/rdf-surfaces-multi-premise.n3

@@ -1,3 +0,0 @@
-@prefix ex: <http://example.org/> .
-
-ex:case123 a ex:PriorityCase .

package/examples/output/rdf-surfaces-owl-all-values-from-codex.n3

@@ -1,6 +0,0 @@
-@prefix ex: <http://example.org/> .
-
-ex:item43 a ex:AllowedItem .
-ex:item42 a ex:AllowedItem .
-ex:box a ex:AllowedContainer .
-ex:crate a ex:AllowedContainer .

package/examples/output/rdf-surfaces-property-chain.n3

@@ -1,3 +0,0 @@
-@prefix ex: <http://example.org/> .
-
-ex:alice ex:grandparent ex:carol .

package/examples/output/rdf-surfaces-range.n3

@@ -1,3 +0,0 @@
-@prefix ex: <http://example.org/> .
-
-ex:bob a ex:Person .

package/examples/output/rdf-surfaces-rdf12-graph-triple-term.n3

@@ -1,3 +0,0 @@
-@prefix ex: <http://example.org/> .
-
-ex:obs1 a ex:AuditedObservation .

package/examples/output/rdf-surfaces-rdf12-named-graph.n3

@@ -1,3 +0,0 @@
-@prefix ex: <http://example.org/> .
-
-ex:Brussels a ex:ReportedCity .

package/examples/output/rdf-surfaces-rdf12-triple-term.n3

@@ -1,3 +0,0 @@
-@prefix ex: <http://example.org/> .
-
-ex:claim1 a ex:CityClaim .

package/examples/output/rdf-surfaces-rdfs-range-codex.n3

@@ -1,3 +0,0 @@
-@prefix ex: <http://example.org/> .
-
-ex:bob a ex:Person .

package/examples/output/rdf-surfaces-rdfs-subclass-codex.n3

@@ -1,3 +0,0 @@
-@prefix ex: <http://example.org/> .
-
-ex:Brussels a ex:HumanCommunity .

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

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

package/examples/rdf-surfaces-all-values-from-reverse.n3

@@ -1,6 +0,0 @@
-@prefix ex: <http://example.org/> .
-@prefix log: <http://www.w3.org/2000/10/swap/log#> .
-
-{ ?s a ex:AllowedContainer . }
-log:query
-{ ?s a ex:AllowedContainer . } .

package/examples/rdf-surfaces-all-values-from.n3

@@ -1,6 +0,0 @@
-@prefix ex: <http://example.org/> .
-@prefix log: <http://www.w3.org/2000/10/swap/log#> .
-
-{ ?s a ex:AllowedItem . }
-log:query
-{ ?s a ex:AllowedItem . } .

package/examples/rdf-surfaces-ancestor.n3

@@ -1,6 +0,0 @@
-@prefix ex: <http://example.org/> .
-@prefix log: <http://www.w3.org/2000/10/swap/log#> .
-
-{ ?s ex:ancestor ?o . }
-log:query
-{ ?s ex:ancestor ?o . } .

package/examples/rdf-surfaces-city.n3

@@ -1,6 +0,0 @@
-@prefix ex: <http://example.org/> .
-@prefix log: <http://www.w3.org/2000/10/swap/log#> .
-
-{ ?s a ex:HumanCommunity . }
-log:query
-{ ?s a ex:HumanCommunity . } .

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

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

@@ -1,24 +0,0 @@
-@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-domain.n3

@@ -1,6 +0,0 @@
-@prefix ex: <http://example.org/> .
-@prefix log: <http://www.w3.org/2000/10/swap/log#> .
-
-{ ?s a ex:Member . }
-log:query
-{ ?s a ex:Member . } .

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

@@ -1,16 +0,0 @@
-@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-multi-premise.n3

@@ -1,6 +0,0 @@
-@prefix ex: <http://example.org/> .
-@prefix log: <http://www.w3.org/2000/10/swap/log#> .
-
-{ ?s a ex:PriorityCase . }
-log:query
-{ ?s a ex:PriorityCase . } .

package/examples/rdf-surfaces-owl-all-values-from-codex.n3

@@ -1,10 +0,0 @@
-@prefix ex: <http://example.org/> .
-@prefix log: <http://www.w3.org/2000/10/swap/log#> .
-
-{ ?s a ex:AllowedItem . }
-log:query
-{ ?s a ex:AllowedItem . } .
-
-{ ?s a ex:AllowedContainer . }
-log:query
-{ ?s a ex:AllowedContainer . } .

package/examples/rdf-surfaces-property-chain.n3

@@ -1,6 +0,0 @@
-@prefix ex: <http://example.org/> .
-@prefix log: <http://www.w3.org/2000/10/swap/log#> .
-
-{ ?s ex:grandparent ?o . }
-log:query
-{ ?s ex:grandparent ?o . } .

package/examples/rdf-surfaces-range.n3

@@ -1,6 +0,0 @@
-@prefix ex: <http://example.org/> .
-@prefix log: <http://www.w3.org/2000/10/swap/log#> .
-
-{ ?s a ex:Person . }
-log:query
-{ ?s a ex:Person . } .

package/examples/rdf-surfaces-rdf12-graph-triple-term.n3

@@ -1,6 +0,0 @@
-@prefix ex: <http://example.org/> .
-@prefix log: <http://www.w3.org/2000/10/swap/log#> .
-
-{ ?s a ex:AuditedObservation . }
-log:query
-{ ?s a ex:AuditedObservation . } .

package/examples/rdf-surfaces-rdf12-named-graph.n3

@@ -1,6 +0,0 @@
-@prefix ex: <http://example.org/> .
-@prefix log: <http://www.w3.org/2000/10/swap/log#> .
-
-{ ?s a ex:ReportedCity . }
-log:query
-{ ?s a ex:ReportedCity . } .

package/examples/rdf-surfaces-rdf12-triple-term.n3

@@ -1,6 +0,0 @@
-@prefix ex: <http://example.org/> .
-@prefix log: <http://www.w3.org/2000/10/swap/log#> .
-
-{ ?s a ex:CityClaim . }
-log:query
-{ ?s a ex:CityClaim . } .

package/examples/rdf-surfaces-rdfs-range-codex.n3

@@ -1,6 +0,0 @@
-@prefix ex: <http://example.org/> .
-@prefix log: <http://www.w3.org/2000/10/swap/log#> .
-
-{ ?s a ex:Person . }
-log:query
-{ ?s a ex:Person . } .

package/examples/rdf-surfaces-rdfs-subclass-codex.n3

@@ -1,6 +0,0 @@
-@prefix ex: <http://example.org/> .
-@prefix log: <http://www.w3.org/2000/10/swap/log#> .
-
-{ ?s a ex:HumanCommunity . }
-log:query
-{ ?s a ex:HumanCommunity . } .

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

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