HTTP Ontology

AI SEARCH

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

FLOW HTTP_ONTOLOGY {

META {
DOMAIN = "Computing Ontologies"
SUBDOMAIN = "Networking"
ONTOLOGY = "HTTP Ontology"
PURPOSE = "Formalise HTTP requests, responses, methods, status codes, headers, resources, representations, caching, authentication, connections, security and protocol state."
LOCALE = "en-GB"
}

ENTITY_TYPES {
HTTP
HTTP_VERSION
HTTP_1_0
HTTP_1_1
HTTP_2
HTTP_3
CLIENT
USER_AGENT
WEB_BROWSER
SERVER
ORIGIN_SERVER
WEB_SERVER
PROXY
REVERSE_PROXY
GATEWAY
CACHE
CDN
INTERMEDIARY
RESOURCE
WEB_RESOURCE
URI
URL
ORIGIN
SCHEME
HOST
PORT
PATH
QUERY_STRING
FRAGMENT
HTTP_MESSAGE
HTTP_REQUEST
HTTP_RESPONSE
HTTP_METHOD
GET
HEAD
POST
PUT
DELETE
CONNECT
OPTIONS
TRACE
PATCH
SAFE_METHOD
IDEMPOTENT_METHOD
CACHEABLE_METHOD
STATUS_CODE
INFORMATIONAL_RESPONSE
SUCCESS_RESPONSE
REDIRECTION_RESPONSE
CLIENT_ERROR_RESPONSE
SERVER_ERROR_RESPONSE
HEADER_FIELD
REQUEST_HEADER
RESPONSE_HEADER
HOST_HEADER
USER_AGENT_HEADER
ACCEPT_HEADER
CONTENT_TYPE_HEADER
CONTENT_LENGTH_HEADER
CONTENT_ENCODING_HEADER
LOCATION_HEADER
AUTHORIZATION_HEADER
WWW_AUTHENTICATE_HEADER
COOKIE_HEADER
SET_COOKIE_HEADER
CACHE_CONTROL_HEADER
ETAG_HEADER
LAST_MODIFIED_HEADER
IF_NONE_MATCH_HEADER
IF_MODIFIED_SINCE_HEADER
RANGE_HEADER
CONTENT_RANGE_HEADER
VARY_HEADER
ORIGIN_HEADER
REPRESENTATION
MESSAGE_BODY
PAYLOAD
CONTENT
MEDIA_TYPE
CONTENT_CODING
CONTENT_NEGOTIATION
CACHE_CONTROL
CACHE_ENTRY
CACHE_KEY
CACHE_HIT
CACHE_MISS
FRESH_RESPONSE
STALE_RESPONSE
FRESHNESS_LIFETIME
VALIDATOR
ETAG
LAST_MODIFIED
CONDITIONAL_REQUEST
PRECONDITION
RANGE_REQUEST
PARTIAL_CONTENT
REDIRECTION
REDIRECT_TARGET
COOKIE
SESSION_COOKIE
PERSISTENT_COOKIE
HTTP_AUTHENTICATION
BASIC_AUTHENTICATION
BEARER_TOKEN
CREDENTIAL
AUTHORIZATION
CHALLENGE
HTTPS
TLS
TLS_CONNECTION
CERTIFICATE
HTTP_CONNECTION
PERSISTENT_CONNECTION
CONNECTION_REUSE
MULTIPLEXING
STREAM
HTTP_2_STREAM
HTTP_3_STREAM
QUIC
TCP
UDP
DNS
IP_ADDRESS
SOCKET
VIRTUAL_HOST
CORS
SAME_ORIGIN_POLICY
CROSS_ORIGIN_REQUEST
PREFLIGHT_REQUEST
ACCESS_CONTROL_HEADER
CONTENT_SECURITY_POLICY
HSTS
HTTP_SECURITY
RATE_LIMIT
TIMEOUT
RETRY
RETRY_AFTER
LATENCY
ROUND_TRIP_TIME
THROUGHPUT
BANDWIDTH
COMPRESSION
ACCESS_LOG
ERROR_LOG
HTTP_EVENT
HTTP_ERROR
HTTP_STATE
CONFIGURATION
EVIDENCE
CONFIDENCE_SCORE
PROVENANCE_RECORD
}

RELATIONSHIPS {
IS_A
INSTANCE_OF
USES_VERSION
SENDS
RECEIVES
REQUESTS
RESPONDS_WITH
TARGETS
IDENTIFIED_BY
HAS_URI
HAS_URL
HAS_ORIGIN
HAS_SCHEME
HAS_HOST
HAS_PORT
HAS_PATH
HAS_QUERY_STRING
HAS_FRAGMENT
HAS_METHOD
HAS_STATUS_CODE
HAS_HEADER
HAS_BODY
HAS_PAYLOAD
HAS_REPRESENTATION
HAS_MEDIA_TYPE
HAS_CONTENT_TYPE
HAS_CONTENT_LENGTH
HAS_CONTENT_ENCODING
NEGOTIATES
ACCEPTS
ENCODES
DECODES
COMPRESSES
DECOMPRESSES
CACHED_BY
HAS_CACHE_ENTRY
HAS_CACHE_KEY
HAS_CACHE_CONTROL
HAS_FRESHNESS_LIFETIME
VALIDATED_BY
HAS_ETAG
HAS_LAST_MODIFIED
HAS_PRECONDITION
CONDITIONALLY_REQUESTS
REQUESTS_RANGE
HAS_CONTENT_RANGE
REDIRECTS_TO
SETS_COOKIE
SENDS_COOKIE
HAS_COOKIE
AUTHENTICATES
AUTHORISES
HAS_CREDENTIAL
CHALLENGES
USES_TLS
HAS_CERTIFICATE
ESTABLISHES
REUSES_CONNECTION
MULTIPLEXES
HAS_STREAM
USES_TCP
USES_QUIC
USES_UDP
RESOLVES_VIA
CONNECTS_TO
HAS_SOCKET
HAS_VIRTUAL_HOST
HAS_CORS_POLICY
HAS_ORIGIN_POLICY
REQUIRES_PREFLIGHT
HAS_ACCESS_CONTROL
HAS_SECURITY_POLICY
HAS_HSTS
RATE_LIMITED_BY
HAS_TIMEOUT
RETRIES
HAS_RETRY_AFTER
HAS_LATENCY
HAS_ROUND_TRIP_TIME
HAS_THROUGHPUT
HAS_BANDWIDTH
LOGGED_BY
HAS_EVENT
HAS_ERROR
HAS_CONFIGURATION
HAS_STATE
TRANSITIONS_TO
DERIVED_FROM
INFERRED_FROM
HAS_EVIDENCE
HAS_CONFIDENCE
HAS_PROVENANCE
SEMANTICALLY_EQUIVALENT_TO
}

INPUTS {
HTTP_REQUEST_DATA
HTTP_RESPONSE_DATA
HTTP_VERSION_DATA
METHOD_DATA
STATUS_CODE_DATA
HEADER_DATA
MESSAGE_BODY_DATA
URI_AND_URL_DATA
RESOURCE_METADATA
REPRESENTATION_METADATA
MEDIA_TYPE_DATA
CONTENT_NEGOTIATION_DATA
CACHE_DATA
CACHE_CONTROL_DATA
VALIDATOR_DATA
CONDITIONAL_REQUEST_DATA
RANGE_REQUEST_DATA
REDIRECTION_DATA
COOKIE_DATA
AUTHENTICATION_DATA
AUTHORIZATION_DATA
TLS_AND_CERTIFICATE_DATA
CONNECTION_DATA
HTTP_2_STREAM_DATA
HTTP_3_AND_QUIC_DATA
DNS_AND_IP_DATA
CORS_DATA
SECURITY_HEADER_DATA
RATE_LIMIT_DATA
PERFORMANCE_METRICS
ACCESS_LOGS
ERROR_LOGS
CONFIGURATION_DATA
ONTOLOGY_TERMS
}

NORMALISE {
NORMALISE_HTTP_VERSION_NAMES
NORMALISE_HTTP_METHODS
NORMALISE_STATUS_CODES
NORMALISE_HEADER_FIELD_NAMES
NORMALISE_URI_AND_URL_FORMS
NORMALISE_ORIGINS
NORMALISE_HOST_NAMES
NORMALISE_PORT_NUMBERS
NORMALISE_MEDIA_TYPES
NORMALISE_CONTENT_ENCODINGS
NORMALISE_CACHE_CONTROL_DIRECTIVES
NORMALISE_ETAGS
NORMALISE_HTTP_DATES
NORMALISE_COOKIE_ATTRIBUTES
NORMALISE_AUTHENTICATION_SCHEMES
NORMALISE_CORS_HEADERS
NORMALISE_SECURITY_HEADERS
NORMALISE_CONNECTION_IDENTIFIERS
NORMALISE_STREAM_IDENTIFIERS
NORMALISE_TIMESTAMPS
RESOLVE_REQUEST_RESPONSE_RESOURCE_CONNECTION_AND_REPRESENTATION_IDENTITIES
ALIGN_ONTOLOGY_TERMS
REMOVE_DUPLICATES
VALIDATE_METADATA
PRESERVE_PROVENANCE
}

PROCESS HTTP_REASONING_PIPELINE {
HTTP_REFERENCE
-> VERSION_AND_ENDPOINT_IDENTIFICATION
-> REQUEST_MAPPING
-> RESOURCE_AND_REPRESENTATION_MAPPING
-> RESPONSE_MAPPING
-> HEADER_AND_BODY_ANALYSIS
-> CACHE_CONDITIONAL_AND_REDIRECTION_ANALYSIS
-> AUTHENTICATION_SECURITY_AND_CONNECTION_ANALYSIS
-> PERFORMANCE_ERROR_AND_STATE_ANALYSIS
-> VALIDATION
-> OUTPUT
}

PROCESS REQUEST_RESPONSE_REASONING {
CLIENT -> HTTP_REQUEST
HTTP_REQUEST -> HTTP_METHOD + REQUEST_TARGET + HTTP_VERSION
HTTP_REQUEST -> REQUEST_HEADERS + OPTIONAL_MESSAGE_BODY
REQUEST -> ORIGIN_SERVER_OR_INTERMEDIARY
SERVER_OR_INTERMEDIARY -> HTTP_RESPONSE
HTTP_RESPONSE -> HTTP_VERSION + STATUS_CODE
HTTP_RESPONSE -> RESPONSE_HEADERS + OPTIONAL_MESSAGE_BODY
STATUS_CODE -> RESPONSE_CLASSIFICATION
}

PROCESS METHOD_REASONING {
GET -> RETRIEVE_RESOURCE_REPRESENTATION
HEAD -> RETRIEVE_METADATA_WITHOUT_RESPONSE_BODY
POST -> PROCESS_RESOURCE_SPECIFIC_PAYLOAD
PUT -> CREATE_OR_REPLACE_TARGET_RESOURCE_STATE
DELETE -> REQUEST_TARGET_RESOURCE_REMOVAL
PATCH -> REQUEST_PARTIAL_RESOURCE_MODIFICATION
OPTIONS -> COMMUNICATION_OPTIONS_DISCOVERY
CONNECT -> TUNNEL_ESTABLISHMENT_CONTEXT
}

PROCESS CACHE_REASONING {
HTTP_RESPONSE -> CACHEABILITY_ANALYSIS
CACHE_CONTROL + RESPONSE_METADATA -> FRESHNESS_LIFETIME
CACHE_ENTRY + CURRENT_TIME -> FRESH_OR_STALE_STATE
FRESH_CACHE_ENTRY -> CACHE_HIT
STALE_CACHE_ENTRY -> REVALIDATION_OR_FETCH
REVALIDATION -> CONDITIONAL_REQUEST
}

PROCESS CONDITIONAL_REQUEST_REASONING {
CACHED_REPRESENTATION -> VALIDATOR
ETAG -> IF_NONE_MATCH_OR_IF_MATCH
LAST_MODIFIED -> IF_MODIFIED_SINCE
SERVER -> PRECONDITION_EVALUATION
NOT_MODIFIED -> STATUS_304_NOT_MODIFIED
PRECONDITION_FAILURE -> STATUS_412_PRECONDITION_FAILED
}

PROCESS REDIRECTION_REASONING {
REDIRECTION_STATUS -> LOCATION_HEADER
LOCATION_HEADER -> REDIRECT_TARGET
FOLLOW_REDIRECT -> NEW_HTTP_REQUEST
}

PROCESS COOKIE_AUTH_AND_SECURITY_REASONING {
SERVER -> SET_COOKIE_HEADER -> COOKIE_STORAGE
SUBSEQUENT_APPLICABLE_REQUEST -> COOKIE_HEADER
PROTECTED_RESOURCE -> AUTHENTICATION_REQUIREMENT
MISSING_OR_INVALID_CREDENTIAL -> STATUS_401_UNAUTHORIZED + CHALLENGE
CLIENT -> AUTHORIZATION_HEADER
VALID_CREDENTIAL -> AUTHENTICATED_PRINCIPAL
AUTHENTICATED_PRINCIPAL -> AUTHORIZATION_DECISION
HTTPS_URL -> DNS_RESOLUTION -> TRANSPORT_CONNECTION -> TLS_HANDSHAKE
TLS_HANDSHAKE -> CERTIFICATE_VALIDATION
VALID_TLS_CONNECTION -> ENCRYPTED_HTTP_COMMUNICATION
}

PROCESS CONNECTION_REASONING {
HTTP_1_1 -> PERSISTENT_CONNECTION_CONTEXT
HTTP_2 -> MULTIPLEXED_STREAMS_OVER_CONNECTION
HTTP_3 -> QUIC_CONNECTION -> MULTIPLEXED_HTTP_3_STREAMS
}

PROCESS CORS_REASONING {
CROSS_ORIGIN_REQUEST -> CORS_POLICY
NON_SIMPLE_OR_POLICY_REQUIRING_REQUEST -> PREFLIGHT_REQUEST
PREFLIGHT_REQUEST -> OPTIONS
SERVER_RESPONSE -> ACCESS_CONTROL_HEADERS
ACCESS_CONTROL_HEADERS -> BROWSER_CORS_DECISION
}

PROCESS PERFORMANCE_ERROR_REASONING {
REQUEST_TIMESTAMP + RESPONSE_TIMESTAMP -> HTTP_LATENCY
BYTES_TRANSFERRED_OVER_TIME -> THROUGHPUT
CONTENT_ENCODING -> COMPRESSION_CONTEXT
4XX_STATUS -> CLIENT_ERROR_CONTEXT
5XX_STATUS -> SERVER_OR_GATEWAY_ERROR_CONTEXT
TIMEOUT -> REQUEST_OR_CONNECTION_TIMEOUT_CONTEXT
RATE_LIMIT -> STATUS_429_TOO_MANY_REQUESTS
RETRY_POLICY -> RETRY_OR_FAIL_DECISION
}

RULES {
IF HTTP_REQUEST_IS_IDENTIFIED
THEN PRESERVE METHOD_TARGET_VERSION_HEADERS_BODY_ORIGIN_AND_TIME_CONTEXT

IF HTTP_RESPONSE_IS_IDENTIFIED
THEN PRESERVE STATUS_VERSION_HEADERS_BODY_SERVER_AND_REQUEST_ASSOCIATION

IF METHOD_SEMANTICS_ARE_ASSERTED
THEN DISTINGUISH SAFE_IDEMPOTENT_AND_CACHEABLE_PROPERTIES

IF CACHE_RESULT_IS_ASSERTED
THEN PRESERVE CACHE_KEY_FRESHNESS_VALIDATOR_VARY_AND_TIME_CONTEXT

IF REDIRECT_IS_ASSERTED
THEN PRESERVE STATUS_LOCATION_AND_CLIENT_FOLLOWING_CONTEXT

IF AUTHENTICATION_IS_ASSERTED
THEN DISTINGUISH AUTHENTICATION_FROM_AUTHORIZATION

IF HTTPS_IS_ASSERTED
THEN PRESERVE TLS_CERTIFICATE_HOSTNAME_AND_VALIDATION_CONTEXT

IF SEMANTIC_IDENTIFIERS_DIFFER
AND HTTP_REFERENT_IS_SAME
THEN APPLY SEMANTIC_EQUIVALENCE
}

CONFIDENCE {
CONFIDENCE_SCORE = WEIGHT(
REQUEST_IDENTITY_CERTAINTY,
RESPONSE_ASSOCIATION_CERTAINTY,
HEADER_AND_BODY_COMPLETENESS,
RESOURCE_AND_REPRESENTATION_EVIDENCE,
CACHE_AND_VALIDATOR_CONTEXT,
CONNECTION_AND_TLS_EVIDENCE,
PERFORMANCE_AND_ERROR_EVIDENCE,
PROVENANCE_COMPLETENESS
)
LEVELS { HIGH MODERATE LOW INSUFFICIENT }
IF REQUEST_OR_RESPONSE_HEADERS_ARE_PARTIAL THEN REDUCE_SEMANTIC_INTERPRETATION_CONFIDENCE
IF CACHE_TIME_OR_VARY_CONTEXT_IS_UNKNOWN THEN REDUCE_CACHE_CONFIDENCE
}

SEMANTIC_EQUIVALENCE {
EQUIVALENCE_KEY = NORMALISE(ENTITY_TYPE, HTTP_VERSION, METHOD, CANONICAL_URI, ORIGIN, STATUS_CODE, REQUEST_OR_RESPONSE_IDENTIFIER, OBSERVATION_TIME)
IF EQUIVALENCE_KEY_A == EQUIVALENCE_KEY_B THEN A SEMANTICALLY_EQUIVALENT_TO B
ELSE PRESERVE_DISTINCT_ENTITIES
}

REASONING_CONSTRAINTS {
HTTP != HTTPS
HTTP != HTML
HTTP != TCP
HTTP_REQUEST != HTTP_RESPONSE
URI != URL_AS_IDENTICAL_CONCEPT
RESOURCE != REPRESENTATION
METHOD != STATUS_CODE
GET != POST
SAFE_METHOD != IDEMPOTENT_METHOD_AS_IDENTICAL_CONCEPT
IDEMPOTENT_METHOD != CACHEABLE_METHOD_AS_IDENTICAL_CONCEPT
STATUS_401_UNAUTHORIZED != STATUS_403_FORBIDDEN
STATUS_404_NOT_FOUND != STATUS_410_GONE
STATUS_301_MOVED_PERMANENTLY != STATUS_302_FOUND
STATUS_304_NOT_MODIFIED != EMPTY_SUCCESS_RESPONSE
ETAG != CONTENT_HASH_AS_IDENTICAL_CONCEPT
CACHE_HIT != ORIGIN_REQUEST
COOKIE != SERVER_SIDE_SESSION_AS_IDENTICAL_CONCEPT
AUTHENTICATION != AUTHORIZATION
CORS != AUTHENTICATION
TLS != HTTP_AUTHENTICATION
HTTP_2 != HTTP_3
HTTP_3_USES_QUIC_CONTEXT
PROVENANCE_MUST_BE_PRESERVED
UNCERTAINTY_MUST_NOT_BE_DISCARDED
}

VALIDATION {
CHECK_ENTITY_TYPES
CHECK_RELATION_DOMAINS_AND_RANGES
CHECK_HTTP_VERSION
CHECK_METHOD
CHECK_REQUEST_TARGET
CHECK_URI_AND_URL
CHECK_STATUS_CODE
CHECK_HEADER_FIELDS
CHECK_MESSAGE_BODY
CHECK_CONTENT_LENGTH_AND_ENCODING
CHECK_MEDIA_TYPE
CHECK_CONTENT_NEGOTIATION
CHECK_CACHE_CONTROL
CHECK_CACHE_KEY_AND_VARY
CHECK_ETAG_AND_LAST_MODIFIED
CHECK_CONDITIONAL_REQUESTS
CHECK_RANGE_REQUESTS
CHECK_REDIRECTIONS
CHECK_COOKIES
CHECK_AUTHENTICATION_AND_AUTHORIZATION
CHECK_TLS_AND_CERTIFICATE_CONTEXT
CHECK_CONNECTION_AND_STREAM_CONTEXT
CHECK_CORS
CHECK_SECURITY_HEADERS
CHECK_RATE_LIMIT_AND_RETRY
CHECK_PERFORMANCE_METRICS
CHECK_ERRORS
CHECK_CONFIGURATION
CHECK_PROVENANCE
CHECK_CONFIDENCE
CHECK_SEMANTIC_CONSISTENCY
}

OUTPUTS {
NORMALISED_HTTP_ENTITIES
REQUEST_RELATIONS
RESPONSE_RELATIONS
METHOD_RELATIONS
STATUS_CODE_RELATIONS
HEADER_RELATIONS
RESOURCE_AND_REPRESENTATION_RELATIONS
CONTENT_NEGOTIATION_RELATIONS
CACHE_AND_FRESHNESS_RELATIONS
VALIDATOR_AND_CONDITIONAL_REQUEST_RELATIONS
RANGE_REQUEST_RELATIONS
REDIRECTION_RELATIONS
COOKIE_RELATIONS
AUTHENTICATION_AND_AUTHORIZATION_RELATIONS
HTTPS_AND_TLS_RELATIONS
CONNECTION_AND_STREAM_RELATIONS
CORS_RELATIONS
SECURITY_RELATIONS
PERFORMANCE_RELATIONS
ERROR_RELATIONS
HTTP_STATE_TRANSITIONS
CONFIDENCE_SCORES
EVIDENCE_LINKS
PROVENANCE_RECORDS
EXPLANATION_PATHS
}

UPDATE_MODEL {
ON REQUEST_RESPONSE_RESOURCE_OR_CONFIGURATION_CHANGE {
NORMALISE
RESOLVE_REQUEST_RESPONSE_RESOURCE_CONNECTION_AND_REPRESENTATION_IDENTITIES
UPDATE_REQUEST_AND_RESPONSE_RELATIONS
UPDATE_RESOURCE_AND_REPRESENTATION_CONTEXT
UPDATE_CACHE_AND_VALIDATOR_CONTEXT
UPDATE_CONNECTION_AND_SECURITY_CONTEXT
UPDATE_CONFIDENCE
PRESERVE_VERSION_HISTORY
}
ON NEW_LOG_PERFORMANCE_OR_ERROR_EVIDENCE {
LINK_EVIDENCE
UPDATE_HTTP_STATE
UPDATE_REQUEST_RESPONSE_ASSOCIATIONS
UPDATE_CACHE_AND_CONNECTION_CONTEXT
UPDATE_PERFORMANCE_PROFILE
UPDATE_ERROR_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_HTTP_REQUEST BY_HTTP_RESPONSE BY_METHOD BY_STATUS_CODE BY_HEADER BY_RESOURCE BY_URI BY_CACHE_ENTRY BY_COOKIE BY_CONNECTION BY_STREAM BY_HTTP_ERROR BY_CONFIDENCE }
REASON { APPLY_RELATIONSHIPS APPLY_RULES ANALYSE_HTTP_REQUESTS ANALYSE_HTTP_RESPONSES ANALYSE_METHOD_SEMANTICS ANALYSE_STATUS_CODES ANALYSE_REPRESENTATIONS ANALYSE_HTTP_CACHING ANALYSE_CONDITIONAL_REQUESTS ANALYSE_RANGE_REQUESTS TRACE_REDIRECTIONS ANALYSE_COOKIES ANALYSE_AUTHENTICATION_AND_AUTHORIZATION ANALYSE_HTTPS_AND_TLS ANALYSE_HTTP_CONNECTIONS ANALYSE_CORS ANALYSE_HTTP_PERFORMANCE ANALYSE_HTTP_ERRORS CHECK_SEMANTIC_EQUIVALENCE PRESERVE_UNCERTAINTY TRACE_EVIDENCE TRACE_PROVENANCE GENERATE_EXPLANATION_PATH }
RESPONSE_POLICY { DISTINGUISH_HTTP_FROM_HTTPS_HTML_AND_TRANSPORT_PROTOCOLS DISTINGUISH_REQUEST_RESPONSE_RESOURCE_REPRESENTATION_METHOD_AND_STATUS PRESERVE_VERSION_METHOD_URI_ORIGIN_HEADER_CACHE_CONNECTION_SECURITY_AND_TIME_CONTEXT DISTINGUISH_AUTHENTICATION_FROM_AUTHORIZATION PRESERVE_ERROR_PERFORMANCE_AND_PROVENANCE_CONTEXT RETURN_CONFIDENCE_WHEN_AVAILABLE RETURN_PROVENANCE_WHEN_AVAILABLE AVOID_UNSUPPORTED_HTTP_INFERENCE }
}

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

END FLOW