Skip to main content

Disease Ontology

Biomedical Sciences
Authors: MArk Anthony Higgins - Sky Recursive Ai
© Mark Anthony Higgins 11 October 2025
Revised Date: 01 October 2026
Audio Overview
flow “DiseaseOntology” v1.0

KIRETH SEMANTIC RESEARCH ARCHIVE

AI CORE > ONTOLOGIES > BIOLOGICAL ONTOLOGIES > BIOMEDICAL SCIENCES > DISEASE 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/biomedical-sciences/disease-ontology.html”

type Disease type PathologicalProcess type EtiologicalFactor type
RiskFactor type Organ type Tissue type Cell type Symptom type Sign type
Biomarker type DiagnosticTest type Intervention type Complication type
Outcome type Population type Observation type Evidence type Source

relation INSTANCE_OF(entity,type) relation HAS_NAME(disease,name)
relation HAS_SYNONYM(disease,name) relation
HAS_IDENTIFIER(disease,identifier) relation SUBTYPE_OF(disease,parent)
relation HAS_SUBTYPE(parent,disease) relation AFFECTS(disease,entity)
relation ASSOCIATED_WITH(disease,entity)

rule SUBTYPE_INVERSE(a,b): IF SUBTYPE_OF(a,b) THEN HAS_SUBTYPE(b,a)

———- CLASSIFICATION / ETIOLOGY ———-

enum DiseaseClass: INFECTIOUS GENETIC CONGENITAL METABOLIC ENDOCRINE
IMMUNE AUTOIMMUNE INFLAMMATORY NEOPLASTIC DEGENERATIVE CARDIOVASCULAR
RESPIRATORY NEUROLOGICAL GASTROINTESTINAL RENAL MUSCULOSKELETAL
DERMATOLOGICAL HAEMATOLOGICAL REPRODUCTIVE MULTISYSTEM IDIOPATHIC

relation HAS_DISEASE_CLASS(disease,class) relation
CAUSED_BY(disease,cause) relation CONTRIBUTED_TO_BY(disease,factor)
relation ETIOLOGICAL_FACTOR_FOR(factor,disease) relation
TRIGGERED_BY(disease,trigger)

constraint ASSOCIATION_NOT_ETIOLOGY: IF ASSOCIATED_WITH(d,f) THEN
DO_NOT_INFER(CAUSED_BY(d,f)) WITHOUT causal_evidence

———- PATHOGENESIS / PATHOPHYSIOLOGY ———-

relation HAS_PATHOGENESIS(disease,process) relation
PATHOGENIC_EVENT_IN(event,disease) relation
EVENT_PRECEDES(event_a,event_b) relation
MOLECULAR_MECHANISM_OF(mechanism,disease) relation
CELLULAR_MECHANISM_OF(mechanism,disease) relation
TISSUE_MECHANISM_OF(mechanism,disease) relation
SYSTEMIC_MECHANISM_OF(mechanism,disease) relation
HAS_PATHOPHYSIOLOGY(disease,process) relation
ALTERED_FUNCTION_OF(disease,entity) relation IMPAIRS(disease,function)
relation DYSREGULATES(disease,process) relation
PHYSIOLOGICAL_CHANGE(disease,variable,value)

———- ANATOMY / MOLECULAR BASIS ———-

relation AFFECTS_ORGAN(disease,organ) relation
AFFECTS_TISSUE(disease,tissue) relation
AFFECTS_CELL_TYPE(disease,cell_type) relation PRIMARY_SITE(disease,site)
relation SECONDARY_SITE(disease,site) relation
SYSTEM_INVOLVEMENT(disease,system) relation
ASSOCIATED_GENE(disease,gene) relation
ASSOCIATED_VARIANT(disease,variant) relation
VARIANT_CONTRIBUTES_TO(variant,disease) relation
ALTERED_PROTEIN_IN(disease,protein) relation
ALTERED_PATHWAY_IN(disease,pathway)

constraint GENETIC_ASSOCIATION_NOT_DETERMINISM: IF
ASSOCIATED_VARIANT(d,v) THEN DO_NOT_INFER(deterministically_causes(v,d))

