Wireless Network Ontology

AI SEARCH

FLOW ALGEBRA — WIRELESS NETWORK ONTOLOGY
Semantic Library
Version: 4.0
Canonical Page:
https://kirethresearch.org/booksai-core/ontologies/computing-ontologies/networking/wireless-network-ontology.html

FLOW WIRELESS_NETWORK_ONTOLOGY {

META {
DOMAIN = "Computing Ontologies"
SUBDOMAIN = "Networking"
ONTOLOGY = "Wireless Network Ontology"
PURPOSE = "Formalise wireless networks, radio links, Wi-Fi, access points, stations, channels, spectrum, association, authentication, roaming, interference, security, performance and wireless network state."
LOCALE = "en-GB"
}

ENTITY_TYPES {
WIRELESS_NETWORK
WLAN
WI_FI
WIRELESS_LINK
RADIO_LINK
ACCESS_POINT
WIRELESS_ROUTER
STATION
CLIENT_DEVICE
WIRELESS_INTERFACE
SSID
BSSID
ESS
BSS
IBSS
IEEE_802_11
PHY_LAYER
MAC_LAYER
RADIO
RADIO_FREQUENCY
FREQUENCY_BAND
CHANNEL
CHANNEL_WIDTH
SPECTRUM
TRANSMIT_POWER
RECEIVE_POWER
RSSI
SNR
NOISE_FLOOR
SIGNAL_STRENGTH
INTERFERENCE
CO_CHANNEL_INTERFERENCE
ADJACENT_CHANNEL_INTERFERENCE
ANTENNA
MIMO
MU_MIMO
BEAMFORMING
SPATIAL_STREAM
MODULATION
CODING
DATA_RATE
PHY_RATE
THROUGHPUT
LATENCY
JITTER
PACKET_LOSS
AIRTIME
FRAME
MANAGEMENT_FRAME
CONTROL_FRAME
DATA_FRAME
BEACON_FRAME
PROBE_REQUEST
PROBE_RESPONSE
AUTHENTICATION_FRAME
ASSOCIATION_REQUEST
ASSOCIATION_RESPONSE
REASSOCIATION
DEAUTHENTICATION
DISASSOCIATION
ASSOCIATION
AUTHENTICATION
ROAMING
HANDOFF
WIRELESS_SECURITY
WEP
WPA
WPA2
WPA3
PSK
SAE
EAP
IEEE_802_1X
RADIUS
CREDENTIAL
ENCRYPTION
CCMP
GCMP
AES
SECURITY_KEY
FOUR_WAY_HANDSHAKE
PAIRWISE_MASTER_KEY
PAIRWISE_TRANSIENT_KEY
GROUP_KEY
CAPTIVE_PORTAL
ACCESS_CONTROL
MAC_FILTERING
VLAN
DHCP
DNS
IP_ADDRESS
DEFAULT_GATEWAY
MOBILITY
COVERAGE
COVERAGE_AREA
CELL
ROAMING_DOMAIN
CHANNEL_SELECTION
CHANNEL_PLAN
DYNAMIC_CHANNEL_SELECTION
BAND_STEERING
LOAD_BALANCING
QUALITY_OF_SERVICE
WMM
TRAFFIC_CLASS
QUEUE
POWER_SAVE
DTIM
BEACON_INTERVAL
RETRY
RETRANSMISSION
FRAME_ERROR
COLLISION
CSMA_CA
CCA
BACKOFF
NAV
HIDDEN_NODE
EXPOSED_NODE
WIRELESS_MESH
MESH_NODE
MESH_LINK
MESH_PATH
AD_HOC_NETWORK
HOTSPOT
GUEST_NETWORK
ENTERPRISE_WLAN
HOME_WLAN
CONFIGURATION
WIRELESS_STATE
WIRELESS_EVENT
FAILURE
RADIO_FAILURE
LINK_FAILURE
TELEMETRY
EVIDENCE
CONFIDENCE_SCORE
PROVENANCE_RECORD
}

RELATIONSHIPS {
IS_A
INSTANCE_OF
HAS_ACCESS_POINT
HAS_STATION
HAS_INTERFACE
HAS_SSID
HAS_BSSID
BELONGS_TO_ESS
BELONGS_TO_BSS
USES_STANDARD
USES_RADIO
USES_FREQUENCY
USES_BAND
USES_CHANNEL
HAS_CHANNEL_WIDTH
USES_SPECTRUM
HAS_TRANSMIT_POWER
HAS_RECEIVE_POWER
HAS_RSSI
HAS_SNR
HAS_NOISE_FLOOR
HAS_SIGNAL_STRENGTH
HAS_INTERFERENCE
HAS_ANTENNA
USES_MIMO
USES_BEAMFORMING
HAS_SPATIAL_STREAM
USES_MODULATION
USES_CODING
HAS_DATA_RATE
HAS_PHY_RATE
HAS_THROUGHPUT
HAS_LATENCY
HAS_JITTER
HAS_PACKET_LOSS
HAS_AIRTIME
SENDS_FRAME
RECEIVES_FRAME
BEACONS
PROBES
AUTHENTICATES
ASSOCIATES_WITH
REASSOCIATES_WITH
DEAUTHENTICATES
DISASSOCIATES
ROAMS_TO
HANDS_OFF_TO
SECURED_BY
USES_WPA
USES_EAP
USES_802_1X
AUTHENTICATED_BY
USES_CREDENTIAL
ENCRYPTS
USES_KEY
PERFORMS_HANDSHAKE
HAS_PMK
HAS_PTK
HAS_GROUP_KEY
CONTROLLED_BY
HAS_VLAN
ASSIGNED_ADDRESS_BY
RESOLVES_VIA
HAS_IP_ADDRESS
HAS_DEFAULT_GATEWAY
HAS_COVERAGE
HAS_CELL
BELONGS_TO_ROAMING_DOMAIN
SELECTS_CHANNEL
HAS_CHANNEL_PLAN
STEERS_TO_BAND
LOAD_BALANCES_TO
HAS_QOS
HAS_WMM
HAS_TRAFFIC_CLASS
QUEUED_IN
USES_POWER_SAVE
HAS_DTIM
HAS_BEACON_INTERVAL
RETRIES
RETRANSMITS
HAS_FRAME_ERROR
COLLIDES_WITH
USES_CSMA_CA
PERFORMS_CCA
USES_BACKOFF
HAS_NAV
HAS_HIDDEN_NODE
HAS_MESH_NODE
HAS_MESH_LINK
HAS_MESH_PATH
HAS_CONFIGURATION
HAS_STATE
TRANSITIONS_TO
HAS_EVENT
HAS_FAILURE
HAS_TELEMETRY
DERIVED_FROM
INFERRED_FROM
HAS_EVIDENCE
HAS_CONFIDENCE
HAS_PROVENANCE
SEMANTICALLY_EQUIVALENT_TO
}

INPUTS {
WIRELESS_NETWORK_METADATA
ACCESS_POINT_METADATA
STATION_METADATA
WIRELESS_INTERFACE_DATA
SSID_AND_BSSID_DATA
RADIO_CONFIGURATION
FREQUENCY_AND_CHANNEL_DATA
CHANNEL_WIDTH_DATA
TRANSMIT_POWER_DATA
RSSI_AND_SNR_DATA
NOISE_AND_INTERFERENCE_DATA
ANTENNA_AND_MIMO_DATA
PHY_RATE_DATA
FRAME_CAPTURES
ASSOCIATION_DATA
AUTHENTICATION_DATA
ROAMING_DATA
SECURITY_CONFIGURATION
WPA_AND_EAP_DATA
RADIUS_DATA
VLAN_DATA
DHCP_AND_IP_DATA
CHANNEL_PLAN_DATA
QOS_AND_WMM_DATA
POWER_SAVE_DATA
RETRY_AND_ERROR_DATA
MESH_DATA
PERFORMANCE_METRICS
FAILURE_EVENTS
TELEMETRY
CONFIGURATION_DATA
ONTOLOGY_TERMS
}

NORMALISE {
STANDARDISE_WIRELESS_NETWORK_IDENTIFIERS
NORMALISE_ACCESS_POINT_IDENTIFIERS
NORMALISE_STATION_IDENTIFIERS
NORMALISE_INTERFACE_IDENTIFIERS
NORMALISE_SSIDS
NORMALISE_BSSIDS
NORMALISE_802_11_STANDARD_NAMES
NORMALISE_FREQUENCY_BANDS
NORMALISE_CHANNEL_IDENTIFIERS
NORMALISE_CHANNEL_WIDTHS
NORMALISE_POWER_UNITS
NORMALISE_RSSI_AND_SNR_UNITS
NORMALISE_SECURITY_MODES
NORMALISE_AUTHENTICATION_METHODS
NORMALISE_CIPHER_NAMES
NORMALISE_ROAMING_IDENTIFIERS
NORMALISE_QOS_TERMS
NORMALISE_PERFORMANCE_UNITS
RESOLVE_AP_STATION_RADIO_CHANNEL_AND_ASSOCIATION_IDENTITIES
ALIGN_ONTOLOGY_TERMS
REMOVE_DUPLICATES
VALIDATE_METADATA
PRESERVE_PROVENANCE
}

PROCESS WIRELESS_NETWORK_PIPELINE {
WIRELESS_REFERENCE
-> NETWORK_AP_AND_STATION_IDENTIFICATION
-> RADIO_BAND_CHANNEL_AND_SPECTRUM_MAPPING
-> SIGNAL_INTERFERENCE_AND_COVERAGE_ANALYSIS
-> DISCOVERY_AUTHENTICATION_AND_ASSOCIATION
-> SECURITY_AND_KEY_ESTABLISHMENT
-> DATA_TRANSFER_QOS_AND_POWER_ANALYSIS
-> ROAMING_MESH_AND_MOBILITY_ANALYSIS
-> PERFORMANCE_FAILURE_AND_STATE_ANALYSIS
-> VALIDATION
-> OUTPUT
}

PROCESS DISCOVERY_REASONING {
ACCESS_POINT -> BEACON_FRAME
STATION -> PROBE_REQUEST
ACCESS_POINT -> PROBE_RESPONSE
DISCOVERED_BSS -> SSID + BSSID + CAPABILITIES
}

PROCESS ASSOCIATION_REASONING {
STATION + ACCESS_POINT -> AUTHENTICATION_EXCHANGE
AUTHENTICATED_STATION -> ASSOCIATION_REQUEST
ACCESS_POINT -> ASSOCIATION_RESPONSE
SUCCESSFUL_ASSOCIATION -> ASSOCIATED_WIRELESS_STATE
}

PROCESS SECURITY_REASONING {
WIRELESS_NETWORK -> SECURITY_MODE
SECURITY_MODE -> AUTHENTICATION_AND_CIPHER_REQUIREMENTS
WPA2_PSK -> PSK + FOUR_WAY_HANDSHAKE
WPA3_PERSONAL -> SAE + KEY_DERIVATION
ENTERPRISE_SECURITY -> IEEE_802_1X + EAP + RADIUS
SUCCESSFUL_KEY_ESTABLISHMENT -> ENCRYPTED_DATA_EXCHANGE
}

PROCESS RADIO_REASONING {
RADIO -> FREQUENCY_BAND + CHANNEL + CHANNEL_WIDTH
TRANSMIT_POWER + PATH_AND_ENVIRONMENT -> RECEIVE_POWER
RECEIVE_POWER + NOISE_FLOOR -> SNR
RSSI + SNR + PHY_CAPABILITIES -> LINK_QUALITY_CONTEXT
}

PROCESS CHANNEL_REASONING {
AVAILABLE_CHANNELS -> REGULATORY_AND_CONFIGURATION_FILTER
CANDIDATE_CHANNELS -> INTERFERENCE_AND_UTILISATION_ANALYSIS
CHANNEL_SELECTION_POLICY -> SELECTED_CHANNEL
SELECTED_CHANNEL -> RADIO_CONFIGURATION
}

PROCESS MEDIUM_ACCESS_REASONING {
STATION -> CCA
BUSY_MEDIUM -> DEFER
IDLE_MEDIUM -> CONTENTION_BACKOFF
BACKOFF_EXPIRY -> FRAME_TRANSMISSION
MISSING_ACK_OR_FAILURE -> RETRY_IF_ALLOWED
}

PROCESS ROAMING_REASONING {
ASSOCIATED_STATION -> SIGNAL_AND_POLICY_MONITORING
ROAM_TRIGGER -> CANDIDATE_ACCESS_POINTS
CANDIDATE_ACCESS_POINTS -> ROAM_SELECTION
SELECTED_ACCESS_POINT -> REASSOCIATION_OR_HANDOFF
SUCCESSFUL_ROAM -> UPDATED_ASSOCIATION_STATE
}

PROCESS QOS_REASONING {
WIRELESS_TRAFFIC -> TRAFFIC_CLASS
TRAFFIC_CLASS -> WMM_ACCESS_CATEGORY
ACCESS_CATEGORY -> CONTENTION_AND_QUEUE_PARAMETERS
QUEUE_AND_MEDIUM_STATE -> TRANSMISSION_SCHEDULING
}

PROCESS MESH_REASONING {
MESH_NODE -> MESH_NEIGHBOUR_DISCOVERY
MESH_NEIGHBOURS -> MESH_LINK
SOURCE + DESTINATION -> MESH_PATH_SELECTION
LINK_CHANGE -> MESH_PATH_RECALCULATION
}

PROCESS PERFORMANCE_REASONING {
FRAME_COUNTERS -> RETRY_AND_ERROR_RATES
BYTES_DELIVERED_OVER_TIME -> THROUGHPUT
FRAME_TIMESTAMPS -> LATENCY_AND_JITTER
CHANNEL_BUSY_TIME -> AIRTIME_UTILISATION
RSSI + SNR + RETRIES + AIRTIME -> WIRELESS_PERFORMANCE_PROFILE
}

RULES {
IF WIRELESS_ENTITY_IS_IDENTIFIED
THEN PRESERVE AP_STATION_RADIO_CHANNEL_SECURITY_AND_TIME_CONTEXT

IF SIGNAL_STRENGTH_IS_ASSERTED
THEN PRESERVE MEASUREMENT_LOCATION_RADIO_CHANNEL_AND_TIME_CONTEXT

IF ASSOCIATION_IS_ASSERTED
THEN PRESERVE STATION_BSSID_AUTHENTICATION_AND_ASSOCIATION_STATE

IF SECURITY_IS_ASSERTED
THEN PRESERVE SECURITY_MODE_AUTHENTICATION_CIPHER_AND_KEY_CONTEXT

IF ROAMING_IS_ASSERTED
THEN PRESERVE SOURCE_AP_TARGET_AP_TRIGGER_AND_TIME_CONTEXT

IF PERFORMANCE_IS_ASSERTED
THEN PRESERVE CHANNEL_WIDTH_PHY_RATE_RSSI_SNR_INTERFERENCE_AIRTIME_AND_TRAFFIC_CONTEXT

IF SEMANTIC_IDENTIFIERS_DIFFER
AND WIRELESS_NETWORK_REFERENT_IS_SAME
THEN APPLY SEMANTIC_EQUIVALENCE
}

CONFIDENCE {
CONFIDENCE_SCORE =
WEIGHT(
WIRELESS_NETWORK_IDENTITY_CERTAINTY,
AP_AND_STATION_CERTAINTY,
RADIO_CHANNEL_AND_SIGNAL_EVIDENCE,
ASSOCIATION_AND_AUTHENTICATION_EVIDENCE,
SECURITY_CONFIGURATION_EVIDENCE,
ROAMING_AND_MOBILITY_EVIDENCE,
PERFORMANCE_AND_FAILURE_EVIDENCE,
PROVENANCE_COMPLETENESS
)

LEVELS {
HIGH
MODERATE
LOW
INSUFFICIENT
}

IF RSSI_SNR_OR_CHANNEL_DATA_IS_PARTIAL
THEN REDUCE_LINK_QUALITY_CONFIDENCE

IF OBSERVATION_LOCATION_OR_TIME_IS_UNKNOWN
THEN REDUCE_COVERAGE_AND_PERFORMANCE_CONFIDENCE
}

SEMANTIC_EQUIVALENCE {
EQUIVALENCE_KEY =
NORMALISE(
ENTITY_TYPE,
SSID,
BSSID,
AP_IDENTIFIER,
STATION_IDENTIFIER,
RADIO_IDENTIFIER,
CHANNEL,
OBSERVATION_TIME
)

IF EQUIVALENCE_KEY_A == EQUIVALENCE_KEY_B
THEN A SEMANTICALLY_EQUIVALENT_TO B
ELSE PRESERVE_DISTINCT_ENTITIES
}

REASONING_CONSTRAINTS {
WIRELESS_NETWORK != INTERNET
SSID != BSSID
ACCESS_POINT != WIRELESS_ROUTER_AS_IDENTICAL_CONCEPT
RADIO_FREQUENCY != CHANNEL
CHANNEL != CHANNEL_WIDTH
RSSI != SNR
SIGNAL_STRENGTH != THROUGHPUT
PHY_RATE != APPLICATION_THROUGHPUT
INTERFERENCE != NOISE_AS_IDENTICAL_CONCEPT
AUTHENTICATION != ASSOCIATION
ASSOCIATION != IP_ADDRESS_ASSIGNMENT
WPA2 != WPA3
PSK != SESSION_KEY
SAE != FOUR_WAY_HANDSHAKE_AS_IDENTICAL_CONCEPT
ROAMING != LOAD_BALANCING
VLAN != SSID
MIMO != BEAMFORMING
CSMA_CA != CSMA_CD
PACKET_LOSS != FRAME_RETRY_RATE
WIRELESS_STATE_DEPENDS_ON_LOCATION_TIME_RADIO_CHANNEL_SECURITY_AND_CONFIGURATION
PROVENANCE_MUST_BE_PRESERVED
UNCERTAINTY_MUST_NOT_BE_DISCARDED
}

VALIDATION {
CHECK_ENTITY_TYPES
CHECK_RELATION_DOMAINS_AND_RANGES
CHECK_AP_AND_STATION_IDENTIFIERS
CHECK_SSID_AND_BSSID
CHECK_RADIO_CONFIGURATION
CHECK_FREQUENCY_BAND
CHECK_CHANNEL_AND_WIDTH
CHECK_TRANSMIT_POWER
CHECK_RSSI_AND_SNR
CHECK_INTERFERENCE
CHECK_FRAME_TYPES
CHECK_DISCOVERY
CHECK_AUTHENTICATION
CHECK_ASSOCIATION
CHECK_SECURITY_MODE
CHECK_KEY_ESTABLISHMENT
CHECK_VLAN_AND_IP_CONTEXT
CHECK_CHANNEL_SELECTION
CHECK_MEDIUM_ACCESS
CHECK_QOS_AND_WMM
CHECK_POWER_SAVE
CHECK_ROAMING
CHECK_MESH_RELATIONS
CHECK_RETRY_AND_ERROR_RATES
CHECK_PERFORMANCE_METRICS
CHECK_FAILURES
CHECK_CONFIGURATION
CHECK_PROVENANCE
CHECK_CONFIDENCE
CHECK_SEMANTIC_CONSISTENCY
}

OUTPUTS {
NORMALISED_WIRELESS_NETWORK_ENTITIES
AP_AND_STATION_RELATIONS
SSID_BSSID_AND_BSS_RELATIONS
RADIO_BAND_AND_CHANNEL_RELATIONS
SIGNAL_AND_INTERFERENCE_RELATIONS
DISCOVERY_RELATIONS
AUTHENTICATION_AND_ASSOCIATION_RELATIONS
SECURITY_AND_KEY_RELATIONS
MEDIUM_ACCESS_RELATIONS
VLAN_AND_IP_RELATIONS
CHANNEL_SELECTION_RELATIONS
QOS_AND_WMM_RELATIONS
POWER_SAVE_RELATIONS
ROAMING_RELATIONS
MESH_RELATIONS
PERFORMANCE_RELATIONS
FAILURE_RELATIONS
WIRELESS_STATE_TRANSITIONS
CONFIDENCE_SCORES
EVIDENCE_LINKS
PROVENANCE_RECORDS
EXPLANATION_PATHS
}

UPDATE_MODEL {
ON RADIO_CHANNEL_SECURITY_OR_CONFIGURATION_CHANGE {
NORMALISE
RESOLVE_AP_STATION_RADIO_CHANNEL_AND_ASSOCIATION_IDENTITIES
UPDATE_RADIO_AND_CHANNEL_RELATIONS
UPDATE_SECURITY_AND_ASSOCIATION_CONTEXT
UPDATE_COVERAGE_AND_INTERFERENCE_CONTEXT
UPDATE_CONFIDENCE
PRESERVE_VERSION_HISTORY
}

ON NEW_FRAME_ROAMING_PERFORMANCE_OR_FAILURE_EVIDENCE {
LINK_EVIDENCE
UPDATE_WIRELESS_STATE
UPDATE_ASSOCIATION_AND_ROAMING_RELATIONS
UPDATE_SIGNAL_AND_PERFORMANCE_PROFILE
UPDATE_FAILURE_RELATIONS
UPDATE_CONFIDENCE
RECORD_PROVENANCE
}
}

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_WIRELESS_NETWORK
BY_ACCESS_POINT
BY_STATION
BY_SSID
BY_BSSID
BY_RADIO
BY_CHANNEL
BY_ASSOCIATION
BY_SECURITY_MODE
BY_ROAMING_EVENT
BY_WIRELESS_STATE
BY_CONFIDENCE
}

