eyeprolog 1.3.99 → 1.3.100

package/README.md

@@ -64,8 +64,9 @@ printf 'human(socrates).\nmortal(X) :- human(X).\n' |
 - [Why EyeProlog?](https://eyereasoner.github.io/eyeprolog/why-eyeprolog) — project scope and design
 - [Playground](https://eyereasoner.github.io/eyeprolog/playground) — run EyeProlog in a browser
 - [Examples](examples) — runnable programs and checked output
+- [Example decks](examples/deck/README.md) — explainable RDF/Prolog scenarios with reproducible roundtrips
 - [Symbiotic Knowledge Graphs](examples/deck/symbiotic-knowledge-graphs.md) — RDF ↔ Prolog heatwave-response demo for human/AI/KG co-evolution
-- [rdf-prolog-roundtrip](https://github.com/eyereasoner/rdf-prolog-roundtrip) — standalone RDF 1.2 ↔ ISO Prolog bridge used by the symbiotic example
+- [rdf-prolog-roundtrip](https://github.com/eyereasoner/rdf-prolog-roundtrip) — standalone RDF 1.2 ↔ ISO Prolog bridge used by the RDF examples
 - [ISO conformance audit](test/conformance/ISO-COMPLIANCE.md) — supported Part 1 profile
 - [Conformance report](conformance-report.md) — generated public corpus summary
 - [OpenRuleBench](openrulebench/README.md) — portable benchmark profile
@@ -76,6 +77,8 @@ EyeProlog can sit behind an RDF knowledge graph without inventing a private grap
 
 The checked [Symbiotic Knowledge Graphs example](examples/symbiotic-knowledge-graph.pl) uses named graphs and RDF 1.2 triple terms to distinguish trusted knowledge, AI-proposed statements, and human review. Its [wide-audience companion](examples/deck/symbiotic-knowledge-graphs.md) explains why this is a useful present-day software model for human/AI/KG co-evolution: RDF supplies shared semantic memory, Prolog supplies explicit deliberation, AI supplies new hypotheses, and people remain participants in meaning and judgment.
 
+The same RDF → Prolog → RDF boundary is exercised by five additional checked scenarios: [cross-organization data sharing](examples/deck/cross-organization-data-sharing.md), [explainable EV-depot configuration](examples/deck/explainable-ev-depot-configuration.md), [operational incident response](examples/deck/operational-incident-response.md), [software supply-chain vulnerability response](examples/deck/sbom-vulnerability-response.md), and a [scientific evidence graph](examples/deck/scientific-evidence-graph.md). Together they cover policy decisions, reversible configuration reasoning, dependency-graph diagnosis, transitive SBOM exposure, and evidence aggregation with explicit disagreement.
+
 ## Development
 
 ```sh

package/examples/cross-organization-data-sharing.pl

@@ -0,0 +1,121 @@
+% Generated by rdf-prolog-roundtrip.
+
+% RDF terms use rdf(Subject, Predicate, Object, Graph).
+
+rdf(iri('https://example.org/data-sharing/policy/main'), iri('http://www.w3.org/ns/odrl/2/permission'), iri('https://example.org/data-sharing/policy/research-permission'), iri('https://example.org/data-sharing/graph/policy')).
+rdf(iri('https://example.org/data-sharing/policy/research-permission'), iri('http://www.w3.org/ns/odrl/2/target'), iri('https://example.org/data-sharing/dataset/cohort-a'), iri('https://example.org/data-sharing/graph/policy')).
+rdf(iri('https://example.org/data-sharing/policy/research-permission'), iri('http://www.w3.org/ns/odrl/2/action'), iri('http://www.w3.org/ns/odrl/2/use'), iri('https://example.org/data-sharing/graph/policy')).
+rdf(iri('https://example.org/data-sharing/policy/research-permission'), iri('http://www.w3.org/ns/odrl/2/purpose'), iri('https://w3id.org/dpv#ScientificResearch'), iri('https://example.org/data-sharing/graph/policy')).
+rdf(iri('https://example.org/data-sharing/policy/research-permission'), iri('https://example.org/vocab/maxRetentionDays'), literal('180', datatype('http://www.w3.org/2001/XMLSchema#integer')), iri('https://example.org/data-sharing/graph/policy')).
+rdf(iri('https://example.org/data-sharing/policy/main'), iri('http://www.w3.org/ns/odrl/2/prohibition'), iri('https://example.org/data-sharing/policy/marketing-prohibition'), iri('https://example.org/data-sharing/graph/policy')).
+rdf(iri('https://example.org/data-sharing/policy/marketing-prohibition'), iri('http://www.w3.org/ns/odrl/2/target'), iri('https://example.org/data-sharing/dataset/cohort-a'), iri('https://example.org/data-sharing/graph/policy')).
+rdf(iri('https://example.org/data-sharing/policy/marketing-prohibition'), iri('http://www.w3.org/ns/odrl/2/action'), iri('http://www.w3.org/ns/odrl/2/distribute'), iri('https://example.org/data-sharing/graph/policy')).
+rdf(iri('https://example.org/data-sharing/policy/marketing-prohibition'), iri('http://www.w3.org/ns/odrl/2/purpose'), iri('https://w3id.org/dpv#Marketing'), iri('https://example.org/data-sharing/graph/policy')).
+rdf(iri('https://example.org/data-sharing/org/university-eu'), iri('https://example.org/vocab/region'), iri('https://example.org/data-sharing/region/eu'), iri('https://example.org/data-sharing/graph/organizations')).
+rdf(iri('https://example.org/data-sharing/org/university-eu'), iri('https://example.org/vocab/certifiedResearchOrg'), iri('https://example.org/data-sharing/value/yes'), iri('https://example.org/data-sharing/graph/organizations')).
+rdf(iri('https://example.org/data-sharing/org/university-us'), iri('https://example.org/vocab/region'), iri('https://example.org/data-sharing/region/us'), iri('https://example.org/data-sharing/graph/organizations')).
+rdf(iri('https://example.org/data-sharing/org/university-us'), iri('https://example.org/vocab/certifiedResearchOrg'), iri('https://example.org/data-sharing/value/yes'), iri('https://example.org/data-sharing/graph/organizations')).
+rdf(iri('https://example.org/data-sharing/org/ad-network'), iri('https://example.org/vocab/region'), iri('https://example.org/data-sharing/region/eu'), iri('https://example.org/data-sharing/graph/organizations')).
+rdf(iri('https://example.org/data-sharing/request/research-eu'), iri('https://example.org/vocab/dataset'), iri('https://example.org/data-sharing/dataset/cohort-a'), iri('https://example.org/data-sharing/graph/requests')).
+rdf(iri('https://example.org/data-sharing/request/research-eu'), iri('https://example.org/vocab/recipient'), iri('https://example.org/data-sharing/org/university-eu'), iri('https://example.org/data-sharing/graph/requests')).
+rdf(iri('https://example.org/data-sharing/request/research-eu'), iri('https://example.org/vocab/action'), iri('http://www.w3.org/ns/odrl/2/use'), iri('https://example.org/data-sharing/graph/requests')).
+rdf(iri('https://example.org/data-sharing/request/research-eu'), iri('https://example.org/vocab/purpose'), iri('https://w3id.org/dpv#ScientificResearch'), iri('https://example.org/data-sharing/graph/requests')).
+rdf(iri('https://example.org/data-sharing/request/research-eu'), iri('https://example.org/vocab/retentionDays'), literal('120', datatype('http://www.w3.org/2001/XMLSchema#integer')), iri('https://example.org/data-sharing/graph/requests')).
+rdf(iri('https://example.org/data-sharing/request/research-eu'), iri('https://example.org/vocab/pseudonymized'), iri('https://example.org/data-sharing/value/yes'), iri('https://example.org/data-sharing/graph/requests')).
+rdf(iri('https://example.org/data-sharing/request/research-eu'), iri('https://example.org/vocab/legalBasis'), iri('https://w3id.org/dpv#Consent'), iri('https://example.org/data-sharing/graph/requests')).
+rdf(iri('https://example.org/data-sharing/request/research-eu'), iri('https://example.org/vocab/standardContractualClauses'), iri('https://example.org/data-sharing/value/yes'), iri('https://example.org/data-sharing/graph/requests')).
+rdf(iri('https://example.org/data-sharing/request/marketing'), iri('https://example.org/vocab/dataset'), iri('https://example.org/data-sharing/dataset/cohort-a'), iri('https://example.org/data-sharing/graph/requests')).
+rdf(iri('https://example.org/data-sharing/request/marketing'), iri('https://example.org/vocab/recipient'), iri('https://example.org/data-sharing/org/ad-network'), iri('https://example.org/data-sharing/graph/requests')).
+rdf(iri('https://example.org/data-sharing/request/marketing'), iri('https://example.org/vocab/action'), iri('http://www.w3.org/ns/odrl/2/distribute'), iri('https://example.org/data-sharing/graph/requests')).
+rdf(iri('https://example.org/data-sharing/request/marketing'), iri('https://example.org/vocab/purpose'), iri('https://w3id.org/dpv#Marketing'), iri('https://example.org/data-sharing/graph/requests')).
+rdf(iri('https://example.org/data-sharing/request/marketing'), iri('https://example.org/vocab/retentionDays'), literal('30', datatype('http://www.w3.org/2001/XMLSchema#integer')), iri('https://example.org/data-sharing/graph/requests')).
+rdf(iri('https://example.org/data-sharing/request/marketing'), iri('https://example.org/vocab/pseudonymized'), iri('https://example.org/data-sharing/value/no'), iri('https://example.org/data-sharing/graph/requests')).
+rdf(iri('https://example.org/data-sharing/request/marketing'), iri('https://example.org/vocab/legalBasis'), iri('https://w3id.org/dpv#Consent'), iri('https://example.org/data-sharing/graph/requests')).
+rdf(iri('https://example.org/data-sharing/request/marketing'), iri('https://example.org/vocab/standardContractualClauses'), iri('https://example.org/data-sharing/value/yes'), iri('https://example.org/data-sharing/graph/requests')).
+rdf(iri('https://example.org/data-sharing/request/research-us'), iri('https://example.org/vocab/dataset'), iri('https://example.org/data-sharing/dataset/cohort-a'), iri('https://example.org/data-sharing/graph/requests')).
+rdf(iri('https://example.org/data-sharing/request/research-us'), iri('https://example.org/vocab/recipient'), iri('https://example.org/data-sharing/org/university-us'), iri('https://example.org/data-sharing/graph/requests')).
+rdf(iri('https://example.org/data-sharing/request/research-us'), iri('https://example.org/vocab/action'), iri('http://www.w3.org/ns/odrl/2/use'), iri('https://example.org/data-sharing/graph/requests')).
+rdf(iri('https://example.org/data-sharing/request/research-us'), iri('https://example.org/vocab/purpose'), iri('https://w3id.org/dpv#ScientificResearch'), iri('https://example.org/data-sharing/graph/requests')).
+rdf(iri('https://example.org/data-sharing/request/research-us'), iri('https://example.org/vocab/retentionDays'), literal('90', datatype('http://www.w3.org/2001/XMLSchema#integer')), iri('https://example.org/data-sharing/graph/requests')).
+rdf(iri('https://example.org/data-sharing/request/research-us'), iri('https://example.org/vocab/pseudonymized'), iri('https://example.org/data-sharing/value/yes'), iri('https://example.org/data-sharing/graph/requests')).
+rdf(iri('https://example.org/data-sharing/request/research-us'), iri('https://example.org/vocab/legalBasis'), iri('https://w3id.org/dpv#Consent'), iri('https://example.org/data-sharing/graph/requests')).
+rdf(iri('https://example.org/data-sharing/request/research-us'), iri('https://example.org/vocab/standardContractualClauses'), iri('https://example.org/data-sharing/value/no'), iri('https://example.org/data-sharing/graph/requests')).
+
+% Rules
+% Flagship example: cross-organization data-sharing decisions using RDF,
+% W3C ODRL vocabulary, DPV terms, and portable ISO Prolog policy rules.
+
+%% goal: sharing_decision(X0, X1)
+%% goal: obligation(X0, X1)
+%% goal: decision_reason(X0, X1)
+
+v(dataset, iri('https://example.org/vocab/dataset')).
+v(recipient, iri('https://example.org/vocab/recipient')).
+v(action, iri('https://example.org/vocab/action')).
+v(purpose, iri('https://example.org/vocab/purpose')).
+v(retention_days, iri('https://example.org/vocab/retentionDays')).
+v(pseudonymized, iri('https://example.org/vocab/pseudonymized')).
+v(legal_basis, iri('https://example.org/vocab/legalBasis')).
+v(scc, iri('https://example.org/vocab/standardContractualClauses')).
+v(region, iri('https://example.org/vocab/region')).
+v(certified, iri('https://example.org/vocab/certifiedResearchOrg')).
+v(max_retention, iri('https://example.org/vocab/maxRetentionDays')).
+
+g(requests, iri('https://example.org/data-sharing/graph/requests')).
+g(policy, iri('https://example.org/data-sharing/graph/policy')).
+g(orgs, iri('https://example.org/data-sharing/graph/organizations')).
+
+yes(iri('https://example.org/data-sharing/value/yes')).
+no(iri('https://example.org/data-sharing/value/no')).
+eu(iri('https://example.org/data-sharing/region/eu')).
+consent_basis(iri('https://w3id.org/dpv#Consent')).
+
+request(research_eu, iri('https://example.org/data-sharing/request/research-eu')).
+request(marketing, iri('https://example.org/data-sharing/request/marketing')).
+request(research_us, iri('https://example.org/data-sharing/request/research-us')).
+
+integer_literal(literal(Text, datatype('http://www.w3.org/2001/XMLSchema#integer')), N) :- atom_chars(Text,Cs), number_chars(N,Cs).
+
+request_data(Id,R,D,Recipient,Action,Purpose,Retention,Pseudo,Basis,Scc) :-
+ request(Id,R), g(requests,G), v(dataset,PD),v(recipient,PR),v(action,PA),v(purpose,PP),v(retention_days,PT),v(pseudonymized,PPs),v(legal_basis,PL),v(scc,PS),
+ rdf(R,PD,D,G),rdf(R,PR,Recipient,G),rdf(R,PA,Action,G),rdf(R,PP,Purpose,G),rdf(R,PT,L,G),integer_literal(L,Retention),rdf(R,PPs,Pseudo,G),rdf(R,PL,Basis,G),rdf(R,PS,Scc,G).
+
+policy_permission(D,Action,Purpose,MaxRetention) :-
+ g(policy,G), rdf(_,iri('http://www.w3.org/ns/odrl/2/permission'),Rule,G),
+ rdf(Rule,iri('http://www.w3.org/ns/odrl/2/target'),D,G), rdf(Rule,iri('http://www.w3.org/ns/odrl/2/action'),Action,G), rdf(Rule,iri('http://www.w3.org/ns/odrl/2/purpose'),Purpose,G),
+ v(max_retention,PM), rdf(Rule,PM,L,G), integer_literal(L,MaxRetention).
+
+policy_prohibition(D,Action,Purpose) :-
+ g(policy,G), rdf(_,iri('http://www.w3.org/ns/odrl/2/prohibition'),Rule,G),
+ rdf(Rule,iri('http://www.w3.org/ns/odrl/2/target'),D,G), rdf(Rule,iri('http://www.w3.org/ns/odrl/2/action'),Action,G), rdf(Rule,iri('http://www.w3.org/ns/odrl/2/purpose'),Purpose,G).
+
+recipient_region(Recipient,Region) :- g(orgs,G),v(region,P),rdf(Recipient,P,Region,G).
+certified(Recipient) :- g(orgs,G),v(certified,P),yes(Y),rdf(Recipient,P,Y,G).
+
+sharing_decision(Id, deny) :- request_data(Id,_R,D,_Recip,Action,Purpose,_Ret,_Ps,_B,_S), policy_prohibition(D,Action,Purpose).
+sharing_decision(Id, review) :-
+ request_data(Id,_R,D,Recip,Action,Purpose,Retention,Pseudo,Basis,Scc), consent_basis(Basis), policy_permission(D,Action,Purpose,Max), certified(Recip), Retention =< Max, yes(Y), Pseudo=Y,
+ recipient_region(Recip,Region), eu(EU), Region \= EU, no(N), Scc=N.
+sharing_decision(Id, permit) :-
+ request_data(Id,_R,D,Recip,Action,Purpose,Retention,Pseudo,Basis,_Scc), consent_basis(Basis), policy_permission(D,Action,Purpose,Max), certified(Recip), Retention =< Max, yes(Y), Pseudo=Y,
+ recipient_region(Recip,Region), eu(EU), Region=EU.
+sharing_decision(Id, permit) :-
+ request_data(Id,_R,D,Recip,Action,Purpose,Retention,Pseudo,Basis,Scc), consent_basis(Basis), policy_permission(D,Action,Purpose,Max), certified(Recip), Retention =< Max, yes(Y), Pseudo=Y,
+ recipient_region(Recip,Region), eu(EU), Region \= EU, Scc=Y.
+
+obligation(research_eu, delete_after_days(120)) :- sharing_decision(research_eu,permit).
+obligation(research_eu, retain_audit_log) :- sharing_decision(research_eu,permit).
+
+decision_reason(research_eu, "ODRL permission matches; recipient is certified, data is pseudonymized, retention is within 180 days, and the transfer stays in-region.") :- sharing_decision(research_eu,permit).
+decision_reason(marketing, "The requested marketing distribution matches an explicit ODRL prohibition.") :- sharing_decision(marketing,deny).
+decision_reason(research_us, "The research purpose is permitted, but the out-of-region transfer lacks the required contractual safeguard and must be reviewed.") :- sharing_decision(research_us,review).
+
+result_rdf(R, iri('https://example.org/vocab/sharingDecision'), D, iri('https://example.org/data-sharing/graph/derived')) :-
+ sharing_decision(Id,Decision), request(Id,R), decision_iri(Decision,D).
+decision_iri(permit,iri('https://example.org/data-sharing/decision/permit')).
+decision_iri(deny,iri('https://example.org/data-sharing/decision/deny')).
+decision_iri(review,iri('https://example.org/data-sharing/decision/review')).
+
+write_results :- result_rdf(S,P,O,G), write_term(rdf(S,P,O,G),[quoted(true)]), write('.'), nl, fail.
+write_results.
+:- set_prolog_flag(unknown, fail).

package/examples/data/README.md

@@ -19,3 +19,18 @@ symbiotic-knowledge-graph-input.nq
 The input uses named graphs for source boundaries and RDF 1.2 triple terms for AI-proposed statements. A proposed triple is therefore metadata until governance rules accept it; it does not become an operational assertion merely because an AI produced it.
 
 See [the wide-audience deck](../deck/symbiotic-knowledge-graphs.md) for the scenario and architecture.
+
+## Additional decision and evidence roundtrips
+
+Five further examples use the same explicit boundary: source RDF is converted to `rdf/4` facts, portable rules are appended for EyeProlog, checked conclusions are emitted as Prolog, and ground result facts are converted back to RDF.
+
+| Scenario | Source and rules | Materialized result | Companion |
+| --- | --- | --- | --- |
+| Cross-organization data sharing | [`cross-organization-data-sharing-input.nq`](cross-organization-data-sharing-input.nq) · [`cross-organization-data-sharing-rules.pl`](cross-organization-data-sharing-rules.pl) | [`cross-organization-data-sharing-output.nq`](cross-organization-data-sharing-output.nq) | [deck](../deck/cross-organization-data-sharing.md) |
+| Explainable EV-depot configuration | [`explainable-ev-depot-configuration-input.nq`](explainable-ev-depot-configuration-input.nq) · [`explainable-ev-depot-configuration-rules.pl`](explainable-ev-depot-configuration-rules.pl) | [`explainable-ev-depot-configuration-output.nq`](explainable-ev-depot-configuration-output.nq) | [deck](../deck/explainable-ev-depot-configuration.md) |
+| Operational incident response | [`operational-incident-response-input.nq`](operational-incident-response-input.nq) · [`operational-incident-response-rules.pl`](operational-incident-response-rules.pl) | [`operational-incident-response-output.nq`](operational-incident-response-output.nq) | [deck](../deck/operational-incident-response.md) |
+| SBOM vulnerability response | [`sbom-vulnerability-response-input.nq`](sbom-vulnerability-response-input.nq) · [`sbom-vulnerability-response-rules.pl`](sbom-vulnerability-response-rules.pl) | [`sbom-vulnerability-response-output.nq`](sbom-vulnerability-response-output.nq) | [deck](../deck/sbom-vulnerability-response.md) |
+| Scientific evidence graph | [`scientific-evidence-graph-input.nq`](scientific-evidence-graph-input.nq) · [`scientific-evidence-graph-rules.pl`](scientific-evidence-graph-rules.pl) | [`scientific-evidence-graph-output.nq`](scientific-evidence-graph-output.nq) | [deck](../deck/scientific-evidence-graph.md) |
+
+Each scenario also has a generated runnable program one directory up and a checked stdout file in `../output/`. The corresponding deck contains the exact reproduction commands for the RDF roundtrip.
+

package/examples/data/cross-organization-data-sharing-input.nq

@@ -0,0 +1,40 @@
+VERSION "1.2"
+
+<https://example.org/data-sharing/policy/main> <http://www.w3.org/ns/odrl/2/permission> <https://example.org/data-sharing/policy/research-permission> <https://example.org/data-sharing/graph/policy> .
+<https://example.org/data-sharing/policy/research-permission> <http://www.w3.org/ns/odrl/2/target> <https://example.org/data-sharing/dataset/cohort-a> <https://example.org/data-sharing/graph/policy> .
+<https://example.org/data-sharing/policy/research-permission> <http://www.w3.org/ns/odrl/2/action> <http://www.w3.org/ns/odrl/2/use> <https://example.org/data-sharing/graph/policy> .
+<https://example.org/data-sharing/policy/research-permission> <http://www.w3.org/ns/odrl/2/purpose> <https://w3id.org/dpv#ScientificResearch> <https://example.org/data-sharing/graph/policy> .
+<https://example.org/data-sharing/policy/research-permission> <https://example.org/vocab/maxRetentionDays> "180"^^<http://www.w3.org/2001/XMLSchema#integer> <https://example.org/data-sharing/graph/policy> .
+<https://example.org/data-sharing/policy/main> <http://www.w3.org/ns/odrl/2/prohibition> <https://example.org/data-sharing/policy/marketing-prohibition> <https://example.org/data-sharing/graph/policy> .
+<https://example.org/data-sharing/policy/marketing-prohibition> <http://www.w3.org/ns/odrl/2/target> <https://example.org/data-sharing/dataset/cohort-a> <https://example.org/data-sharing/graph/policy> .
+<https://example.org/data-sharing/policy/marketing-prohibition> <http://www.w3.org/ns/odrl/2/action> <http://www.w3.org/ns/odrl/2/distribute> <https://example.org/data-sharing/graph/policy> .
+<https://example.org/data-sharing/policy/marketing-prohibition> <http://www.w3.org/ns/odrl/2/purpose> <https://w3id.org/dpv#Marketing> <https://example.org/data-sharing/graph/policy> .
+<https://example.org/data-sharing/org/university-eu> <https://example.org/vocab/region> <https://example.org/data-sharing/region/eu> <https://example.org/data-sharing/graph/organizations> .
+<https://example.org/data-sharing/org/university-eu> <https://example.org/vocab/certifiedResearchOrg> <https://example.org/data-sharing/value/yes> <https://example.org/data-sharing/graph/organizations> .
+<https://example.org/data-sharing/org/university-us> <https://example.org/vocab/region> <https://example.org/data-sharing/region/us> <https://example.org/data-sharing/graph/organizations> .
+<https://example.org/data-sharing/org/university-us> <https://example.org/vocab/certifiedResearchOrg> <https://example.org/data-sharing/value/yes> <https://example.org/data-sharing/graph/organizations> .
+<https://example.org/data-sharing/org/ad-network> <https://example.org/vocab/region> <https://example.org/data-sharing/region/eu> <https://example.org/data-sharing/graph/organizations> .
+<https://example.org/data-sharing/request/research-eu> <https://example.org/vocab/dataset> <https://example.org/data-sharing/dataset/cohort-a> <https://example.org/data-sharing/graph/requests> .
+<https://example.org/data-sharing/request/research-eu> <https://example.org/vocab/recipient> <https://example.org/data-sharing/org/university-eu> <https://example.org/data-sharing/graph/requests> .
+<https://example.org/data-sharing/request/research-eu> <https://example.org/vocab/action> <http://www.w3.org/ns/odrl/2/use> <https://example.org/data-sharing/graph/requests> .
+<https://example.org/data-sharing/request/research-eu> <https://example.org/vocab/purpose> <https://w3id.org/dpv#ScientificResearch> <https://example.org/data-sharing/graph/requests> .
+<https://example.org/data-sharing/request/research-eu> <https://example.org/vocab/retentionDays> "120"^^<http://www.w3.org/2001/XMLSchema#integer> <https://example.org/data-sharing/graph/requests> .
+<https://example.org/data-sharing/request/research-eu> <https://example.org/vocab/pseudonymized> <https://example.org/data-sharing/value/yes> <https://example.org/data-sharing/graph/requests> .
+<https://example.org/data-sharing/request/research-eu> <https://example.org/vocab/legalBasis> <https://w3id.org/dpv#Consent> <https://example.org/data-sharing/graph/requests> .
+<https://example.org/data-sharing/request/research-eu> <https://example.org/vocab/standardContractualClauses> <https://example.org/data-sharing/value/yes> <https://example.org/data-sharing/graph/requests> .
+<https://example.org/data-sharing/request/marketing> <https://example.org/vocab/dataset> <https://example.org/data-sharing/dataset/cohort-a> <https://example.org/data-sharing/graph/requests> .
+<https://example.org/data-sharing/request/marketing> <https://example.org/vocab/recipient> <https://example.org/data-sharing/org/ad-network> <https://example.org/data-sharing/graph/requests> .
+<https://example.org/data-sharing/request/marketing> <https://example.org/vocab/action> <http://www.w3.org/ns/odrl/2/distribute> <https://example.org/data-sharing/graph/requests> .
+<https://example.org/data-sharing/request/marketing> <https://example.org/vocab/purpose> <https://w3id.org/dpv#Marketing> <https://example.org/data-sharing/graph/requests> .
+<https://example.org/data-sharing/request/marketing> <https://example.org/vocab/retentionDays> "30"^^<http://www.w3.org/2001/XMLSchema#integer> <https://example.org/data-sharing/graph/requests> .
+<https://example.org/data-sharing/request/marketing> <https://example.org/vocab/pseudonymized> <https://example.org/data-sharing/value/no> <https://example.org/data-sharing/graph/requests> .
+<https://example.org/data-sharing/request/marketing> <https://example.org/vocab/legalBasis> <https://w3id.org/dpv#Consent> <https://example.org/data-sharing/graph/requests> .
+<https://example.org/data-sharing/request/marketing> <https://example.org/vocab/standardContractualClauses> <https://example.org/data-sharing/value/yes> <https://example.org/data-sharing/graph/requests> .
+<https://example.org/data-sharing/request/research-us> <https://example.org/vocab/dataset> <https://example.org/data-sharing/dataset/cohort-a> <https://example.org/data-sharing/graph/requests> .
+<https://example.org/data-sharing/request/research-us> <https://example.org/vocab/recipient> <https://example.org/data-sharing/org/university-us> <https://example.org/data-sharing/graph/requests> .
+<https://example.org/data-sharing/request/research-us> <https://example.org/vocab/action> <http://www.w3.org/ns/odrl/2/use> <https://example.org/data-sharing/graph/requests> .
+<https://example.org/data-sharing/request/research-us> <https://example.org/vocab/purpose> <https://w3id.org/dpv#ScientificResearch> <https://example.org/data-sharing/graph/requests> .
+<https://example.org/data-sharing/request/research-us> <https://example.org/vocab/retentionDays> "90"^^<http://www.w3.org/2001/XMLSchema#integer> <https://example.org/data-sharing/graph/requests> .
+<https://example.org/data-sharing/request/research-us> <https://example.org/vocab/pseudonymized> <https://example.org/data-sharing/value/yes> <https://example.org/data-sharing/graph/requests> .
+<https://example.org/data-sharing/request/research-us> <https://example.org/vocab/legalBasis> <https://w3id.org/dpv#Consent> <https://example.org/data-sharing/graph/requests> .
+<https://example.org/data-sharing/request/research-us> <https://example.org/vocab/standardContractualClauses> <https://example.org/data-sharing/value/no> <https://example.org/data-sharing/graph/requests> .

package/examples/data/cross-organization-data-sharing-output.nq

@@ -0,0 +1,5 @@
+VERSION "1.2"
+
+<https://example.org/data-sharing/request/marketing> <https://example.org/vocab/sharingDecision> <https://example.org/data-sharing/decision/deny> <https://example.org/data-sharing/graph/derived> .
+<https://example.org/data-sharing/request/research-us> <https://example.org/vocab/sharingDecision> <https://example.org/data-sharing/decision/review> <https://example.org/data-sharing/graph/derived> .
+<https://example.org/data-sharing/request/research-eu> <https://example.org/vocab/sharingDecision> <https://example.org/data-sharing/decision/permit> <https://example.org/data-sharing/graph/derived> .

package/examples/data/cross-organization-data-sharing-output.pl

@@ -0,0 +1,3 @@
+rdf(iri('https://example.org/data-sharing/request/marketing'),iri('https://example.org/vocab/sharingDecision'),iri('https://example.org/data-sharing/decision/deny'),iri('https://example.org/data-sharing/graph/derived')).
+rdf(iri('https://example.org/data-sharing/request/research-us'),iri('https://example.org/vocab/sharingDecision'),iri('https://example.org/data-sharing/decision/review'),iri('https://example.org/data-sharing/graph/derived')).
+rdf(iri('https://example.org/data-sharing/request/research-eu'),iri('https://example.org/vocab/sharingDecision'),iri('https://example.org/data-sharing/decision/permit'),iri('https://example.org/data-sharing/graph/derived')).

package/examples/data/cross-organization-data-sharing-rules.pl

@@ -0,0 +1,77 @@
+% Flagship example: cross-organization data-sharing decisions using RDF,
+% W3C ODRL vocabulary, DPV terms, and portable ISO Prolog policy rules.
+
+%% goal: sharing_decision(X0, X1)
+%% goal: obligation(X0, X1)
+%% goal: decision_reason(X0, X1)
+
+v(dataset, iri('https://example.org/vocab/dataset')).
+v(recipient, iri('https://example.org/vocab/recipient')).
+v(action, iri('https://example.org/vocab/action')).
+v(purpose, iri('https://example.org/vocab/purpose')).
+v(retention_days, iri('https://example.org/vocab/retentionDays')).
+v(pseudonymized, iri('https://example.org/vocab/pseudonymized')).
+v(legal_basis, iri('https://example.org/vocab/legalBasis')).
+v(scc, iri('https://example.org/vocab/standardContractualClauses')).
+v(region, iri('https://example.org/vocab/region')).
+v(certified, iri('https://example.org/vocab/certifiedResearchOrg')).
+v(max_retention, iri('https://example.org/vocab/maxRetentionDays')).
+
+g(requests, iri('https://example.org/data-sharing/graph/requests')).
+g(policy, iri('https://example.org/data-sharing/graph/policy')).
+g(orgs, iri('https://example.org/data-sharing/graph/organizations')).
+
+yes(iri('https://example.org/data-sharing/value/yes')).
+no(iri('https://example.org/data-sharing/value/no')).
+eu(iri('https://example.org/data-sharing/region/eu')).
+consent_basis(iri('https://w3id.org/dpv#Consent')).
+
+request(research_eu, iri('https://example.org/data-sharing/request/research-eu')).
+request(marketing, iri('https://example.org/data-sharing/request/marketing')).
+request(research_us, iri('https://example.org/data-sharing/request/research-us')).
+
+integer_literal(literal(Text, datatype('http://www.w3.org/2001/XMLSchema#integer')), N) :- atom_chars(Text,Cs), number_chars(N,Cs).
+
+request_data(Id,R,D,Recipient,Action,Purpose,Retention,Pseudo,Basis,Scc) :-
+ request(Id,R), g(requests,G), v(dataset,PD),v(recipient,PR),v(action,PA),v(purpose,PP),v(retention_days,PT),v(pseudonymized,PPs),v(legal_basis,PL),v(scc,PS),
+ rdf(R,PD,D,G),rdf(R,PR,Recipient,G),rdf(R,PA,Action,G),rdf(R,PP,Purpose,G),rdf(R,PT,L,G),integer_literal(L,Retention),rdf(R,PPs,Pseudo,G),rdf(R,PL,Basis,G),rdf(R,PS,Scc,G).
+
+policy_permission(D,Action,Purpose,MaxRetention) :-
+ g(policy,G), rdf(_,iri('http://www.w3.org/ns/odrl/2/permission'),Rule,G),
+ rdf(Rule,iri('http://www.w3.org/ns/odrl/2/target'),D,G), rdf(Rule,iri('http://www.w3.org/ns/odrl/2/action'),Action,G), rdf(Rule,iri('http://www.w3.org/ns/odrl/2/purpose'),Purpose,G),
+ v(max_retention,PM), rdf(Rule,PM,L,G), integer_literal(L,MaxRetention).
+
+policy_prohibition(D,Action,Purpose) :-
+ g(policy,G), rdf(_,iri('http://www.w3.org/ns/odrl/2/prohibition'),Rule,G),
+ rdf(Rule,iri('http://www.w3.org/ns/odrl/2/target'),D,G), rdf(Rule,iri('http://www.w3.org/ns/odrl/2/action'),Action,G), rdf(Rule,iri('http://www.w3.org/ns/odrl/2/purpose'),Purpose,G).
+
+recipient_region(Recipient,Region) :- g(orgs,G),v(region,P),rdf(Recipient,P,Region,G).
+certified(Recipient) :- g(orgs,G),v(certified,P),yes(Y),rdf(Recipient,P,Y,G).
+
+sharing_decision(Id, deny) :- request_data(Id,_R,D,_Recip,Action,Purpose,_Ret,_Ps,_B,_S), policy_prohibition(D,Action,Purpose).
+sharing_decision(Id, review) :-
+ request_data(Id,_R,D,Recip,Action,Purpose,Retention,Pseudo,Basis,Scc), consent_basis(Basis), policy_permission(D,Action,Purpose,Max), certified(Recip), Retention =< Max, yes(Y), Pseudo=Y,
+ recipient_region(Recip,Region), eu(EU), Region \= EU, no(N), Scc=N.
+sharing_decision(Id, permit) :-
+ request_data(Id,_R,D,Recip,Action,Purpose,Retention,Pseudo,Basis,_Scc), consent_basis(Basis), policy_permission(D,Action,Purpose,Max), certified(Recip), Retention =< Max, yes(Y), Pseudo=Y,
+ recipient_region(Recip,Region), eu(EU), Region=EU.
+sharing_decision(Id, permit) :-
+ request_data(Id,_R,D,Recip,Action,Purpose,Retention,Pseudo,Basis,Scc), consent_basis(Basis), policy_permission(D,Action,Purpose,Max), certified(Recip), Retention =< Max, yes(Y), Pseudo=Y,
+ recipient_region(Recip,Region), eu(EU), Region \= EU, Scc=Y.
+
+obligation(research_eu, delete_after_days(120)) :- sharing_decision(research_eu,permit).
+obligation(research_eu, retain_audit_log) :- sharing_decision(research_eu,permit).
+
+decision_reason(research_eu, "ODRL permission matches; recipient is certified, data is pseudonymized, retention is within 180 days, and the transfer stays in-region.") :- sharing_decision(research_eu,permit).
+decision_reason(marketing, "The requested marketing distribution matches an explicit ODRL prohibition.") :- sharing_decision(marketing,deny).
+decision_reason(research_us, "The research purpose is permitted, but the out-of-region transfer lacks the required contractual safeguard and must be reviewed.") :- sharing_decision(research_us,review).
+
+result_rdf(R, iri('https://example.org/vocab/sharingDecision'), D, iri('https://example.org/data-sharing/graph/derived')) :-
+ sharing_decision(Id,Decision), request(Id,R), decision_iri(Decision,D).
+decision_iri(permit,iri('https://example.org/data-sharing/decision/permit')).
+decision_iri(deny,iri('https://example.org/data-sharing/decision/deny')).
+decision_iri(review,iri('https://example.org/data-sharing/decision/review')).
+
+write_results :- result_rdf(S,P,O,G), write_term(rdf(S,P,O,G),[quoted(true)]), write('.'), nl, fail.
+write_results.
+:- set_prolog_flag(unknown, fail).

package/examples/data/explainable-ev-depot-configuration-input.nq

@@ -0,0 +1,22 @@
+VERSION "1.2"
+
+<https://example.org/ev-depot/site/depot-a> <https://example.org/vocab/availablePowerKw> "60"^^<http://www.w3.org/2001/XMLSchema#integer> <https://example.org/ev-depot/graph/site> .
+<https://example.org/ev-depot/site/depot-a> <https://example.org/vocab/requiredChargeKw> "22"^^<http://www.w3.org/2001/XMLSchema#integer> <https://example.org/ev-depot/graph/site> .
+<https://example.org/ev-depot/site/depot-a> <https://example.org/vocab/requiredConnector> <https://example.org/ev-depot/connector/ccs2> <https://example.org/ev-depot/graph/site> .
+<https://example.org/ev-depot/site/depot-a> <https://example.org/vocab/supply> <https://example.org/ev-depot/supply/three-phase> <https://example.org/ev-depot/graph/site> .
+<https://example.org/ev-depot/charger/fleet22> <https://example.org/vocab/chargeKw> "22"^^<http://www.w3.org/2001/XMLSchema#integer> <https://example.org/ev-depot/graph/catalog> .
+<https://example.org/ev-depot/charger/fleet22> <https://example.org/vocab/sitePowerRequirementKw> "45"^^<http://www.w3.org/2001/XMLSchema#integer> <https://example.org/ev-depot/graph/catalog> .
+<https://example.org/ev-depot/charger/fleet22> <https://example.org/vocab/connector> <https://example.org/ev-depot/connector/ccs2> <https://example.org/ev-depot/graph/catalog> .
+<https://example.org/ev-depot/charger/fleet22> <https://example.org/vocab/supply> <https://example.org/ev-depot/supply/three-phase> <https://example.org/ev-depot/graph/catalog> .
+<https://example.org/ev-depot/charger/rapid50> <https://example.org/vocab/chargeKw> "50"^^<http://www.w3.org/2001/XMLSchema#integer> <https://example.org/ev-depot/graph/catalog> .
+<https://example.org/ev-depot/charger/rapid50> <https://example.org/vocab/sitePowerRequirementKw> "80"^^<http://www.w3.org/2001/XMLSchema#integer> <https://example.org/ev-depot/graph/catalog> .
+<https://example.org/ev-depot/charger/rapid50> <https://example.org/vocab/connector> <https://example.org/ev-depot/connector/ccs2> <https://example.org/ev-depot/graph/catalog> .
+<https://example.org/ev-depot/charger/rapid50> <https://example.org/vocab/supply> <https://example.org/ev-depot/supply/three-phase> <https://example.org/ev-depot/graph/catalog> .
+<https://example.org/ev-depot/charger/budget11> <https://example.org/vocab/chargeKw> "11"^^<http://www.w3.org/2001/XMLSchema#integer> <https://example.org/ev-depot/graph/catalog> .
+<https://example.org/ev-depot/charger/budget11> <https://example.org/vocab/sitePowerRequirementKw> "25"^^<http://www.w3.org/2001/XMLSchema#integer> <https://example.org/ev-depot/graph/catalog> .
+<https://example.org/ev-depot/charger/budget11> <https://example.org/vocab/connector> <https://example.org/ev-depot/connector/ccs2> <https://example.org/ev-depot/graph/catalog> .
+<https://example.org/ev-depot/charger/budget11> <https://example.org/vocab/supply> <https://example.org/ev-depot/supply/three-phase> <https://example.org/ev-depot/graph/catalog> .
+<https://example.org/ev-depot/charger/legacy22> <https://example.org/vocab/chargeKw> "22"^^<http://www.w3.org/2001/XMLSchema#integer> <https://example.org/ev-depot/graph/catalog> .
+<https://example.org/ev-depot/charger/legacy22> <https://example.org/vocab/sitePowerRequirementKw> "45"^^<http://www.w3.org/2001/XMLSchema#integer> <https://example.org/ev-depot/graph/catalog> .
+<https://example.org/ev-depot/charger/legacy22> <https://example.org/vocab/connector> <https://example.org/ev-depot/connector/type2> <https://example.org/ev-depot/graph/catalog> .
+<https://example.org/ev-depot/charger/legacy22> <https://example.org/vocab/supply> <https://example.org/ev-depot/supply/three-phase> <https://example.org/ev-depot/graph/catalog> .

package/examples/data/explainable-ev-depot-configuration-output.nq

@@ -0,0 +1,4 @@
+VERSION "1.2"
+
+<https://example.org/ev-depot/site/depot-a> <https://example.org/vocab/recommendedCharger> <https://example.org/ev-depot/charger/fleet22> <https://example.org/ev-depot/graph/derived> .
+<https://example.org/ev-depot/charger/fleet22> <https://example.org/vocab/configurationStatus> <https://example.org/ev-depot/state/compatible> <https://example.org/ev-depot/graph/derived> .

package/examples/data/explainable-ev-depot-configuration-output.pl

@@ -0,0 +1,2 @@
+rdf(iri('https://example.org/ev-depot/site/depot-a'),iri('https://example.org/vocab/recommendedCharger'),iri('https://example.org/ev-depot/charger/fleet22'),iri('https://example.org/ev-depot/graph/derived')).
+rdf(iri('https://example.org/ev-depot/charger/fleet22'),iri('https://example.org/vocab/configurationStatus'),iri('https://example.org/ev-depot/state/compatible'),iri('https://example.org/ev-depot/graph/derived')).

package/examples/data/explainable-ev-depot-configuration-rules.pl

@@ -0,0 +1,52 @@
+% Flagship example: explainable configuration rather than opaque filtering.
+% The same relational model answers: what fits, why does an option fail, and
+% what would have to change to make a rejected option viable?
+
+%% goal: compatible(X0, X1)
+%% goal: recommendation(X0, X1)
+%% goal: blocker(X0, X1, X2)
+%% goal: required_change(X0, X1, X2)
+
+v(available_power,iri('https://example.org/vocab/availablePowerKw')).
+v(required_charge,iri('https://example.org/vocab/requiredChargeKw')).
+v(required_connector,iri('https://example.org/vocab/requiredConnector')).
+v(supply,iri('https://example.org/vocab/supply')).
+v(charge_kw,iri('https://example.org/vocab/chargeKw')).
+v(site_power_requirement,iri('https://example.org/vocab/sitePowerRequirementKw')).
+v(connector,iri('https://example.org/vocab/connector')).
+
+g(site,iri('https://example.org/ev-depot/graph/site')). g(catalog,iri('https://example.org/ev-depot/graph/catalog')).
+resource(depot_a,iri('https://example.org/ev-depot/site/depot-a')).
+resource(fleet22,iri('https://example.org/ev-depot/charger/fleet22')).
+resource(rapid50,iri('https://example.org/ev-depot/charger/rapid50')).
+resource(budget11,iri('https://example.org/ev-depot/charger/budget11')).
+resource(legacy22,iri('https://example.org/ev-depot/charger/legacy22')).
+product(fleet22). product(rapid50). product(budget11). product(legacy22).
+integer_literal(literal(Text,datatype('http://www.w3.org/2001/XMLSchema#integer')),N):-atom_chars(Text,Cs),number_chars(N,Cs).
+
+site_number(Key,N):-resource(depot_a,S),v(Key,P),g(site,G),rdf(S,P,L,G),integer_literal(L,N).
+site_term(Key,V):-resource(depot_a,S),v(Key,P),g(site,G),rdf(S,P,V,G).
+product_number(Product,Key,N):-resource(Product,R),v(Key,P),g(catalog,G),rdf(R,P,L,G),integer_literal(L,N).
+product_term(Product,Key,V):-resource(Product,R),v(Key,P),g(catalog,G),rdf(R,P,V,G).
+
+blocker(depot_a,Product,insufficient_site_power(Available,Needed)):-product(Product),site_number(available_power,Available),product_number(Product,site_power_requirement,Needed),Available < Needed.
+blocker(depot_a,Product,insufficient_charge_rate(Offered,Required)):-product(Product),product_number(Product,charge_kw,Offered),site_number(required_charge,Required),Offered < Required.
+blocker(depot_a,Product,connector_mismatch(Offered,Required)):-product(Product),product_term(Product,connector,OfferedIri),site_term(required_connector,RequiredIri),OfferedIri \= RequiredIri,connector_name(OfferedIri,Offered),connector_name(RequiredIri,Required).
+blocker(depot_a,Product,supply_mismatch):-product(Product),product_term(Product,supply,S),site_term(supply,SiteS),S \= SiteS.
+
+connector_name(iri('https://example.org/ev-depot/connector/ccs2'),ccs2).
+connector_name(iri('https://example.org/ev-depot/connector/type2'),type2).
+
+compatible(depot_a,Product):-product(Product),\+ blocker(depot_a,Product,_).
+recommendation(depot_a,fleet22):-compatible(depot_a,fleet22).
+
+required_change(depot_a,Product,increase_site_power_to(Needed)):-blocker(depot_a,Product,insufficient_site_power(_,Needed)).
+required_change(depot_a,Product,choose_charger_at_least_kw(Required)):-blocker(depot_a,Product,insufficient_charge_rate(_,Required)).
+required_change(depot_a,Product,use_connector(Required)):-blocker(depot_a,Product,connector_mismatch(_,Required)).
+
+result_rdf(S,iri('https://example.org/vocab/recommendedCharger'),C,iri('https://example.org/ev-depot/graph/derived')):-recommendation(depot_a,Product),resource(depot_a,S),resource(Product,C).
+result_rdf(C,iri('https://example.org/vocab/configurationStatus'),iri('https://example.org/ev-depot/state/compatible'),iri('https://example.org/ev-depot/graph/derived')):-compatible(depot_a,Product),resource(Product,C).
+
+write_results:-result_rdf(S,P,O,G),write_term(rdf(S,P,O,G),[quoted(true)]),write('.'),nl,fail.
+write_results.
+:- set_prolog_flag(unknown, fail).

package/examples/data/operational-incident-response-input.nq

@@ -0,0 +1,17 @@
+VERSION "1.2"
+
+<https://example.org/operations/service/storefront> <https://example.org/vocab/dependsOn> <https://example.org/operations/service/checkout-api> <https://example.org/operations/graph/topology> .
+<https://example.org/operations/service/mobile-app> <https://example.org/vocab/dependsOn> <https://example.org/operations/service/checkout-api> <https://example.org/operations/graph/topology> .
+<https://example.org/operations/service/checkout-api> <https://example.org/vocab/dependsOn> <https://example.org/operations/service/payment-api> <https://example.org/operations/graph/topology> .
+<https://example.org/operations/service/payment-api> <https://example.org/vocab/dependsOn> <https://example.org/operations/db/primary> <https://example.org/operations/graph/topology> .
+<https://example.org/operations/service/payment-api> <https://example.org/vocab/dependsOn> <https://example.org/operations/service/auth-service> <https://example.org/operations/graph/topology> .
+<https://example.org/operations/service/auth-service> <https://example.org/vocab/dependsOn> <https://example.org/operations/db/identity> <https://example.org/operations/graph/topology> .
+<https://example.org/operations/incident/inc-900> <https://example.org/vocab/symptom> <https://example.org/operations/symptom/db-timeout> <https://example.org/operations/graph/incident> .
+<https://example.org/operations/incident/inc-900> <https://example.org/vocab/observedOn> <https://example.org/operations/service/payment-api> <https://example.org/operations/graph/incident> .
+<https://example.org/operations/db/primary> <https://example.org/vocab/status> <https://example.org/operations/state/unhealthy> <https://example.org/operations/graph/telemetry> .
+<https://example.org/operations/db/primary> <https://example.org/vocab/diskUsagePercent> "100"^^<http://www.w3.org/2001/XMLSchema#integer> <https://example.org/operations/graph/telemetry> .
+<https://example.org/operations/db/replica> <https://example.org/vocab/status> <https://example.org/operations/state/healthy> <https://example.org/operations/graph/telemetry> .
+<https://example.org/operations/service/auth-service> <https://example.org/vocab/status> <https://example.org/operations/state/healthy> <https://example.org/operations/graph/telemetry> .
+<https://example.org/operations/service/payment-api> <https://example.org/vocab/errorRatePercent> "72"^^<http://www.w3.org/2001/XMLSchema#integer> <https://example.org/operations/graph/telemetry> .
+<https://example.org/operations/runbook/db-failover> <https://example.org/vocab/whenCause> <https://example.org/operations/cause/disk-full> <https://example.org/operations/graph/runbook> .
+<https://example.org/operations/runbook/db-failover> <https://example.org/vocab/action> <https://example.org/operations/action/failover-to-replica> <https://example.org/operations/graph/runbook> .

package/examples/data/operational-incident-response-output.nq

@@ -0,0 +1,9 @@
+VERSION "1.2"
+
+<https://example.org/operations/incident/inc-900> <https://example.org/vocab/rootCause> <https://example.org/operations/db/primary> <https://example.org/operations/graph/derived> .
+<https://example.org/operations/incident/inc-900> <https://example.org/vocab/recommendedAction> <https://example.org/operations/action/failover-to-replica> <https://example.org/operations/graph/derived> .
+<https://example.org/operations/incident/inc-900> <https://example.org/vocab/impacts> <https://example.org/operations/db/primary> <https://example.org/operations/graph/derived> .
+<https://example.org/operations/incident/inc-900> <https://example.org/vocab/impacts> <https://example.org/operations/service/payment-api> <https://example.org/operations/graph/derived> .
+<https://example.org/operations/incident/inc-900> <https://example.org/vocab/impacts> <https://example.org/operations/service/storefront> <https://example.org/operations/graph/derived> .
+<https://example.org/operations/incident/inc-900> <https://example.org/vocab/impacts> <https://example.org/operations/service/mobile-app> <https://example.org/operations/graph/derived> .
+<https://example.org/operations/incident/inc-900> <https://example.org/vocab/impacts> <https://example.org/operations/service/checkout-api> <https://example.org/operations/graph/derived> .

package/examples/data/operational-incident-response-output.pl

@@ -0,0 +1,7 @@
+rdf(iri('https://example.org/operations/incident/inc-900'),iri('https://example.org/vocab/rootCause'),iri('https://example.org/operations/db/primary'),iri('https://example.org/operations/graph/derived')).
+rdf(iri('https://example.org/operations/incident/inc-900'),iri('https://example.org/vocab/recommendedAction'),iri('https://example.org/operations/action/failover-to-replica'),iri('https://example.org/operations/graph/derived')).
+rdf(iri('https://example.org/operations/incident/inc-900'),iri('https://example.org/vocab/impacts'),iri('https://example.org/operations/db/primary'),iri('https://example.org/operations/graph/derived')).
+rdf(iri('https://example.org/operations/incident/inc-900'),iri('https://example.org/vocab/impacts'),iri('https://example.org/operations/service/payment-api'),iri('https://example.org/operations/graph/derived')).
+rdf(iri('https://example.org/operations/incident/inc-900'),iri('https://example.org/vocab/impacts'),iri('https://example.org/operations/service/storefront'),iri('https://example.org/operations/graph/derived')).
+rdf(iri('https://example.org/operations/incident/inc-900'),iri('https://example.org/vocab/impacts'),iri('https://example.org/operations/service/mobile-app'),iri('https://example.org/operations/graph/derived')).
+rdf(iri('https://example.org/operations/incident/inc-900'),iri('https://example.org/vocab/impacts'),iri('https://example.org/operations/service/checkout-api'),iri('https://example.org/operations/graph/derived')).

package/examples/data/operational-incident-response-rules.pl

@@ -0,0 +1,68 @@
+% Flagship example: operational incident diagnosis and response.
+% The topology, incident observations, telemetry, and runbook are RDF data.
+% Prolog correlates evidence, traverses service dependencies, and recommends a
+% bounded mitigation with an inspectable evidence chain.
+
+%% goal: root_cause(X0, X1, X2)
+%% goal: impacted_service(X0, X1)
+%% goal: recommended_action(X0, X1)
+%% goal: evidence_chain(X0, X1)
+
+v(depends_on,iri('https://example.org/vocab/dependsOn')).
+v(symptom,iri('https://example.org/vocab/symptom')).
+v(observed_on,iri('https://example.org/vocab/observedOn')).
+v(status,iri('https://example.org/vocab/status')).
+v(disk_usage,iri('https://example.org/vocab/diskUsagePercent')).
+v(error_rate,iri('https://example.org/vocab/errorRatePercent')).
+v(when_cause,iri('https://example.org/vocab/whenCause')).
+v(action,iri('https://example.org/vocab/action')).
+
+g(topology,iri('https://example.org/operations/graph/topology')).
+g(telemetry,iri('https://example.org/operations/graph/telemetry')).
+g(incident,iri('https://example.org/operations/graph/incident')).
+g(runbook,iri('https://example.org/operations/graph/runbook')).
+
+resource(inc900,iri('https://example.org/operations/incident/inc-900')).
+resource(storefront,iri('https://example.org/operations/service/storefront')).
+resource(mobile_app,iri('https://example.org/operations/service/mobile-app')).
+resource(checkout_api,iri('https://example.org/operations/service/checkout-api')).
+resource(payment_api,iri('https://example.org/operations/service/payment-api')).
+resource(auth_service,iri('https://example.org/operations/service/auth-service')).
+resource(primary_db,iri('https://example.org/operations/db/primary')).
+resource(replica_db,iri('https://example.org/operations/db/replica')).
+
+integer_literal(literal(Text,datatype('http://www.w3.org/2001/XMLSchema#integer')),N):-atom_chars(Text,Cs),number_chars(N,Cs).
+
+depends(A,B):-resource(A,RA),resource(B,RB),v(depends_on,P),g(topology,G),rdf(RA,P,RB,G).
+transitively_depends(A,B):-depends(A,B).
+transitively_depends(A,B):-depends(A,C),transitively_depends(C,B).
+
+telemetry(Resource,Key,Value):-resource(Resource,R),v(Key,P),g(telemetry,G),rdf(R,P,Value,G).
+incident_fact(Key,Value):-resource(inc900,I),v(Key,P),g(incident,G),rdf(I,P,Value,G).
+
+root_cause(inc900,primary_db,disk_full):-
+ incident_fact(symptom,iri('https://example.org/operations/symptom/db-timeout')),
+ telemetry(primary_db,status,iri('https://example.org/operations/state/unhealthy')),
+ telemetry(primary_db,disk_usage,L),integer_literal(L,100),
+ telemetry(payment_api,error_rate,E),integer_literal(E,Rate),Rate >= 50,
+ telemetry(auth_service,status,iri('https://example.org/operations/state/healthy')).
+
+impacted_service(inc900,primary_db):-root_cause(inc900,primary_db,_).
+impacted_service(inc900,Service):-root_cause(inc900,primary_db,_),transitively_depends(Service,primary_db).
+
+cause_iri(disk_full,iri('https://example.org/operations/cause/disk-full')).
+action_iri(failover_to_replica,iri('https://example.org/operations/action/failover-to-replica')).
+runbook_action(Cause,Action):-g(runbook,G),v(when_cause,PC),v(action,PA),cause_iri(Cause,C),action_iri(Action,A),rdf(Rule,PC,C,G),rdf(Rule,PA,A,G).
+
+recommended_action(inc900,failover(primary_db,replica_db)):-
+ root_cause(inc900,primary_db,disk_full),runbook_action(disk_full,failover_to_replica),telemetry(replica_db,status,iri('https://example.org/operations/state/healthy')).
+
+evidence_chain(inc900,[payment_api_db_timeout,primary_db_unhealthy,primary_db_disk_100_percent,auth_service_healthy,replica_db_healthy]):-recommended_action(inc900,_).
+
+result_rdf(I,iri('https://example.org/vocab/rootCause'),C,iri('https://example.org/operations/graph/derived')):-root_cause(inc900,primary_db,disk_full),resource(inc900,I),resource(primary_db,C).
+result_rdf(I,iri('https://example.org/vocab/recommendedAction'),ActionIri,iri('https://example.org/operations/graph/derived')):-recommended_action(inc900,_),runbook_action(disk_full,failover_to_replica),action_iri(failover_to_replica,ActionIri),resource(inc900,I).
+result_rdf(I,iri('https://example.org/vocab/impacts'),S,iri('https://example.org/operations/graph/derived')):-impacted_service(inc900,Service),resource(inc900,I),resource(Service,S).
+
+write_results:-result_rdf(S,P,O,G),write_term(rdf(S,P,O,G),[quoted(true)]),write('.'),nl,fail.
+write_results.
+:- set_prolog_flag(unknown, fail).

package/examples/data/sbom-vulnerability-response-input.nq

@@ -0,0 +1,19 @@
+VERSION "1.2"
+
+<https://example.org/supply-chain/service/checkout-prod> <https://example.org/vocab/rootComponent> <https://example.org/supply-chain/component/shop-app> <https://example.org/supply-chain/graph/sbom> .
+<https://example.org/supply-chain/component/shop-app> <https://example.org/vocab/dependsOn> <https://example.org/supply-chain/component/payments-sdk> <https://example.org/supply-chain/graph/sbom> .
+<https://example.org/supply-chain/component/payments-sdk> <https://example.org/vocab/dependsOn> <https://example.org/supply-chain/component/crypto-wrapper> <https://example.org/supply-chain/graph/sbom> .
+<https://example.org/supply-chain/component/crypto-wrapper> <https://example.org/vocab/dependsOn> <https://example.org/supply-chain/component/openssl-3.0.12> <https://example.org/supply-chain/graph/sbom> .
+<https://example.org/supply-chain/component/shop-app> <https://example.org/vocab/dependsOn> <https://example.org/supply-chain/component/log-agent> <https://example.org/supply-chain/graph/sbom> .
+<https://example.org/supply-chain/component/log-agent> <https://example.org/vocab/dependsOn> <https://example.org/supply-chain/component/log-core-2.1> <https://example.org/supply-chain/graph/sbom> .
+<https://example.org/supply-chain/component/openssl-3.0.12> <https://example.org/vocab/affectedBy> <https://example.org/supply-chain/cve/CVE-2026-7777> <https://example.org/supply-chain/graph/vulnerabilities> .
+<https://example.org/supply-chain/cve/CVE-2026-7777> <https://example.org/vocab/severityScore> "98"^^<http://www.w3.org/2001/XMLSchema#integer> <https://example.org/supply-chain/graph/vulnerabilities> .
+<https://example.org/supply-chain/cve/CVE-2026-7777> <https://example.org/vocab/fixedComponent> <https://example.org/supply-chain/component/openssl-3.0.14> <https://example.org/supply-chain/graph/vulnerabilities> .
+<https://example.org/supply-chain/component/log-core-2.1> <https://example.org/vocab/affectedBy> <https://example.org/supply-chain/cve/CVE-2026-2222> <https://example.org/supply-chain/graph/vulnerabilities> .
+<https://example.org/supply-chain/cve/CVE-2026-2222> <https://example.org/vocab/severityScore> "54"^^<http://www.w3.org/2001/XMLSchema#integer> <https://example.org/supply-chain/graph/vulnerabilities> .
+<https://example.org/supply-chain/cve/CVE-2026-2222> <https://example.org/vocab/fixedComponent> <https://example.org/supply-chain/component/log-core-2.2> <https://example.org/supply-chain/graph/vulnerabilities> .
+<https://example.org/supply-chain/service/checkout-prod> <https://example.org/vocab/criticalService> <https://example.org/supply-chain/value/yes> <https://example.org/supply-chain/graph/policy> .
+<https://example.org/supply-chain/service/checkout-prod> <https://example.org/vocab/currentDate> "20260828"^^<http://www.w3.org/2001/XMLSchema#integer> <https://example.org/supply-chain/graph/policy> .
+<https://example.org/supply-chain/waiver/logging> <https://example.org/vocab/waivesForService> <https://example.org/supply-chain/service/checkout-prod> <https://example.org/supply-chain/graph/policy> .
+<https://example.org/supply-chain/waiver/logging> <https://example.org/vocab/waivesVulnerability> <https://example.org/supply-chain/cve/CVE-2026-2222> <https://example.org/supply-chain/graph/policy> .
+<https://example.org/supply-chain/waiver/logging> <https://example.org/vocab/expiresOn> "20261231"^^<http://www.w3.org/2001/XMLSchema#integer> <https://example.org/supply-chain/graph/policy> .

package/examples/data/sbom-vulnerability-response-output.nq

@@ -0,0 +1,5 @@
+VERSION "1.2"
+
+<https://example.org/supply-chain/service/checkout-prod> <https://example.org/vocab/deploymentDecision> <https://example.org/supply-chain/decision/block> <https://example.org/supply-chain/graph/derived> .
+<https://example.org/supply-chain/service/checkout-prod> <https://example.org/vocab/exposedTo> <https://example.org/supply-chain/cve/CVE-2026-7777> <https://example.org/supply-chain/graph/derived> .
+<https://example.org/supply-chain/component/openssl-3.0.12> <https://example.org/vocab/upgradeTo> <https://example.org/supply-chain/component/openssl-3.0.14> <https://example.org/supply-chain/graph/derived> .

package/examples/data/sbom-vulnerability-response-output.pl

@@ -0,0 +1,3 @@
+rdf(iri('https://example.org/supply-chain/service/checkout-prod'),iri('https://example.org/vocab/deploymentDecision'),iri('https://example.org/supply-chain/decision/block'),iri('https://example.org/supply-chain/graph/derived')).
+rdf(iri('https://example.org/supply-chain/service/checkout-prod'),iri('https://example.org/vocab/exposedTo'),iri('https://example.org/supply-chain/cve/CVE-2026-7777'),iri('https://example.org/supply-chain/graph/derived')).
+rdf(iri('https://example.org/supply-chain/component/openssl-3.0.12'),iri('https://example.org/vocab/upgradeTo'),iri('https://example.org/supply-chain/component/openssl-3.0.14'),iri('https://example.org/supply-chain/graph/derived')).