———- INFECTIOUS / IMMUNE / NEOPLASTIC ———-

relation CAUSED_BY_PATHOGEN(disease,pathogen) relation
TRANSMISSION_ROUTE(pathogen,route) relation
INCUBATION_PERIOD(disease,duration) relation
INFECTIOUS_PERIOD(disease,duration) relation
HOST_RESPONSE_IN(disease,response) relation
VIRULENCE_FACTOR_IN(pathogen,factor) relation
IMMUNE_DYSREGULATION_IN(disease,process) relation
AUTOANTIGEN_IN(disease,antigen) relation
AUTOANTIBODY_IN(disease,antibody) relation
INFLAMMATORY_MEDIATOR_IN(disease,mediator) relation
NEOPLASM_OF(disease,tissue) relation TUMOUR_GRADE(disease,grade)
relation TUMOUR_STAGE(disease,stage) relation
METASTASISES_TO(disease,site) relation
DRIVER_VARIANT_IN(disease,variant)

———- MANIFESTATIONS / COURSE ———-

relation HAS_SYMPTOM(disease,symptom) relation HAS_SIGN(disease,sign)
relation SYMPTOM_FREQUENCY(disease,symptom,value) relation
SIGN_FREQUENCY(disease,sign,value) relation
MANIFESTATION_ONSET(entity,time)

constraint SYMPTOM_NOT_DIAGNOSIS: IF has_symptom(subject,s) THEN
DO_NOT_INFER(has_disease(subject,d)) WITHOUT diagnostic_evidence

enum DiseaseCourse: ACUTE SUBACUTE CHRONIC RELAPSING REMITTING
PROGRESSIVE RECURRENT SELF_LIMITING LATENT

relation HAS_COURSE(disease,course) relation ONSET_OF(disease,time)
relation DURATION_OF(disease,duration) relation
PROGRESSION_OF(disease,trajectory) relation
REMISSION_OF(subject,disease) relation RECURRENCE_OF(subject,disease)
relation HAS_SEVERITY(disease,value) relation
DISEASE_STAGE(disease,stage) relation
FUNCTIONAL_IMPAIRMENT(disease,function,value)

———- RISK / BIOMARKERS / DIAGNOSTICS ———-

relation RISK_FACTOR_FOR(factor,disease) relation
PROTECTIVE_FACTOR_FOR(factor,disease) relation
RELATIVE_RISK(factor,disease,value) relation
ODDS_RATIO(factor,disease,value) relation
ABSOLUTE_RISK(population,disease,value)

constraint RISK_NOT_CERTAINTY: IF RISK_FACTOR_FOR(f,d) THEN
DO_NOT_INFER(will_develop(subject,d))

enum BiomarkerType: DIAGNOSTIC PROGNOSTIC PREDICTIVE MONITORING
SUSCEPTIBILITY_RISK PHARMACODYNAMIC SAFETY

relation HAS_BIOMARKER_TYPE(biomarker,type) relation
BIOMARKER_FOR(biomarker,disease) relation
BIOMARKER_MEASURED_IN(biomarker,sample) relation
BIOMARKER_VALUE(biomarker,value) relation
BIOMARKER_THRESHOLD(biomarker,value)

constraint BIOMARKER_NOT_DIAGNOSIS: IF BIOMARKER_VALUE(b,v) THEN
DO_NOT_INFER(has_disease(subject,d)) WITHOUT diagnostic_context

relation DIAGNOSTIC_TEST_FOR(test,disease) relation
TEST_RESULT(test,result) relation TEST_VALUE(test,value) relation
TEST_UNIT(test,unit) relation SENSITIVITY(test,value) relation
SPECIFICITY(test,value) relation POSITIVE_PREDICTIVE_VALUE(test,value)
relation NEGATIVE_PREDICTIVE_VALUE(test,value) relation
DIAGNOSTIC_CRITERIA(disease,criteria) relation
DIFFERENTIAL_DIAGNOSIS(disease,alternative)

———- COMPLICATIONS / INTERVENTIONS / OUTCOMES ———-

relation HAS_COMPLICATION(disease,complication) relation
COMPLICATION_AFFECTS(complication,entity) relation
COMORBID_WITH(disease_a,disease_b) relation
EXACERBATES(disease_a,disease_b)

