Relation decisions

SemRisk ontology documentation · 0.2.0-rc.4 · documentation revision 2026-10-06

Historical rc.1 · Version index · Wiki

Documentation candidate, not a scholarly release or independent validation. OWL sources and governed registries remain authoritative. No manuscript is included.

These 40 registry decisions are conceptual descriptions, not a claim of 40 OWL object properties. Candidate multiplicities are not imposed as universal constraints; see the actual formal sources.

SR-REL-001 · concernsRisk

Links a Risk Register Entry or Scenario Description to the Risk it concerns.

Candidate endpoints: SR-CPT-033 or SR-CPT-034 → SR-CPT-001.

Owner: Core/Enterprise; status: PROVISIONAL_V0_1.

Inherited registry note: Exact multiplicity depends on register policy; do not make functional globally.

Current relation audit

SR-REL-002 · describesScenario

Links a Scenario Description to the Risk Scenario it describes.

Candidate endpoints: SR-CPT-034 → SR-CPT-006.

Owner: Core; status: PROVISIONAL_V0_1.

Inherited registry note: Do not infer description = scenario.

Current relation audit

SR-REL-003 · realizedAs

Links a Risk Scenario to a realized Risk Event when realization evidence exists.

Candidate endpoints: SR-CPT-006 → SR-CPT-007.

Owner: Core; status: PROVISIONAL_V0_1.

Inherited registry note: Exact modal semantics require #25.

Current relation audit

SR-REL-004 · hasConsequence

Links a Risk Event or Risk Scenario to a Consequence.

Candidate endpoints: SR-CPT-007 or SR-CPT-006 → SR-CPT-008.

Owner: Core; status: PROVISIONAL_V0_1.

Inherited registry note: Must not imply causal certainty from mere association.

Current relation audit

SR-REL-005 · hasRiskSource

Links a Risk or Risk Scenario to a Risk Source considered relevant.

Candidate endpoints: SR-CPT-001 or SR-CPT-006 → SR-CPT-003.

Owner: Core; status: PROVISIONAL_V0_1.

Inherited registry note: Source relation is weaker than causal relation by default.

Current relation audit

SR-REL-006 · predisposedBy

Links a Risk Scenario/Event context to a Predisposing Condition.

Candidate endpoints: SR-CPT-006 or SR-CPT-007 → SR-CPT-004.

Owner: Core; status: PROVISIONAL_V0_1.

Inherited registry note: Not equivalent to cause.

Current relation audit

SR-REL-007 · triggeredBy

Links a Risk Event or process transition to a Trigger.

Candidate endpoints: SR-CPT-007 → SR-CPT-005.

Owner: Core; status: PROVISIONAL_V0_1.

Inherited registry note: Do not infer trigger = cause universally.

Current relation audit

SR-REL-008 · causes

Asserts causal dependence supported by explicit evidence/model assumptions.

Candidate endpoints: risk-chain entity → risk-chain entity.

Owner: Core; status: PROVISIONAL_V0_1.

Inherited registry note: Never inferred merely from sequence/dependency.

Current relation audit

SR-REL-009 · associatedWith

Represents non-causal association/dependency between risk-relevant entities.

Candidate endpoints: risk-chain entity → risk-chain entity.

Owner: Core; status: PROVISIONAL_V0_1.

Inherited registry note: Symmetry only for generic association, not directed dependency; formal split may be needed.

Current relation audit

SR-REL-010 · affects

Links Risk/Event/Consequence to an externally owned Objective, Capability, Process or Risk Subject.

Candidate endpoints: SR-CPT-001/007/008 → SR-CPT-002/037/038/039.

Owner: Core/Enterprise; status: PROVISIONAL_V0_1.

Inherited registry note: Potential vs realized effect semantics require care.

Current relation audit

SR-REL-011 · exposes

Links a Risk Source/Condition to a Risk Subject under a relevant context.

Candidate endpoints: SR-CPT-003/004 → SR-CPT-002.

Owner: Core; status: PROVISIONAL_V0_1.

Inherited registry note: Financial/physical exposure refinements remain profile-level.

Current relation audit

SR-REL-012 · hasVulnerability

Links a Risk Subject/context to a Vulnerability.

Candidate endpoints: SR-CPT-002 → SR-CPT-009.

Owner: Core; status: PROVISIONAL_V0_1.

Inherited registry note: Exact bearer/category requires #25.

Current relation audit

SR-REL-013 · performedAssessmentOf

Links a Risk Assessment Activity to the Risk/context assessed.

Candidate endpoints: SR-CPT-011 → SR-CPT-001.

Owner: Core; status: PROVISIONAL_V0_1.

Inherited registry note: Exact min cardinality belongs to #26/SHACL.

Current relation audit

SR-REL-014 · usesAssessmentMethod

Links an assessment activity to its method.

