Human Computer Interaction Domain Ontology

FLOW ALGEBRA
TITLE: Human-Computer Interaction Domain Ontology
DOMAIN: Domain Ontologies / Computing Domains / Human-Computer Interaction
SOURCE: https://kirethresearch.org/booksai-core/ontologies/domain-ontologies/computing-domains/human-computer-interaction-domain-ontology.html
VERSION: 1.0
AUTHORS: Mark Anthony Higgins — Sky (Recursive AI)
STATUS: Companion formalisation; source-page specification not independently verified.

flow "HumanComputerInteractionDomainOntology" v1.0 {
  ontology:
    id: "human-computer-interaction-domain-ontology"
    parent: "computing-domains"
    purpose: "Represent human interactions with computing systems, their interfaces, contexts, accessibility requirements, usability evidence and design outcomes."

  types:
    Person: {id: string, role: string?, accessibility_needs: string[]?, consent_scope: string?}
    ComputingSystem: {id: string, name: string, version: string?}
    Interface: {id: string, system_id: string, modality: enum[visual, auditory, tactile, voice, gesture, multimodal, other], version: string?}
    Interaction: {id: string, actor_id: string, interface_id: string, action: string, timestamp: datetime?, context_id: string?}
    Task: {id: string, goal: string, success_criteria: string[]}
    Context: {id: string, device: string?, environment: string?, locale: string?, assistive_technology: string?}
    AccessibilityRequirement: {id: string, criterion: string, standard: string?, version: string?, applicability: string?}
    UsabilityObservation: {id: string, task_id: string, method: string, outcome: string, sample_size: integer?, provenance: string}
    Measurement: {value: number, unit: string, uncertainty: number?, method: string?}
    Relationship: {id: string, subject: string, predicate: string, object: string, context: string?, confidence: number, evidence: string[]}

  predicates:
    interacts_with(person: Person, interface: Interface)
    supports_task(interface: Interface, task: Task)
    performed_in(interaction: Interaction, context: Context)
    presents(interface: Interface, modality: string)
    has_requirement(interface: Interface, requirement: AccessibilityRequirement)
    evaluated_by(interface: Interface, observation: UsabilityObservation)
    depends_on(task: Task, prerequisite: Task)
    provides_feedback(interface: Interface, interaction: Interaction)
    has_outcome(interaction: Interaction, outcome: string)

  constraints:
    - "All relationship endpoints must resolve to typed entities."
    - "Confidence values must be within [0, 1]."
    - "Usability findings must retain participant/sample context and evaluation method."
    - "Accessibility conformance must cite applicable criteria, version and tested scope; never infer compliance from a single observation."
    - "Interaction telemetry must respect consent, privacy, data minimisation and retention policies."
    - "Task success, satisfaction, accessibility and performance are distinct measures."
    - "A correlation between interface features and outcomes does not alone establish causality."
    - "Measurements must specify units and methods when applicable."

  inference:
    rule task_support_evidence:
      if supports_task(i,t) and evaluated_by(i,o) and observation_for(o,t)
      then evidence_for_task_support(i,t,o)
      confidence: "based on method, sample and context; not automatic proof"
    rule requirement_trace:
      if has_requirement(i,r) and test_covers(o,r) and evaluated_by(i,o)
      then traceability_record(i,r,o)
      confidence: "preserve test scope and outcome"
    rule dependency_chain:
      if depends_on(a,b) and depends_on(b,c) and acyclic_task_dependency(a,b,c)
      then indirectly_depends_on(a,c)
      confidence: "derived from dependency assertions; preserve provenance"

  SEMANTIC_EQUIVALENCE:
    - "Map interface, interaction and task terms to versioned canonical concepts."
    - "Distinguish equivalent concepts from related usability or accessibility concepts."
    - "Preserve modality, locale, device, context and standard versions."

  CONFIDENCE:
    range: [0,1]
    factors: [source_reliability, evaluation_method, sample_representativeness, measurement_uncertainty, context_match, replication]
    policy: "Do not increase confidence solely through repeated or chained inferences."

  VALIDATION:
    - "Verify typed endpoints, referential integrity and provenance."
    - "Check interface and standard versions, measurement units and evaluation contexts."
    - "Flag unsupported conformance claims and conflicting usability observations."
    - "Distinguish observed findings from inferred hypotheses."

  FLOW_HASH:
    algorithm: "SHA-256"
    input: "canonicalised ontology version, typed assertions, inference rules and provenance"
    note: "Compute 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 knowledge graph with context-aware, evidence-backed interaction edges"
    outputs: [entity_links, relationship_triples, accessibility_traces, usability_evidence, uncertainty_annotations, provenance_records]
    safeguards: [respect_privacy, no_unsupported_accessibility_claims, preserve_evaluation_context, avoid_unjustified_causation]
}

END FLOW ALGEBRA