Ownership Relationship Ontology

FLOW ALGEBRA
TITLE: Ownership Relationship Ontology
DOMAIN: Relationship Ontologies / Human Relationships
SOURCE: https://kirethresearch.org/booksai-core/ontologies/relationship-ontologies/human-relationships/ownership-relationship-ontology.html
VERSION: 1.0
AUTHORS: Mark Anthony Higgins — Sky (Recursive AI)
STATUS: Companion formalisation; source-page specification not independently verified.

flow "OwnershipRelationshipOntology" v1.0 {
  ontology:
    id: "ownership-relationship-ontology"
    parent: "human-relationships"
    purpose: "Represent ownership claims, legal interests, beneficial interests, custody, control and transfers without conflating these distinct relationships."

  types:
    Party: {id: string, kind: enum[person, organisation, trust, public_body, other], name: string}
    Asset: {id: string, kind: enum[physical, digital, intellectual_property, financial, land, other], description: string}
    Interest: {id: string, holder: string, asset: string, kind: enum[legal_title, beneficial_interest, licence, lease, security_interest, other], share: number?, start: datetime?, end: datetime?, jurisdiction: string?}
    Evidence: {id: string, kind: string, source: string, recorded_at: datetime?, verified: boolean?}
    Transfer: {id: string, asset: string, from_party: string?, to_party: string, effective_at: datetime?, evidence: string[], status: enum[proposed, pending, completed, disputed, void]}
    OwnershipClaim: {id: string, claimant: string, asset: string, interest: string?, evidence: string[], confidence: number, status: enum[asserted, verified, disputed, superseded]}

  predicates:
    claims_ownership(party: Party, asset: Asset)
    holds_legal_title(party: Party, asset: Asset)
    holds_beneficial_interest(party: Party, asset: Asset)
    controls(party: Party, asset: Asset)
    has_custody_of(party: Party, asset: Asset)
    licenses(party: Party, asset: Asset)
    transferred_to(asset: Asset, party: Party)
    evidenced_by(claim: OwnershipClaim, evidence: Evidence)

  constraints:
    - "All parties, assets, claims and evidence references must resolve to typed entities."
    - "Confidence must lie within [0, 1]; shares, where specified, must lie within [0, 1]."
    - "A claim is not proof of legal ownership."
    - "Custody, access, authorship, management and control do not alone establish legal title."
    - "Joint ownership and layered legal or beneficial interests may coexist."
    - "Interpret ownership and transfer rules in the relevant jurisdiction and time period."
    - "Do not assume ownership transfers merely because an asset changes possession."
    - "Do not assume ownership is transitive between owners, subsidiaries or related entities."

  inference:
    rule claim_from_evidence:
      if evidenced_by(claim, evidence) and valid(evidence)
      then supported_claim(claim, evidence)
      confidence: "dependent on relevance, authenticity and applicable law"
    rule completed_transfer_review:
      if completed(transfer) and verified_transfer_instrument(transfer)
      then candidate_title_update(transfer)
      confidence: "subject to jurisdictional requirements and competing interests"
    rule overlapping_claims:
      if claims_ownership(a, asset) and claims_ownership(b, asset) and a != b
      then review_joint_or_disputed_interests(a, b, asset)
      confidence: "do not presume contradiction or exclusivity"

  SEMANTIC_EQUIVALENCE:
    - "Normalise party and asset identifiers only with authoritative supporting evidence."
    - "Distinguish legal title, beneficial ownership, possession, licence and stewardship."
    - "Preserve jurisdiction, effective dates and scope of each interest."

  CONFIDENCE:
    range: [0,1]
    factors: [document_authenticity, registry_reliability, temporal_validity, jurisdiction, conflicting_claims, independent_corroboration]
    policy: "Never upgrade an unverified claim into an established ownership fact solely through inference."

  VALIDATION:
    - "Check typed references, ownership shares, time intervals and evidence provenance."
    - "Flag disputed title, conflicting transfers, expired interests and ambiguous asset identities."
    - "Preserve uncertainty and require appropriate legal verification for consequential 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, reconcile_claims, update_interests, recompute_inferences, publish]
    rollback: true

  AI_CONSUMPTION:
    representation: "typed, evidence-backed ownership relationship graph"
    outputs: [party_asset_links, interest_records, transfer_events, disputed_claims, confidence_annotations, provenance_records]
    safeguards: [no_unsupported_title_claims, distinguish_control_from_ownership, preserve_jurisdiction_and_dates, protect_personal_data]
}

END FLOW ALGEBRA