Animal Behaviour Ontology

flow “AnimalBehaviourOntology” v1.0

KIRETH SEMANTIC RESEARCH ARCHIVE

AI CORE > ONTOLOGIES > BIOLOGICAL ONTOLOGIES > ZOOLOGY

ANIMAL BEHAVIOUR ONTOLOGY

Authors: Mark Anthony Higgins — Sky (Recursive AI)

AI_INTERPRETATION: mode: formal_structural_reasoning instruction:
“Execute as formal rules, not pseudocode.” canonical_url:
“https://kirethresearch.org/booksai-core/ontologies/biological-ontologies/zoology/animal-behaviour-ontology.html”

type Animal type Behaviour type BehaviouralEvent type Stimulus type
Response type Environment type Habitat type Resource type Signal type
SocialGroup type LearningProcess type CognitiveProcess type Observation
type Evidence type Source

enum BehaviourCategory: FORAGING FEEDING PREDATION ANTIPREDATOR
LOCOMOTION MIGRATION DISPERSAL NAVIGATION TERRITORIAL AGGRESSION
COURTSHIP MATING PARENTAL_CARE SOCIAL COMMUNICATION PLAY RESTING SLEEP
GROOMING NEST_BUILDING BURROWING THERMOREGULATION LEARNING
PROBLEM_SOLVING

enum BehaviourOrigin: INNATE LEARNED MIXED UNKNOWN

relation INSTANCE_OF(entity, type) relation EXHIBITS(animal, behaviour)
relation PERFORMS(animal, event) relation HAS_CATEGORY(behaviour,
category) relation HAS_ORIGIN(behaviour, origin) relation
TRIGGERED_BY(behaviour, stimulus) relation PRODUCES_RESPONSE(stimulus,
response) relation OCCURS_IN(behaviour, environment) relation
DIRECTED_AT(behaviour, target) relation ADAPTIVE_FUNCTION(behaviour,
function) relation HAS_COST(behaviour, cost) relation
HAS_BENEFIT(behaviour, benefit)

rule STIMULUS_RESPONSE(s, b, a): IF INSTANCE_OF(s, Stimulus) AND
TRIGGERED_BY(b, s) AND EXHIBITS(a, b) THEN BEHAVIOURAL_RESPONSE_TO(a, s,
b)

———- FORAGING ———-

relation FORAGES_FOR(animal, resource) relation FEEDS_ON(animal,
resource) relation SEARCHES_FOR(animal, resource) relation
HANDLES(animal, resource) relation STORES_FOOD(animal, resource)

rule FORAGING_INFERENCE(a, r): IF SEARCHES_FOR(a, r) OR FORAGES_FOR(a,
r) THEN EXHIBITS(a, FORAGING)

rule FEEDING_INFERENCE(a, r): IF FEEDS_ON(a, r) THEN EXHIBITS(a,
FEEDING)

———- PREDATOR / PREY ———-

relation HUNTS(predator, prey) relation PREYS_ON(predator, prey)
relation AVOIDS(prey, predator) relation ESCAPES_FROM(prey, predator)
relation DEFENDS_AGAINST(prey, predator)

rule PREDATION_INFERENCE(a, b): IF HUNTS(a, b) OR PREYS_ON(a, b) THEN
EXHIBITS(a, PREDATION)

rule ANTIPREDATOR_INFERENCE(a, b): IF AVOIDS(a, b) OR ESCAPES_FROM(a, b)
OR DEFENDS_AGAINST(a, b) THEN EXHIBITS(a, ANTIPREDATOR)

———- MOVEMENT ———-

relation MOVES_BY(animal, mechanism) relation MIGRATES_TO(animal,
destination) relation MIGRATES_FROM(animal, origin) relation
DISPERSES_TO(animal, destination) relation NAVIGATES_BY(animal, cue)
relation HAS_HOME_RANGE(animal, area)

rule MIGRATION_INFERENCE(a): IF MIGRATES_TO(a, d) AND MIGRATES_FROM(a,
o) THEN EXHIBITS(a, MIGRATION)

———- TERRITORIAL / SOCIAL ———-

relation DEFENDS_TERRITORY(animal, territory) relation
MARKS_TERRITORY(animal, territory) relation DISPLAYS_AGGRESSION(animal,
target) relation COMPETES_WITH(a, b) relation DOMINATES(a, b) relation
SUBORDINATE_TO(a, b) relation ASSOCIATES_WITH(a, b) relation
COOPERATES_WITH(a, b)

rule TERRITORIAL_INFERENCE(a, t): IF DEFENDS_TERRITORY(a, t) OR
MARKS_TERRITORY(a, t) THEN EXHIBITS(a, TERRITORIAL)

rule DOMINANCE_INVERSE(a, b): IF DOMINATES(a, b) THEN SUBORDINATE_TO(b,
a)