Candidate endpoints: SR-CPT-011 → SR-CPT-012.

Owner: Core/Method; status: PROVISIONAL_V0_1.

Inherited registry note: Multi-method assessments possible; do not make functional globally.

Current relation audit

SR-REL-015 · producesAssessmentResult

Links an assessment activity to a produced assessment result.

Candidate endpoints: SR-CPT-011 → SR-CPT-013.

Owner: Core; status: PROVISIONAL_V0_1.

Inherited registry note: No process/result collapse.

Current relation audit

SR-REL-016 · assessmentResultConcerns

Links an assessment result to the Risk/context it evaluates.

Candidate endpoints: SR-CPT-013 → SR-CPT-001.

Owner: Core; status: PROVISIONAL_V0_1.

Inherited registry note: One result may concern a compound context; exact semantics later.

Current relation audit

SR-REL-017 · supportedByEvidence

Links an assessment/result/assertion to Evidence Item(s).

Candidate endpoints: SR-CPT-011/013/020 → SR-CPT-020.

Owner: Core; status: PROVISIONAL_V0_1.

Inherited registry note: Evidence role is contextual, not intrinsic class identity.

Current relation audit

SR-REL-018 · generatedByObservation

Links an Observation Result to its Observation Activity.

Candidate endpoints: SR-CPT-023 → SR-CPT-022.

Owner: Core; status: PROVISIONAL_V0_1.

Inherited registry note: Functionality only local hypothesis.

Current relation audit

SR-REL-019 · hasProvenance

Links an artifact/result/assertion to provenance information.

Candidate endpoints: information/result artifact → SR-CPT-021.

Owner: Core; status: PROVISIONAL_V0_1.

Inherited registry note: Exact PROV-O predicates chosen in #21/#26.

Current relation audit

SR-REL-020 · qualifiedByConfidence

Links assessment/evidence result to Assessment Confidence/uncertainty information.

Candidate endpoints: SR-CPT-013/020 → SR-CPT-019.

Owner: Core/Method; status: PROVISIONAL_V0_1.

Inherited registry note: Confidence/uncertainty exact representation unresolved.

Current relation audit

SR-REL-021 · selectsTreatmentStrategy

Links a risk-management decision/context to a Risk Treatment Strategy.

Candidate endpoints: SR-CPT-001/033 → SR-CPT-026.

Owner: Core/Governance; status: PROVISIONAL_V0_1.

Inherited registry note: Decision event concept may need explicit representation in #25.

Current relation audit

SR-REL-022 · planImplementsStrategy

Links a Risk Treatment Plan to a Treatment Strategy.

Candidate endpoints: SR-CPT-027 → SR-CPT-026.

Owner: Core; status: PROVISIONAL_V0_1.

Inherited registry note: No global cardinality.

Current relation audit

SR-REL-023 · activityExecutesPlan

Links a Risk Treatment Activity to the Plan it executes.

Candidate endpoints: SR-CPT-028 → SR-CPT-027.

Owner: Core; status: PROVISIONAL_V0_1.

Inherited registry note: Plan can exist without execution.

Current relation audit

SR-REL-024 · activityUsesControl

Links a Risk Treatment Activity to a Control Mechanism it deploys/uses.

Candidate endpoints: SR-CPT-028 → SR-CPT-029.

Owner: Core/Governance; status: PROVISIONAL_V0_1.

Inherited registry note: Control may preexist the activity; no identity collapse.

Current relation audit

SR-REL-025 · controlProtects

Links a Control Mechanism to a Risk Subject/Objective/Process it protects or modifies.

Candidate endpoints: SR-CPT-029 → SR-CPT-002/037/039.

Owner: Core/Governance; status: PROVISIONAL_V0_1.

Inherited registry note: Do not equate presence of control with effectiveness.

Current relation audit

SR-REL-026 · hasRiskOwner

Derived material relation linking a Risk/managed record context to an external Actor who plays the Risk Owner role, truthmade by a Risk Responsibility assignment.

Candidate endpoints: SR-CPT-001/033 → external Actor.

Owner: Core/Enterprise; status: FOUNDATIONALLY_CORRECTED_V0_1.

Inherited registry note: Replaces prior `bearsRiskOwnerRole` shorthand because Risk Owner is a role type, not a role individual.

Current relation audit

SR-REL-027 · assignsResponsibilityFor

Links a Risk Responsibility assignment to the governed Risk/artifact/plan/obligation it is about. For Risk, this is an aboutness/assignment-target relation, not UFO mediation of a derived Risk pattern.

Candidate endpoints: SR-CPT-031 → SR-CPT-001/033/027.

Owner: Core/Governance; status: PROVISIONAL_V0_1.

Inherited registry note: Risk is not forced to be a mediated endurant; exact accountability vs responsibility specialization remains future work.

Current relation audit