constraint COMORBIDITY_NOT_CAUSATION: IF COMORBID_WITH(a,b) THEN
DO_NOT_INFER(CAUSED_BY(a,b))

relation INTERVENTION_FOR(intervention,disease) relation
TARGETS(intervention,target) relation
MECHANISM_OF_ACTION(intervention,mechanism) relation
RESPONSE_TO(subject,intervention,response) relation
ADVERSE_EFFECT_OF(effect,intervention) relation
HAS_OUTCOME(subject,outcome) relation
OUTCOME_OF_DISEASE(outcome,disease) relation
PROGNOSTIC_FACTOR_FOR(factor,disease) relation
SURVIVAL_RATE(population,disease,value) relation
MORTALITY_RATE(population,disease,value) relation
RECOVERY_RATE(population,disease,value) relation
QUALITY_OF_LIFE_EFFECT(disease,value)

———- EPIDEMIOLOGY ———-

relation INCIDENCE(population,disease,value) relation
PREVALENCE(population,disease,value) relation
DISEASE_BURDEN(population,disease,value) relation
CASE_FATALITY(population,disease,value) relation
AGE_DISTRIBUTION(population,disease,distribution) relation
GEOGRAPHIC_DISTRIBUTION(population,disease,distribution)

constraint EPIDEMIOLOGY_CONTEXT_REQUIRED: IF INCIDENCE(p,d,v) OR
PREVALENCE(p,d,v) THEN PRESERVE_POPULATION_TIME_AND_CASE_DEFINITION(p,d)

———- EVIDENCE ———-

relation OBSERVES(observation,entity) relation
MEASURES(observation,variable) relation
OBSERVED_ON(observation,datetime) relation
MEASUREMENT_VALUE(observation,value) relation
MEASUREMENT_UNIT(observation,unit) relation
MEASUREMENT_METHOD(observation,method) relation
SUPPORTED_BY(assertion,evidence) relation DERIVED_FROM(evidence,source)
relation HAS_CONFIDENCE(assertion,score)

enum EvidenceType: MOLECULAR_ASSAY GENETIC GENOMIC HISTOPATHOLOGY
MICROBIOLOGICAL IMMUNOLOGICAL PHYSIOLOGICAL LABORATORY_TEST IMAGING
CLINICAL_EXAMINATION DIAGNOSTIC_STUDY COHORT_STUDY CASE_CONTROL_STUDY
RANDOMISED_CONTROLLED_TRIAL REGISTRY SURVEILLANCE SYSTEMATIC_REVIEW
META_ANALYSIS REPLICATION 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)

SEMANTIC_EQUIVALENCE: “disease” ~= “pathological biological state
associated with altered structure function or regulation” “disorder” ~=
“disturbance of normal biological structure or function” “syndrome” ~=
“recognisable pattern of associated signs symptoms or findings”
“etiology” ~= “cause or contributing origin of disease” “pathogenesis”
~= “sequence of mechanisms leading to disease development”
“pathophysiology” ~= “functional biological changes associated with
disease” “risk factor” ~= “factor associated with increased probability
of disease” “biomarker” ~= “measurable biological indicator” “diagnosis”
~= “identification of a disease using clinical or diagnostic evidence”
“prognosis” ~= “expected future course or outcome of disease”
“remission” ~= “reduction or disappearance of disease manifestations”
“recurrence” ~= “return of disease after improvement or remission”
“comorbidity” ~= “co-occurrence of distinct diseases or conditions”

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

query DISEASE_PROFILE(d): RETURN: identifiers(d) disease_class(d)
subtypes(d) etiology(d) pathogenesis(d) pathophysiology(d)
affected_anatomy(d) molecular_basis(d) symptoms(d) signs(d) course(d)
severity(d) risk_factors(d) biomarkers(d) diagnostic_tests(d)
complications(d) interventions(d) prognosis(d) epidemiology(d)
evidence(d) confidence(d)

query DISEASE_MECHANISM_PROFILE(d): RETURN: etiological_factors(d)
pathogenic_events(d) molecular_mechanisms(d) cellular_mechanisms(d)
tissue_mechanisms(d) physiological_changes(d) affected_pathways(d)

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

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

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