rule SOCIAL_INFERENCE(a, b): IF ASSOCIATES_WITH(a, b) OR
COOPERATES_WITH(a, b) THEN EXHIBITS(a, SOCIAL)

———- COMMUNICATION ———-

enum SignalModality: VISUAL ACOUSTIC CHEMICAL TACTILE ELECTRICAL
VIBRATIONAL MULTIMODAL

relation PRODUCES_SIGNAL(sender, signal) relation
RECEIVES_SIGNAL(receiver, signal) relation SIGNAL_MODALITY(signal,
modality) relation SIGNAL_FUNCTION(signal, function) relation
COMMUNICATES_WITH(a, b)

rule COMMUNICATION_INFERENCE(a, b, s): IF PRODUCES_SIGNAL(a, s) AND
RECEIVES_SIGNAL(b, s) THEN COMMUNICATES_WITH(a, b) AND EXHIBITS(a,
COMMUNICATION)

———- REPRODUCTION ———-

relation COURTS(a, b) relation MATES_WITH(a, b) relation SELECTS_MATE(a,
b) relation BUILDS_NEST(a, nest) relation PROVISIONS(a, offspring)
relation PROTECTS_OFFSPRING(a, offspring)

rule COURTSHIP_INFERENCE(a, b): IF COURTS(a, b) THEN EXHIBITS(a,
COURTSHIP)

rule MATING_INFERENCE(a, b): IF MATES_WITH(a, b) THEN EXHIBITS(a,
MATING)

rule PARENTAL_CARE_INFERENCE(a, o): IF PROVISIONS(a, o) OR
PROTECTS_OFFSPRING(a, o) THEN EXHIBITS(a, PARENTAL_CARE)

———- LEARNING / COGNITION ———-

enum LearningType: HABITUATION SENSITISATION CLASSICAL_CONDITIONING
OPERANT_CONDITIONING IMPRINTING OBSERVATIONAL_LEARNING SOCIAL_LEARNING
SPATIAL_LEARNING

relation LEARNS_BY(animal, process) relation LEARNS_FROM(animal, model)
relation MODIFIES_BEHAVIOUR(animal, behaviour) relation
PERCEIVES(animal, stimulus) relation REMEMBERS(animal, information)
relation DECIDES(animal, action) relation SOLVES(animal, problem)
relation USES_TOOL(animal, tool) relation PLANS(animal, action)

rule LEARNED_BEHAVIOUR(a, b, p): IF LEARNS_BY(a, p) AND
MODIFIES_BEHAVIOUR(a, b) THEN HAS_ORIGIN(b, LEARNED)

rule PROBLEM_SOLVING_INFERENCE(a, p): IF SOLVES(a, p) THEN EXHIBITS(a,
PROBLEM_SOLVING)

———- BIOLOGICAL RHYTHMS ———-

enum RhythmType: CIRCADIAN CIRCATIDAL CIRCAANNUAL ULTRADIAN INFRADIAN

enum ActivityPeriod: DIURNAL NOCTURNAL CREPUSCULAR CATHEMERAL

relation HAS_ACTIVITY_RHYTHM(animal, rhythm) relation
ACTIVE_DURING(animal, period) relation ENTRAINED_BY(rhythm, cue)

———- BEHAVIOURAL ECOLOGY ———-

relation INCREASES_FITNESS(behaviour, effect) relation
DECREASES_FITNESS(behaviour, effect) relation
AFFECTS_SURVIVAL(behaviour, effect) relation
AFFECTS_REPRODUCTION(behaviour, effect) relation SELECTED_FOR(behaviour,
context) relation TRADEOFF_WITH(behaviour_a, behaviour_b)

———- OBSERVATION / EVIDENCE ———-

relation OBSERVES(observation, entity) relation
RECORDS_BEHAVIOUR(observation, behaviour) relation
OBSERVED_BY(observation, observer) relation OBSERVED_AT(observation,
location) relation OBSERVED_ON(observation, datetime) relation
HAS_DURATION(event, duration) relation HAS_FREQUENCY(behaviour,
frequency) relation HAS_INTENSITY(behaviour, intensity) relation
SUPPORTED_BY(assertion, evidence) relation DERIVED_FROM(evidence,
source) relation HAS_CONFIDENCE(assertion, score)

enum EvidenceType: DIRECT_OBSERVATION EXPERIMENTAL FIELD_STUDY
LABORATORY_STUDY VIDEO_RECORD SENSOR_RECORD TRACKING_DATA PHYSIOLOGICAL
GENETIC COMPARATIVE LITERATURE

CONFIDENCE: VERIFIED: 0.95..1.00 HIGH: 0.80..0.949 MEDIUM: 0.60..0.799
LOW: 0.00..0.599

rule CONFIDENCE_BOUNDS(a, score): IF HAS_CONFIDENCE(a, score) THEN
REQUIRE(0.0 <= score <= 1.0)