SR-REL-028 · responsibilityAssignedTo

Links a Risk Responsibility assignment to the Actor/Role bearer participating in the normative assignment.

Candidate endpoints: SR-CPT-031 → external Actor or SR-CPT-030.

Owner: Core/Governance; status: PROVISIONAL_V0_1.

Inherited registry note: Mediation applies to endurant participants; exact actor ontology remains external.

Current relation audit

SR-REL-029 · registerContainsEntry

Links a Risk Register to its Risk Register Entries.

Candidate endpoints: SR-CPT-032 → SR-CPT-033.

Owner: Enterprise; status: PROVISIONAL_V0_1.

Inherited registry note: No inference that register contains actual Risk phenomena.

Current relation audit

SR-REL-030 · hasWorkflowState

Links a managed record/process to Workflow State.

Candidate endpoints: SR-CPT-033 → SR-CPT-036.

Owner: Enterprise/Data; status: PROVISIONAL_V0_1.

Inherited registry note: Closed must not imply Risk State cessation.

Current relation audit

SR-REL-031 · hasRiskState

Links a governed Risk/context to a time/context-bound situational Risk State. Workflow, management-attention, escalation and monitoring classifications are excluded from this Core relation.

Candidate endpoints: SR-CPT-001 → SR-CPT-035.

Owner: Core; status: PROVISIONAL_V0_1.

Inherited registry note: Risk State boundary frozen by #70; no management/workflow labels in Core fixture.

Current relation audit

SR-REL-032 · precedesState

Links a historical state to a later state within the same state dimension.

Candidate endpoints: SR-CPT-035 or SR-CPT-036 → same state family.

Owner: Core/Enterprise; status: PROVISIONAL_V0_1.

Inherited registry note: Never use across Risk State vs Workflow State indiscriminately.

Current relation audit

SR-REL-033 · supersedesAssessmentResult

Links a newer assessment result to an older result it supersedes for a stated context.

Candidate endpoints: SR-CPT-013 → SR-CPT-013.

Owner: Core; status: PROVISIONAL_V0_1.

Inherited registry note: Do not delete/replace old result semantically.

Current relation audit

SR-REL-034 · basedOnPriorAssessment

Links a reassessment activity to prior assessment/result context used as input.

Candidate endpoints: SR-CPT-011 → SR-CPT-011/013.

Owner: Core; status: PROVISIONAL_V0_1.

Inherited registry note: Not every assessment is reassessment.

Current relation audit

SR-REL-035 · hasIndicator

Links a Risk/context/process to an Indicator used for monitoring.

Candidate endpoints: SR-CPT-001/039 → SR-CPT-024.

Owner: Governance/Method; status: PROVISIONAL_V0_1.

Inherited registry note: No claim that indicator is observation result itself.

Current relation audit

SR-REL-036 · hasThreshold

Links an Indicator/Assessment Method/Risk Criteria to a Threshold.

Candidate endpoints: SR-CPT-024/012/044 → SR-CPT-025.

Owner: Method/Governance; status: PROVISIONAL_V0_1.

Inherited registry note: Not Core by default.

Current relation audit

SR-REL-037 · pharmaEntityInRiskContext

Links a SemRisk Risk/Scenario/Event/etc. to a CM-PharmE-owned Pharma entity relevant to the case.

Candidate endpoints: SR-CPT-001/006/007/008 → SR-CPT-040 or other CM-PharmE external entity.

Owner: Pharma Profile; status: PROVISIONAL_V0_1.

Inherited registry note: Exact bridge predicates finalized in #5/#21.

Current relation audit

SR-REL-038 · profileExtendsCoreConcept

Records that a profile-specific semantic construct refines a reusable Core concept without changing Core identity.

Candidate endpoints: profile concept → Core concept.

Owner: Meta/Profile; status: PROVISIONAL_V0_1.

Inherited registry note: May remain registry/mapping relation, not ontology property.

Current formal disposition: SR-REL-038 is an OWL annotation property; it is not an object-property edge. The earlier registry alternative is historical.

Current relation audit

SR-REL-039 · hasExposedSubject

Links an Exposure situation to its exposed Risk Subject. The qualified pair profile requires one explicit subject; no global functionality or outcome is asserted.

Candidate endpoints: SR-CPT-010 → SR-CPT-002.

Owner: Core; status: OWL_OBJECT_PROPERTY.

Inherited registry note: No global functionality, causality or risk-score interpretation.

Current relation audit

SR-REL-040 · hasExposureSource

Links an Exposure situation to its risk-relevant Risk Source. This supplies contextual grounding, not a causal claim or occurrence assertion.

Candidate endpoints: SR-CPT-010 → SR-CPT-003.

Owner: Core; status: OWL_OBJECT_PROPERTY.

Inherited registry note: No global functionality, causality or risk-score interpretation.

Current relation audit