You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Open replacement for Bento-style packaging: OQL → Open Artifact Compiler / Open Artifact Specification with provenance instrumentation.
This keeps the architecture ontology-first while making intention, execution, deployment, and provenance mechanically traceable.
Source concepts to capture
RationalGRL / GRL
Actor and actor boundary
Goal and softgoal
Task and resource
Positive contribution
Negative contribution
Decomposition
Dependency
Argumentation-aware justification
Satisfaction propagation / denial propagation
Trade-off analysis and defeasible rationale
OQL / Open Artifact Ecosystem
OQL as semantic intent/query/plan language
Open Artifact Specification / Open Artifact Manifest as JSON-LD artifact recipe
OQL-to-OAC compiler as translation layer
Translation index / adapter registry
Provenance instrumentation using PROV-O, in-toto, SLSA, Sigstore, SBOM, OpenLineage
Federation placement and status concepts
Evidence vault / content-addressed artifacts
Acceptance criteria
Add or extend ontology module(s) for GRL intentional elements and relationships.
Add or extend ontology module(s) for OQL plan, Open Artifact Manifest, compiler, adapter, artifact, deployment, and evidence concepts.
Add SHACL constraints for rationale graphs: goals/tasks/resources must have owners; dependency edges must identify source and target; contribution edges must type polarity.
Purpose
Extend the civic-stack ontology work in #80 with two additional semantic tracks from the latest design input:
This keeps the architecture ontology-first while making intention, execution, deployment, and provenance mechanically traceable.
Source concepts to capture
RationalGRL / GRL
OQL / Open Artifact Ecosystem
Acceptance criteria
Downstream consumers