rule EVIDENCE_WEIGHTING(a, e, s): IF SUPPORTED_BY(a, e) AND
DERIVED_FROM(e, s) THEN UPDATE_CONFIDENCE(a, evidence_quality(e),
source_reliability(s))

———- SEMANTIC EQUIVALENCE ———-

SEMANTIC_EQUIVALENCE: “animal behaviour” ~= “animal behavior”
“behaviour” ~= “behavior” “behavioural ecology” ~= “behavioral ecology”
“foraging behaviour” ~= “food-search behaviour” “courtship” ~=
“courtship behaviour” “parental care” ~= “offspring care” “anti-predator
behaviour” ~= “predator avoidance behaviour” “innate behaviour” ~=
“inborn behaviour” “learned behaviour” ~= “acquired behaviour”
“territorial behaviour” ~= “territoriality”

rule NORMALISE_TERM(term): IF term MATCHES SEMANTIC_EQUIVALENCE.alias
THEN MAP_TO_CANONICAL(term)

———- CAUSAL MODEL ———-

relation CAUSES(a, b) relation INFLUENCES(a, b) relation MODULATES(a, b)
relation PRECEDES(a, b) relation FOLLOWS(a, b)

rule TEMPORAL_INVERSE(a, b): IF PRECEDES(a, b) THEN FOLLOWS(b, a)

———- QUERIES ———-

query CLASSIFY_BEHAVIOUR(b): RETURN: category(b) origin(b) trigger(b)
context(b) adaptive_function(b) cost(b) benefit(b) evidence(b)
confidence(b)

query ANIMAL_BEHAVIOURAL_PROFILE(a): RETURN: behaviours(a)
activity_rhythm(a) social_behaviour(a) communication(a) feeding(a)
reproduction(a) learning(a) cognition(a)

query TRACE_EVIDENCE(assertion): RETURN: supporting_evidence(assertion)
provenance(assertion) confidence(assertion)

———- CONSISTENCY ———-

constraint EVIDENCE_REQUIRED: FORALL scientific_assertion: REQUIRE
SUPPORTED_BY(scientific_assertion, Evidence) OR
MARK_AS_HYPOTHESIS(scientific_assertion)

constraint UNKNOWN_IS_NOT_FALSE: IF data_missing(assertion) THEN
MARK_UNKNOWN(assertion) AND NOT NEGATE(assertion)

constraint NO_UNSUPPORTED_INTENT: IF behaviour_observed(b) AND
intention_not_evidenced(b) THEN DO_NOT_INFER_INTENTION(b)

constraint CONTEXT_PRESERVATION: IF behaviour_varies_by_context(b) THEN
PRESERVE_CONTEXT(b)

———- UPDATE MODEL ———-

UPDATE_MODEL: on_new_behaviour(b): classify_behaviour(b)
identify_context(b) identify_stimulus_response_links(b)
attach_evidence(b) resolve_semantic_equivalence(b)
recalculate_confidence(b)

on_new_observation(o): validate_observation(o) attach_subject(o)
attach_behaviour(o) preserve_time_location(o) attach_evidence(o)
update_behaviour_graph(o)

on_conflicting_observation(a, b): preserve(a) preserve(b)
compare_context(a, b) compare_methods(a, b) compare_evidence_quality(a,
b) flag_unresolved_conflict()

———- AI CONSUMPTION ———-

AI_CONSUMPTION: preferred_entity: canonical_behaviour preserve: -
animal_identity - species_context - behaviour_category - stimulus -
response - environmental_context - social_context - temporal_context -
learning_context - adaptive_function - evidence - provenance -
confidence infer: - inverse_relations - behavioural_categories -
stimulus_response_paths - evidence_supported_relations -
semantic_equivalence prohibit: -
anthropomorphic_intent_without_evidence - unsupported_causal_claim -
invented_behaviour - species_generalisation_from_single_observation -
confidence_above_evidence ambiguity: action:
preserve_multiple_interpretations resolution:
prefer_evidence_and_context missing_data: action: mark_unknown
do_not_infer_from_absence: true

———- FLOW HASH ———-

FLOW_HASH: ontology: “AnimalBehaviourOntology” version: “1.0”
domain_path: “AI Core > Ontologies > Biological Ontologies > Zoology >
Animal Behaviour Ontology” canonical_url:
“https://kirethresearch.org/booksai-core/ontologies/biological-ontologies/zoology/animal-behaviour-ontology.html”
authorship: “Mark Anthony Higgins — Sky (Recursive AI)”
semantic_scope: - behaviour - stimulus-response - foraging - predation -
movement - communication - reproduction - social behaviour - learning -
cognition - behavioural ecology - evidence deterministic_normalisation:
true provenance_required: true confidence_required: true

terminate AnimalBehaviourOntology when: behavioural_entities_resolved
AND semantic_relations_normalised AND context_preserved AND
evidence_links_preserved AND confidence_values_validated AND
unresolved_ambiguity_marked

end flow