Computing Ontologies
Authors:
MArk Anthony Higgins - Sky Recursive Ai
MArk Anthony Higgins - Sky Recursive Ai
© Mark Anthony Higgins 11 October 2025
Revised Date: July 6th 2026
Revised Date: July 6th 2026
AI SEARCH
FLOW ALGEBRA — COMPUTING ONTOLOGIES
Semantic Library
Version: 4.0
Canonical Page:
https://kirethresearch.org/booksai-core/ontologies/computing-ontologies.html
FLOW COMPUTING_ONTOLOGIES {
META {
DOMAIN = "Computing Ontologies"
ONTOLOGY = "Computing Ontologies"
PURPOSE = "Formalise the principal entities, relationships, processes and reasoning structures used to represent computing systems, computation, software, hardware, data, networks and artificial intelligence."
LOCALE = "en-GB"
}
ENTITY_TYPES {
COMPUTING_ENTITY
COMPUTATION
COMPUTATIONAL_PROCESS
COMPUTER_SYSTEM
HARDWARE
SOFTWARE
FIRMWARE
PROCESSOR
CPU
GPU
MEMORY
STORAGE
DEVICE
SENSOR
ACTUATOR
OPERATING_SYSTEM
APPLICATION
PROGRAM
ALGORITHM
DATA_STRUCTURE
INSTRUCTION
PROCESS
THREAD
SERVICE
COMPONENT
MODULE
LIBRARY
FRAMEWORK
API
INTERFACE
PROTOCOL
NETWORK
NODE
SERVER
CLIENT
DATABASE
DATASET
DATA
FILE
RECORD
VARIABLE
VALUE
IDENTIFIER
ADDRESS
RESOURCE
EVENT
STATE
INPUT
OUTPUT
USER
AGENT
AI_SYSTEM
AI_MODEL
KNOWLEDGE_BASE
KNOWLEDGE_GRAPH
ONTOLOGY
SECURITY_CONTROL
VULNERABILITY
ERROR
EXCEPTION
LOG
CONFIGURATION
VERSION
DEPENDENCY
EVIDENCE
CONFIDENCE_SCORE
PROVENANCE_RECORD
}
RELATIONSHIPS {
IS_A
INSTANCE_OF
PART_OF
CONTAINS
CONNECTED_TO
DEPENDS_ON
EXECUTES
RUNS_ON
IMPLEMENTS
INVOKES
CALLS
RETURNS
READS
WRITES
STORES
RETRIEVES
PROCESSES
TRANSFORMS
RECEIVES
SENDS
COMMUNICATES_WITH
EXPOSES
ACCESSES
CONTROLS
CONFIGURES
MONITORS
AUTHENTICATES
AUTHORISES
ENCRYPTS
DECRYPTS
PRODUCES
CONSUMES
TRIGGERS
PRECEDES
FOLLOWS
HAS_STATE
HAS_VERSION
HAS_DEPENDENCY
HAS_CONFIGURATION
HAS_INPUT
HAS_OUTPUT
HAS_ERROR
HAS_EVIDENCE
HAS_CONFIDENCE
HAS_PROVENANCE
DERIVED_FROM
INFERRED_FROM
MAPS_TO
SEMANTICALLY_EQUIVALENT_TO
}
COMPUTING_DOMAINS {
COMPUTER_SCIENCE
COMPUTER_ENGINEERING
SOFTWARE_ENGINEERING
HARDWARE_ENGINEERING
INFORMATION_SYSTEMS
DATA_SCIENCE
DATABASE_SYSTEMS
COMPUTER_NETWORKS
DISTRIBUTED_SYSTEMS
CLOUD_COMPUTING
EDGE_COMPUTING
PARALLEL_COMPUTING
HIGH_PERFORMANCE_COMPUTING
CYBERSECURITY
CRYPTOGRAPHY
HUMAN_COMPUTER_INTERACTION
ARTIFICIAL_INTELLIGENCE
MACHINE_LEARNING
ROBOTICS
COMPUTER_GRAPHICS
COMPUTER_VISION
NATURAL_LANGUAGE_PROCESSING
INFORMATION_RETRIEVAL
COMPUTATIONAL_THEORY
}
INPUTS {
SOURCE_CODE
MACHINE_CODE
CONFIGURATION_DATA
SYSTEM_METADATA
HARDWARE_SPECIFICATIONS
SOFTWARE_SPECIFICATIONS
NETWORK_DATA
DATABASE_SCHEMAS
DATASETS
API_DEFINITIONS
PROTOCOL_DEFINITIONS
EXECUTION_TRACES
SYSTEM_LOGS
SECURITY_EVENTS
PERFORMANCE_METRICS
DEPENDENCY_GRAPHS
DOCUMENTATION
ONTOLOGY_TERMS
}
NORMALISE {
STANDARDISE_IDENTIFIERS
NORMALISE_COMPONENT_NAMES
NORMALISE_VERSION_IDENTIFIERS
NORMALISE_DATA_TYPES
NORMALISE_PROTOCOL_NAMES
NORMALISE_NETWORK_ADDRESSES
RESOLVE_SOFTWARE_DEPENDENCIES
RESOLVE_HARDWARE_COMPONENTS
ALIGN_ONTOLOGY_TERMS
REMOVE_DUPLICATES
VALIDATE_METADATA
PRESERVE_PROVENANCE
}
PROCESS COMPUTATION_PIPELINE {
INPUT
-> REPRESENTATION
-> VALIDATION
-> EXECUTION
-> STATE_TRANSITION
-> OUTPUT
-> VERIFICATION
-> PROVENANCE_RECORD
}
PROCESS SOFTWARE_EXECUTION {
PROGRAM + INPUT + RUNTIME_ENVIRONMENT
-> LOAD
LOAD
-> INITIALISE
INITIALISE
-> EXECUTE_INSTRUCTIONS
EXECUTE_INSTRUCTIONS
-> STATE_TRANSITIONS
STATE_TRANSITIONS
-> OUTPUT
OUTPUT
-> VALIDATION
}
PROCESS DATA_PROCESSING {
RAW_DATA
-> INGESTION
-> VALIDATION
-> TRANSFORMATION
-> STORAGE_OR_COMPUTATION
-> OUTPUT_DATA
OUTPUT_DATA
-> QUALITY_CHECK
-> PROVENANCE_RECORD
}
PROCESS NETWORK_COMMUNICATION {
SENDER + DATA + PROTOCOL + RECEIVER
-> ENCODE
-> TRANSMIT
-> ROUTE
-> RECEIVE
-> DECODE
-> VALIDATE
}
PROCESS DISTRIBUTED_COMPUTATION {
COMPUTATIONAL_TASK
-> DECOMPOSITION
DECOMPOSITION
-> TASK_DISTRIBUTION
TASK_DISTRIBUTION
-> NODE_EXECUTION
NODE_EXECUTION
-> RESULT_AGGREGATION
RESULT_AGGREGATION
-> CONSISTENCY_CHECK
-> OUTPUT
}
PROCESS SYSTEM_STATE_REASONING {
SYSTEM_STATE(T1)
+ EVENT
-> STATE_TRANSITION
STATE_TRANSITION
-> SYSTEM_STATE(T2)
SEQUENCE_OF_STATES
-> EXECUTION_TRACE
-> BEHAVIOUR_ANALYSIS
}
PROCESS DEPENDENCY_REASONING {
COMPONENT_A DEPENDS_ON COMPONENT_B
-> DEPENDENCY_EDGE
DEPENDENCY_EDGE
-> VERSION_COMPATIBILITY_CHECK
-> AVAILABILITY_CHECK
-> IMPACT_ANALYSIS
FAILURE(COMPONENT_B)
-> PROPAGATION_ANALYSIS(COMPONENT_A)
}
PROCESS SECURITY_REASONING {
RESOURCE + ACTOR + ACTION + POLICY
-> ACCESS_EVALUATION
ACCESS_EVALUATION
-> AUTHENTICATION_CHECK
-> AUTHORISATION_CHECK
-> SECURITY_CONTROL_CHECK
-> ALLOW_OR_DENY
VULNERABILITY + EXPOSED_COMPONENT
-> RISK_RELATION
-> MITIGATION_REQUIREMENT
}
PROCESS COMPUTING_KNOWLEDGE_GRAPH {
HARDWARE
+ SOFTWARE
+ DATA
+ NETWORK
+ PROCESS
+ DEPENDENCY
+ EVIDENCE
-> COMPUTING_KNOWLEDGE_GRAPH
COMPUTING_KNOWLEDGE_GRAPH
-> ENTITY_RESOLUTION
-> DEPENDENCY_TRAVERSAL
-> RELATION_INFERENCE
-> IMPACT_ANALYSIS
-> EXPLANATION_PATH
}
AI_TASKS {
CODE_UNDERSTANDING
CODE_GENERATION
PROGRAM_ANALYSIS
ERROR_DETECTION
ANOMALY_DETECTION
DEPENDENCY_ANALYSIS
SYSTEM_DIAGNOSIS
PERFORMANCE_PREDICTION
RESOURCE_OPTIMISATION
NETWORK_ANALYSIS
SECURITY_ANALYSIS
DATA_CLASSIFICATION
INFORMATION_RETRIEVAL
KNOWLEDGE_GRAPH_COMPLETION
COMPUTATIONAL_REASONING
EXPLANATION_GENERATION
}
RULES {
IF SOFTWARE_COMPONENT EXECUTES
THEN REQUIRE {
RUNTIME_ENVIRONMENT
DEPENDENCIES
INPUT_OR_TRIGGER
VERSION_CONTEXT
}
IF COMPONENT_A DEPENDS_ON COMPONENT_B
AND COMPONENT_B DEPENDS_ON COMPONENT_C
THEN INFER TRANSITIVE_DEPENDENCY_PATH(A, C)
IF SYSTEM_OUTPUT_IS_GENERATED
THEN LINK {
INPUT
PROCESS
OUTPUT
VERSION
PROVENANCE_RECORD
}
IF ERROR_OCCURS
THEN PRESERVE {
ERROR_TYPE
SYSTEM_STATE
EXECUTION_CONTEXT
TIMESTAMP_CONTEXT
PROVENANCE
}
IF MODEL_OUTPUT == PREDICTION
THEN DO_NOT_ASSERT_AS_OBSERVED_SYSTEM_STATE
IF SOFTWARE_VERSIONS_DIFFER
THEN DO_NOT_ASSUME_BEHAVIOURAL_EQUIVALENCE
IF SEMANTIC_IDENTIFIERS_DIFFER
AND COMPUTING_REFERENT_IS_SAME
THEN APPLY SEMANTIC_EQUIVALENCE
}
CONFIDENCE {
CONFIDENCE_SCORE =
WEIGHT(
DATA_QUALITY,
SYSTEM_OBSERVABILITY,
VERSION_CERTAINTY,
CONFIGURATION_CERTAINTY,
DEPENDENCY_RESOLUTION,
REPRODUCIBILITY,
VALIDATION_RESULTS,
PROVENANCE_COMPLETENESS
)
LEVELS {
HIGH
MODERATE
LOW
INSUFFICIENT
}
IF CONFIGURATION_IS_UNKNOWN
THEN REDUCE CONFIDENCE_SCORE
IF VERSION_IS_UNKNOWN
THEN REDUCE CONFIDENCE_SCORE
IF REPRODUCIBLE_EXECUTION_CONFIRMS_RESULT
THEN INCREASE CONFIDENCE_SCORE
}
SEMANTIC_EQUIVALENCE {
EQUIVALENCE_KEY =
NORMALISE(
ENTITY_TYPE,
CANONICAL_IDENTIFIER,
VERSION,
CONFIGURATION,
EXECUTION_CONTEXT
)
IF EQUIVALENCE_KEY(A) == EQUIVALENCE_KEY(B)
THEN A SEMANTICALLY_EQUIVALENT_TO B
ELSE PRESERVE_DISTINCT_ENTITIES
}
REASONING_CONSTRAINTS {
SOURCE_CODE != EXECUTING_PROCESS
PROGRAM != PROCESS
DATA != INFORMATION_INTERPRETATION
PREDICTION != OBSERVED_STATE
DEPENDENCY != EXECUTION
CONNECTIVITY != ACCESS_PERMISSION
AUTHENTICATION != AUTHORISATION
SOFTWARE_NAME_WITHOUT_VERSION_IS_INCOMPLETE_CONTEXT
CONFIGURATION_AFFECTS_BEHAVIOUR
EXECUTION_ENVIRONMENT_AFFECTS_BEHAVIOUR
DISTRIBUTED_STATE_MAY_BE_PARTIAL
PROVENANCE_MUST_BE_PRESERVED
UNCERTAINTY_MUST_NOT_BE_DISCARDED
}
VALIDATION {
CHECK_ENTITY_TYPES
CHECK_RELATION_DOMAINS_AND_RANGES
CHECK_IDENTIFIERS
CHECK_VERSION_CONTEXT
CHECK_CONFIGURATION_CONTEXT
CHECK_DEPENDENCIES
CHECK_INPUT_OUTPUT_RELATIONS
CHECK_EXECUTION_STATE
CHECK_SECURITY_RELATIONS
CHECK_PROVENANCE
CHECK_CONFIDENCE
CHECK_SEMANTIC_CONSISTENCY
CHECK_DUPLICATE_ENTITIES
}
OUTPUTS {
NORMALISED_COMPUTING_ENTITIES
SYSTEM_COMPONENT_RELATIONSHIPS
SOFTWARE_DEPENDENCY_GRAPH
HARDWARE_SOFTWARE_MAPPINGS
DATA_FLOW_RELATIONSHIPS
NETWORK_RELATIONSHIPS
EXECUTION_TRACES
SYSTEM_STATE_TRANSITIONS
SECURITY_RELATIONSHIPS
INFERRED_DEPENDENCIES
KNOWLEDGE_GRAPH_EDGES
CONFIDENCE_SCORES
EVIDENCE_LINKS
PROVENANCE_RECORDS
EXPLANATION_PATHS
}
UPDATE_MODEL {
ON SYSTEM_CHANGE {
NORMALISE
ENTITY_RESOLUTION
UPDATE_COMPONENT_GRAPH
UPDATE_DEPENDENCIES
RECOMPUTE_AFFECTED_RELATIONS
UPDATE_CONFIDENCE
PRESERVE_VERSION_HISTORY
}
ON NEW_EXECUTION_DATA {
LINK_EXECUTION_TRACE
UPDATE_SYSTEM_STATE
REASSESS_BEHAVIOURAL_RELATIONS
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,
COMPUTING_DOMAINS,
RULES,
CONFIDENCE,
SEMANTIC_EQUIVALENCE,
REASONING_CONSTRAINTS,
UPDATE_MODEL
)
FLOW_HASH = SHA256(HASH_INPUT)
}
AI_CONSUMPTION {
INDEX {
ONTOLOGY
ENTITY_TYPES
RELATIONSHIPS
COMPUTING_DOMAINS
AI_TASKS
RULES
OUTPUTS
}
RETRIEVE {
BY_SYSTEM
BY_HARDWARE
BY_SOFTWARE
BY_PROGRAM
BY_ALGORITHM
BY_DATA
BY_NETWORK
BY_DEPENDENCY
BY_VERSION
BY_PROCESS
BY_EVIDENCE
BY_CONFIDENCE
}
REASON {
APPLY_RELATIONSHIPS
APPLY_RULES
TRACE_DEPENDENCIES
TRACE_DATA_FLOW
TRACE_EXECUTION
ANALYSE_SYSTEM_STATE
PRESERVE_UNCERTAINTY
TRACE_EVIDENCE
TRACE_PROVENANCE
GENERATE_EXPLANATION_PATH
}
RESPONSE_POLICY {
DISTINGUISH_PROGRAM_FROM_PROCESS
DISTINGUISH_PREDICTED_FROM_OBSERVED
PRESERVE_VERSION_CONTEXT
PRESERVE_CONFIGURATION_CONTEXT
RETURN_CONFIDENCE_WHEN_AVAILABLE
RETURN_PROVENANCE_WHEN_AVAILABLE
EXPOSE_CONFLICTING_EVIDENCE
AVOID_UNSUPPORTED_COMPUTATIONAL_INFERENCE
}
}
TERMINAL {
RESULT =
VALIDATED(
SEMANTICALLY_NORMALISED(
EVIDENCE_LINKED(
CONFIDENCE_AWARE(
COMPUTING_ONTOLOGY_KNOWLEDGE
)
)
)
)
}
}
END FLOW