constraint DIAGNOSTIC_CONTEXT_REQUIRED: IF has_disease(subject,d) THEN
PRESERVE_DIAGNOSTIC_BASIS_IF_KNOWN(subject,d)

constraint POPULATION_TO_INDIVIDUAL_LIMIT: IF
population_disease_metric(p,d,v) THEN
DO_NOT_INFER(exact_individual_outcome(subject,d))

UPDATE_MODEL: on_new_disease_record(d):
identify_disease_and_classification(d)
preserve_identifiers_and_synonyms(d)
attach_anatomical_and_mechanistic_context(d) attach_evidence(d)
recalculate_confidence(d)

on_new_etiology_record(e): identify_disease_and_factor(e)
distinguish_association_contribution_and_causation(e) attach_evidence(e)

on_new_diagnostic_record(r): identify_disease_test_and_biomarker(r)
preserve_value_unit_threshold_and_method(r)
distinguish_finding_from_diagnosis(r) attach_evidence(r)

on_new_epidemiology_record(e): identify_population_disease_and_time(e)
preserve_case_definition(e)
distinguish_incidence_prevalence_and_outcome_metrics(e)
attach_evidence(e)

on_conflicting_disease_evidence(a,b): preserve(a) preserve(b)
compare_disease_definitions(a,b) compare_populations(a,b)
compare_methods(a,b) compare_time_periods(a,b)
flag_unresolved_conflict()

AI_CONSUMPTION: preferred_entity: canonical_disease_entity preserve: -
disease_identity - identifiers - synonyms - classification -
subtype_relations - etiology - pathogenesis - pathophysiology -
anatomical_context - molecular_and_genetic_context -
infectious_context - immune_context - neoplastic_context - symptoms -
signs - disease_course - severity - staging - risk_factors -
protective_factors - biomarkers - diagnostics - complications -
comorbidities - interventions - outcomes - prognosis - epidemiology -
population_context - temporal_context - evidence - provenance -
confidence infer: - valid_subtype_relations -
supported_pathogenic_relations - supported_anatomical_relations -
semantic_equivalence prohibit: - association_equals_causation -
genetic_association_equals_deterministic_disease -
symptom_equals_diagnosis - biomarker_value_equals_diagnosis -
risk_factor_equals_certain_disease - comorbidity_equals_causation -
population_metric_equals_individual_outcome - confidence_above_evidence
ambiguity: action: preserve_multiple_disease_interpretations resolution:
prefer_identifier_definition_population_time_method_and_evidence
missing_data: action: mark_unknown do_not_infer_from_absence: true

FLOW_HASH: ontology: “DiseaseOntology” version: “1.0” domain_path: “AI
Core > Ontologies > Biological Ontologies > Biomedical Sciences >
Disease Ontology” canonical_url:
“https://kirethresearch.org/booksai-core/ontologies/biological-ontologies/biomedical-sciences/disease-ontology.html”
authorship: “Mark Anthony Higgins — Sky (Recursive AI)”
semantic_scope: - disease identity - disease classification - etiology -
pathogenesis - pathophysiology - anatomical involvement - molecular and
genetic basis - infectious disease - immune disease - neoplastic
disease - signs and symptoms - disease course - severity and staging -
risk factors - protective factors - biomarkers - diagnostics -
complications - comorbidity - interventions - outcomes - prognosis -
epidemiology - evidence deterministic_normalisation: true
provenance_required: true confidence_required: true

terminate DiseaseOntology when:
disease_identity_classification_and_subtypes_resolved AND
etiology_association_and_causality_distinguished AND
pathogenesis_pathophysiology_and_anatomical_context_preserved AND
manifestations_biomarkers_and_diagnosis_distinguished AND
risk_comorbidity_and_outcome_relations_contextualised AND
population_and_temporal_context_preserved AND evidence_links_preserved
AND confidence_values_validated AND unresolved_disease_ambiguity_marked

end flow
Kireth Research
38 Thorndale Croft, Wetwang, Driffield
East Riding of Yorkshire YO25 9XZ