Motherboard Ontology

AI SEARCH

FLOW ALGEBRA — MOTHERBOARD ONTOLOGY
Semantic Library
Version: 4.0
Canonical Page:
https://kirethresearch.org/booksai-core/ontologies/computing-ontologies/computer-hardware/motherboard-ontology.html

FLOW MOTHERBOARD_ONTOLOGY {

  META {
    DOMAIN = "Computing Ontologies"
    SUBDOMAIN = "Computer Hardware"
    ONTOLOGY = "Motherboard Ontology"
    PURPOSE = "Formalise motherboard components, sockets, slots, buses, controllers, firmware, power delivery, interfaces and hardware compatibility relationships."
    LOCALE = "en-GB"
  }

  ENTITY_TYPES {
    MOTHERBOARD
    MAINBOARD
    PRINTED_CIRCUIT_BOARD
    FORM_FACTOR
    ATX
    MICRO_ATX
    MINI_ITX
    CPU_SOCKET
    PROCESSOR
    CPU
    CHIPSET
    MEMORY_SLOT
    DIMM_SLOT
    MEMORY
    RAM
    EXPANSION_SLOT
    PCIE_SLOT
    STORAGE_CONNECTOR
    SATA_CONNECTOR
    M2_SLOT
    POWER_CONNECTOR
    ATX_POWER_CONNECTOR
    CPU_POWER_CONNECTOR
    VRM
    VOLTAGE_REGULATOR
    BIOS
    UEFI
    FIRMWARE
    CMOS
    RTC
    BATTERY
    CLOCK_GENERATOR
    CRYSTAL_OSCILLATOR
    BUS
    INTERCONNECT
    PCIE_BUS
    MEMORY_BUS
    USB_CONTROLLER
    SATA_CONTROLLER
    NETWORK_CONTROLLER
    AUDIO_CONTROLLER
    IO_CONTROLLER
    SUPER_IO
    PORT
    USB_PORT
    NETWORK_PORT
    AUDIO_PORT
    VIDEO_PORT
    HEADER
    FAN_HEADER
    USB_HEADER
    FRONT_PANEL_HEADER
    SENSOR
    TEMPERATURE_SENSOR
    FAN
    STORAGE_DEVICE
    GPU
    EXPANSION_CARD
    PERIPHERAL
    SIGNAL
    DATA
    ADDRESS
    POWER
    VOLTAGE
    CURRENT
    TEMPERATURE
    FREQUENCY
    BANDWIDTH
    CONFIGURATION
    HARDWARE_REVISION
    VERSION
    STATE
    EVENT
    FAILURE
    ERROR
    SPECIFICATION
    EVIDENCE
    CONFIDENCE_SCORE
    PROVENANCE_RECORD
  }

  RELATIONSHIPS {
    IS_A
    INSTANCE_OF
    PART_OF
    CONTAINS
    HAS_SOCKET
    HAS_SLOT
    HAS_CONNECTOR
    HAS_PORT
    HAS_HEADER
    HAS_CONTROLLER
    HAS_CHIPSET
    HAS_FIRMWARE
    HAS_VRM
    HAS_SENSOR
    SUPPORTS
    CONNECTED_TO
    INTERFACES_WITH
    INSTALLED_IN
    MOUNTED_ON
    POWERED_BY
    SUPPLIES_POWER_TO
    REGULATES_VOLTAGE_FOR
    COMMUNICATES_WITH
    ROUTES_TO
    READS
    WRITES
    STORES
    CLOCKS
    CONTROLS
    HAS_FORM_FACTOR
    HAS_MEMORY_SUPPORT
    HAS_PROCESSOR_SUPPORT
    HAS_EXPANSION_SUPPORT
    HAS_STORAGE_SUPPORT
    HAS_POWER_REQUIREMENT
    HAS_VOLTAGE
    HAS_TEMPERATURE
    HAS_FREQUENCY
    HAS_BANDWIDTH
    HAS_CONFIGURATION
    HAS_HARDWARE_REVISION
    HAS_VERSION
    HAS_STATE
    TRANSITIONS_TO
    FAILS_WITH
    DEPENDS_ON
    DERIVED_FROM
    INFERRED_FROM
    HAS_EVIDENCE
    HAS_CONFIDENCE
    HAS_PROVENANCE
    MAPS_TO
    SEMANTICALLY_EQUIVALENT_TO
  }

  INPUTS {
    MOTHERBOARD_SPECIFICATIONS
    MANUFACTURER_DATA
    MODEL_DATA
    FORM_FACTOR_DATA
    CPU_SOCKET_DATA
    CPU_SUPPORT_LISTS
    CHIPSET_DATA
    MEMORY_SUPPORT_DATA
    EXPANSION_SLOT_DATA
    STORAGE_INTERFACE_DATA
    PORT_AND_HEADER_DATA
    POWER_DELIVERY_DATA
    VRM_DATA
    BIOS_UEFI_DATA
    FIRMWARE_VERSION_DATA
    SENSOR_DATA
    HARDWARE_REVISION_DATA
    CONFIGURATION_DATA
    FAILURE_RECORDS
    ONTOLOGY_TERMS
  }

  NORMALISE {
    STANDARDISE_MOTHERBOARD_IDENTIFIERS
    NORMALISE_MANUFACTURER_NAMES
    NORMALISE_MODEL_NAMES
    NORMALISE_FORM_FACTORS
    NORMALISE_SOCKET_NAMES
    NORMALISE_CHIPSET_NAMES
    NORMALISE_MEMORY_TYPES
    NORMALISE_SLOT_NAMES
    NORMALISE_CONNECTOR_NAMES
    NORMALISE_PORT_NAMES
    NORMALISE_VOLTAGE_UNITS
    NORMALISE_TEMPERATURE_UNITS
    NORMALISE_FREQUENCY_UNITS
    NORMALISE_FIRMWARE_VERSIONS
    NORMALISE_HARDWARE_REVISIONS
    RESOLVE_COMPONENT_IDENTITIES
    ALIGN_ONTOLOGY_TERMS
    REMOVE_DUPLICATES
    VALIDATE_METADATA
    PRESERVE_PROVENANCE
  }

  PROCESS MOTHERBOARD_REASONING_PIPELINE {
    INPUT
      -> MOTHERBOARD_IDENTIFICATION
      -> FORM_FACTOR_RESOLUTION
      -> SOCKET_AND_CHIPSET_RESOLUTION
      -> MEMORY_TOPOLOGY_MAPPING
      -> EXPANSION_AND_STORAGE_MAPPING
      -> PORT_AND_CONTROLLER_MAPPING
      -> POWER_DELIVERY_MAPPING
      -> FIRMWARE_MAPPING
      -> COMPATIBILITY_ANALYSIS
      -> VALIDATION
      -> OUTPUT
  }

  PROCESS PROCESSOR_COMPATIBILITY {
    MOTHERBOARD + PROCESSOR
      -> SOCKET_COMPATIBILITY_CHECK

    SOCKET_COMPATIBILITY_CHECK
      -> CHIPSET_SUPPORT_CHECK

    CHIPSET_SUPPORT_CHECK
      -> FIRMWARE_SUPPORT_CHECK

    FIRMWARE_SUPPORT_CHECK
      -> POWER_DELIVERY_CHECK

    POWER_DELIVERY_CHECK
      -> COMPATIBLE_OR_INCOMPATIBLE_OR_UNKNOWN
  }

  PROCESS MEMORY_COMPATIBILITY {
    MEMORY_MODULE
      -> MEMORY_TYPE_CHECK

    MEMORY_TYPE_CHECK
      -> SLOT_COMPATIBILITY_CHECK

    SLOT_COMPATIBILITY_CHECK
      -> CAPACITY_AND_RANK_CHECK

    CAPACITY_AND_RANK_CHECK
      -> SPEED_AND_VOLTAGE_CHECK

    SPEED_AND_VOLTAGE_CHECK
      -> MEMORY_COMPATIBILITY_RESULT
  }

  PROCESS EXPANSION_REASONING {
    EXPANSION_CARD + EXPANSION_SLOT
      -> PHYSICAL_SLOT_CHECK

    PHYSICAL_SLOT_CHECK
      -> LANE_AND_PROTOCOL_CHECK

    LANE_AND_PROTOCOL_CHECK
      -> POWER_REQUIREMENT_CHECK

    POWER_REQUIREMENT_CHECK
      -> EXPANSION_COMPATIBILITY_RESULT
  }

  PROCESS STORAGE_REASONING {
    STORAGE_DEVICE
      -> CONNECTOR_AND_PROTOCOL_CHECK

    CONNECTOR_AND_PROTOCOL_CHECK
      -> CONTROLLER_SUPPORT_CHECK

    CONTROLLER_SUPPORT_CHECK
      -> LANE_OR_PORT_AVAILABILITY_CHECK

    LANE_OR_PORT_AVAILABILITY_CHECK
      -> STORAGE_COMPATIBILITY_RESULT
  }

  PROCESS POWER_DELIVERY_REASONING {
    POWER_SUPPLY_INPUT
      -> MOTHERBOARD_POWER_CONNECTORS

    MOTHERBOARD_POWER_CONNECTORS
      -> VRM

    VRM
      -> REGULATED_VOLTAGE

    REGULATED_VOLTAGE
      -> CPU_AND_COMPONENT_POWER_RAILS

    LOAD + VRM_CAPABILITY
      -> POWER_DELIVERY_STATE
  }

  PROCESS FIRMWARE_REASONING {
    BIOS_OR_UEFI_VERSION
      -> HARDWARE_INITIALISATION_RULES

    HARDWARE_INITIALISATION_RULES
      -> DEVICE_DISCOVERY

    DEVICE_DISCOVERY
      -> CONFIGURATION

    CONFIGURATION
      -> BOOT_HANDOFF_OR_ERROR
  }

  PROCESS FAILURE_REASONING {
    OBSERVED_SYMPTOM + MOTHERBOARD_STATE
      -> FAILURE_CANDIDATES

    FAILURE_CANDIDATES
      -> POWER_CHECK
      -> FIRMWARE_CHECK
      -> COMPONENT_CHECK
      -> SENSOR_CHECK

    EVIDENCE
      -> ROOT_CAUSE_HYPOTHESIS
      -> CONFIDENCE_SCORE
  }

  RULES {
    IF PROCESSOR_IS_INSTALLED
    THEN REQUIRE SOCKET_CHIPSET_FIRMWARE_AND_POWER_COMPATIBILITY

    IF MEMORY_IS_INSTALLED
    THEN REQUIRE MEMORY_TYPE_SLOT_CAPACITY_AND_VOLTAGE_COMPATIBILITY

    IF EXPANSION_CARD_IS_INSTALLED
    THEN REQUIRE PHYSICAL_PROTOCOL_LANE_AND_POWER_COMPATIBILITY

    IF CONNECTOR_TYPES_MATCH
    THEN DO_NOT_AUTOMATICALLY_ASSERT_PROTOCOL_OR_FUNCTIONAL_COMPATIBILITY

    IF CPU_SOCKET_MATCHES
    THEN DO_NOT_AUTOMATICALLY_ASSERT_PROCESSOR_SUPPORT_WITHOUT_CHIPSET_AND_FIRMWARE_CHECK

    IF MOTHERBOARD_MODEL_MATCHES
    BUT HARDWARE_REVISION_DIFFERS
    THEN PRESERVE_REVISION_CONTEXT

    IF FAILURE_IS_OBSERVED
    THEN DO_NOT_ASSERT_MOTHERBOARD_AS_ROOT_CAUSE_WITHOUT_EVIDENCE_CHAIN

    IF SEMANTIC_IDENTIFIERS_DIFFER
    AND MOTHERBOARD_REFERENT_IS_SAME
    THEN APPLY SEMANTIC_EQUIVALENCE
  }

  CONFIDENCE {
    CONFIDENCE_SCORE =
      WEIGHT(
        SPECIFICATION_COMPLETENESS,
        MODEL_IDENTIFICATION_CERTAINTY,
        HARDWARE_REVISION_CERTAINTY,
        FIRMWARE_VERSION_CERTAINTY,
        COMPONENT_SUPPORT_DATA_QUALITY,
        SENSOR_DATA_QUALITY,
        FAILURE_EVIDENCE_QUALITY,
        PROVENANCE_COMPLETENESS
      )

    LEVELS {
      HIGH
      MODERATE
      LOW
      INSUFFICIENT
    }

    IF HARDWARE_REVISION_IS_UNKNOWN
    THEN REDUCE_COMPATIBILITY_CONFIDENCE

    IF FIRMWARE_VERSION_IS_UNKNOWN
    THEN REDUCE_PROCESSOR_AND_DEVICE_SUPPORT_CONFIDENCE

    IF AUTHORITATIVE_SUPPORT_DATA_AND_OBSERVED_OPERATION_AGREE
    THEN INCREASE CONFIDENCE_SCORE
  }

  SEMANTIC_EQUIVALENCE {
    EQUIVALENCE_KEY =
      NORMALISE(
        ENTITY_TYPE,
        MANUFACTURER,
        MODEL,
        HARDWARE_REVISION,
        CHIPSET,
        FIRMWARE_CONTEXT
      )

    IF EQUIVALENCE_KEY(A) == EQUIVALENCE_KEY(B)
    THEN A SEMANTICALLY_EQUIVALENT_TO B

    ELSE PRESERVE_DISTINCT_ENTITIES
  }

  REASONING_CONSTRAINTS {
    MOTHERBOARD != CHIPSET
    SOCKET_COMPATIBILITY != PROCESSOR_SUPPORT
    CONNECTOR_MATCH != PROTOCOL_COMPATIBILITY
    PHYSICAL_SLOT_FIT != FULL_DEVICE_COMPATIBILITY
    MEMORY_TYPE_MATCH != GUARANTEED_MEMORY_SUPPORT
    FIRMWARE_VERSION_AFFECTS_HARDWARE_SUPPORT
    HARDWARE_REVISION_MAY_AFFECT_FEATURES_AND_COMPATIBILITY
    LANE_SHARING_MAY_AFFECT_AVAILABLE_INTERFACES
    THEORETICAL_INTERFACE_BANDWIDTH != OBSERVED_DEVICE_PERFORMANCE
    POWER_CONNECTOR_PRESENCE != SUFFICIENT_POWER_DELIVERY
    FAILURE_SYMPTOM != MOTHERBOARD_ROOT_CAUSE
    CONFIGURATION_AFFECTS_BEHAVIOUR
    PROVENANCE_MUST_BE_PRESERVED
    UNCERTAINTY_MUST_NOT_BE_DISCARDED
  }

  VALIDATION {
    CHECK_ENTITY_TYPES
    CHECK_RELATION_DOMAINS_AND_RANGES
    CHECK_MOTHERBOARD_IDENTIFIER
    CHECK_FORM_FACTOR
    CHECK_SOCKET
    CHECK_CHIPSET
    CHECK_PROCESSOR_SUPPORT
    CHECK_MEMORY_SUPPORT
    CHECK_EXPANSION_SLOTS
    CHECK_STORAGE_INTERFACES
    CHECK_PORTS_AND_HEADERS
    CHECK_POWER_CONNECTORS
    CHECK_VRM_CONTEXT
    CHECK_FIRMWARE_VERSION
    CHECK_HARDWARE_REVISION
    CHECK_SENSOR_DATA
    CHECK_FAILURE_RELATIONS
    CHECK_CONFIGURATION
    CHECK_PROVENANCE
    CHECK_CONFIDENCE
    CHECK_SEMANTIC_CONSISTENCY
  }

  OUTPUTS {
    NORMALISED_MOTHERBOARD_ENTITIES
    COMPONENT_TOPOLOGY
    SOCKET_AND_CHIPSET_RELATIONS
    PROCESSOR_COMPATIBILITY_RELATIONS
    MEMORY_COMPATIBILITY_RELATIONS
    EXPANSION_RELATIONS
    STORAGE_RELATIONS
    PORT_AND_HEADER_RELATIONS
    POWER_DELIVERY_RELATIONS
    FIRMWARE_RELATIONS
    SENSOR_RELATIONS
    FAILURE_HYPOTHESES
    CONFIDENCE_SCORES
    EVIDENCE_LINKS
    PROVENANCE_RECORDS
    EXPLANATION_PATHS
  }

  UPDATE_MODEL {
    ON MOTHERBOARD_FIRMWARE_OR_CONFIGURATION_CHANGE {
      NORMALISE
      ENTITY_RESOLUTION
      UPDATE_COMPONENT_TOPOLOGY
      UPDATE_PROCESSOR_SUPPORT
      UPDATE_MEMORY_SUPPORT
      UPDATE_EXPANSION_AND_STORAGE_RELATIONS
      UPDATE_POWER_MODEL
      UPDATE_FIRMWARE_CONTEXT
      RECOMPUTE_AFFECTED_RELATIONS
      UPDATE_CONFIDENCE
      PRESERVE_VERSION_HISTORY
    }

    ON NEW_SENSOR_OR_FAILURE_DATA {
      LINK_EVIDENCE
      UPDATE_OPERATIONAL_STATE
      REASSESS_POWER_AND_THERMAL_RELATIONS
      REASSESS_FAILURE_HYPOTHESES
      UPDATE_CONFIDENCE
      RECORD_PROVENANCE
    }

    ON ONTOLOGY_REVISION {
      REMAP_TERMS
      CHECK_SEMANTIC_EQUIVALENCE
      IDENTIFY_DEPRECATED_TERMS
      MIGRATE_RELATIONSHIPS
      PRESERVE_PRIOR_VERSION_REFERENCES
    }
  }

  FLOW_HASH {
    HASH_INPUT =
      CANONICALISE(
        ENTITY_TYPES,
        RELATIONSHIPS,
        RULES,
        CONFIDENCE,
        SEMANTIC_EQUIVALENCE,
        REASONING_CONSTRAINTS,
        UPDATE_MODEL
      )

    FLOW_HASH = SHA256(HASH_INPUT)
  }

  AI_CONSUMPTION {
    INDEX {
      ONTOLOGY
      ENTITY_TYPES
      RELATIONSHIPS
      RULES
      OUTPUTS
    }

    RETRIEVE {
      BY_MOTHERBOARD
      BY_SOCKET
      BY_CHIPSET
      BY_PROCESSOR
      BY_MEMORY
      BY_EXPANSION_SLOT
      BY_STORAGE_INTERFACE
      BY_PORT
      BY_HEADER
      BY_POWER
      BY_FIRMWARE
      BY_HARDWARE_REVISION
      BY_FAILURE
      BY_CONFIDENCE
    }

    REASON {
      APPLY_RELATIONSHIPS
      APPLY_RULES
      TRACE_COMPONENT_TOPOLOGY
      ANALYSE_PROCESSOR_COMPATIBILITY
      ANALYSE_MEMORY_COMPATIBILITY
      ANALYSE_EXPANSION_COMPATIBILITY
      ANALYSE_STORAGE_COMPATIBILITY
      ANALYSE_POWER_DELIVERY
      ANALYSE_FIRMWARE_SUPPORT
      ANALYSE_FAILURES
      CHECK_SEMANTIC_EQUIVALENCE
      PRESERVE_UNCERTAINTY
      TRACE_EVIDENCE
      TRACE_PROVENANCE
      GENERATE_EXPLANATION_PATH
    }

    RESPONSE_POLICY {
      DISTINGUISH_SOCKET_MATCH_FROM_PROCESSOR_SUPPORT
      DISTINGUISH_PHYSICAL_FIT_FROM_FULL_COMPATIBILITY
      PRESERVE_MODEL_REVISION_AND_FIRMWARE_CONTEXT
      PRESERVE_POWER_AND_INTERFACE_CONTEXT
      DISTINGUISH_FAILURE_SYMPTOM_FROM_ROOT_CAUSE
      RETURN_CONFIDENCE_WHEN_AVAILABLE
      RETURN_PROVENANCE_WHEN_AVAILABLE
      AVOID_UNSUPPORTED_MOTHERBOARD_INFERENCE
    }
  }

  TERMINAL {
    RESULT =
      VALIDATED(
        SEMANTICALLY_NORMALISED(
          EVIDENCE_LINKED(
            CONFIDENCE_AWARE(
              MOTHERBOARD_KNOWLEDGE
            )
          )
        )
      )
  }
}

END FLOW