REASON {
APPLY_RELATIONSHIPS
APPLY_RULES
ANALYSE_WIRELESS_DISCOVERY
ANALYSE_ASSOCIATION
ANALYSE_WIRELESS_SECURITY
ANALYSE_RADIO_LINKS
ANALYSE_CHANNEL_SELECTION
ANALYSE_MEDIUM_ACCESS
ANALYSE_ROAMING
ANALYSE_QOS
ANALYSE_MESH_NETWORKS
ANALYSE_WIRELESS_PERFORMANCE
CHECK_SEMANTIC_EQUIVALENCE
PRESERVE_UNCERTAINTY
TRACE_EVIDENCE
TRACE_PROVENANCE
GENERATE_EXPLANATION_PATH
}

RESPONSE_POLICY {
DISTINGUISH_WIRELESS_NETWORK_AP_STATION_RADIO_SSID_AND_BSSID
PRESERVE_LOCATION_TIME_RADIO_CHANNEL_SECURITY_ASSOCIATION_AND_CONFIGURATION_CONTEXT
DISTINGUISH_AUTHENTICATION_ASSOCIATION_ROAMING_AND_IP_ASSIGNMENT
DISTINGUISH_RSSI_SNR_PHY_RATE_THROUGHPUT_AND_PACKET_LOSS
PRESERVE_INTERFERENCE_SECURITY_PERFORMANCE_AND_PROVENANCE_CONTEXT
RETURN_CONFIDENCE_WHEN_AVAILABLE
RETURN_PROVENANCE_WHEN_AVAILABLE
AVOID_UNSUPPORTED_WIRELESS_NETWORK_INFERENCE
}
}

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

END FLOW