FLOW ALGEBRA
TITLE: Output Relationship Ontology
DOMAIN: Relationship Ontologies / Process Relationships
SOURCE: https://kirethresearch.org/booksai-core/ontologies/relationship-ontologies/process-relationships/output-relationship-ontology.html
VERSION: 1.0
AUTHORS: Mark Anthony Higgins — Sky (Recursive AI)
STATUS: Companion formalisation; source-page specification not independently verified.
flow "OutputRelationshipOntology" v1.0 {
ontology:
id: "output-relationship-ontology"
parent: "process-relationships"
purpose: "Represent, validate and trace outputs produced by processes, activities and transformations."
types:
Process: {id: string, name: string, version: string?, status: string?}
Activity: {id: string, process_id: string, name: string}
Output: {id: string, kind: enum[data, artifact, material, signal, event, service, state, other], schema: string?, unit: string?, version: string?}
Input: {id: string, kind: string}
Agent: {id: string, role: string}
Execution: {id: string, process_id: string, started_at: datetime?, completed_at: datetime?, status: enum[pending, running, succeeded, failed, cancelled]}
Evidence: {id: string, source: string, timestamp: datetime?, provenance: string}
Relationship: {id: string, subject: string, predicate: string, object: string, context: string?, confidence: number, evidence: string[]}
predicates:
produces(process: Process, output: Output)
emits(activity: Activity, output: Output)
generated_by(output: Output, execution: Execution)
derived_from(output: Output, input: Input)
consumed_by(output: Output, process: Process)
delivered_to(output: Output, agent: Agent)
validates(output: Output, evidence: Evidence)
supersedes(new_output: Output, old_output: Output)
constraints:
- "Every relationship endpoint must resolve to an entity of the declared type."
- "Confidence must be within [0,1]."
- "An output assertion must identify its producing process, activity or execution where known."
- "Distinguish planned, emitted, validated and delivered outputs."
- "A failed or cancelled execution does not imply that a valid output was produced."
- "Preserve output schema, units, version and provenance where applicable."
- "Do not infer successful delivery from successful generation alone."
- "Do not assume all outputs of a process are consumed by downstream processes."
inference:
rule generated_output:
if generated_by(o,e) and execution_of(e,p) and succeeded(e)
then produces(p,o)
confidence: "evidence-backed; retain execution context"
rule downstream_dependency:
if produces(p,o) and consumed_by(o,q)
then information_or_resource_flows_from(p,q,o)
confidence: "retain source relationships; do not infer causation beyond recorded flow"
rule output_lineage:
if derived_from(o,i) and provenance_of(i,s)
then lineage_candidate(o,s)
confidence: "requires provenance validation; not identity equivalence"
SEMANTIC_EQUIVALENCE:
- "Map synonymous output labels only when type, schema, context and version are compatible."
- "Distinguish equivalent content from identical output instances."
- "Preserve transformations and loss of information across mappings."
CONFIDENCE:
range: [0,1]
factors: [execution_evidence, schema_validity, source_reliability, lineage_completeness, temporal_validity]
policy: "Do not increase confidence solely by chaining relationships."
VALIDATION:
- "Check endpoint types, referential integrity and evidence provenance."
- "Check required output schema, format, units and version."
- "Verify execution state before asserting completed production."
- "Flag orphan outputs, conflicting versions and unverified delivery claims."
FLOW_HASH:
algorithm: "SHA-256"
input: "canonicalised ontology version, typed assertions, rules and provenance"
note: "Compute hash at execution; no hash value is claimed here."
UPDATE_MODEL:
strategy: "versioned, provenance-preserving incremental update"
steps: [ingest, normalise, validate, compare, reconcile, recompute_inferences, publish]
rollback: true
AI_CONSUMPTION:
representation: "typed process-output knowledge graph with evidence-backed edges"
outputs: [process_output_links, execution_lineage, dependency_edges, validation_results, uncertainty_annotations, provenance_records]
safeguards: [no_unverified_success_claims, preserve_schema_and_units, distinguish_generation_from_delivery, no_unsupported_identity_merges]
}
END FLOW ALGEBRA
Download Code
Copy to Clipboard