Description logic axioms for OGMS core classes:

TODO: Decide which restrictions are necessary and sufficient and which are just necessary

Core Classes

disease:

• realized_by ONLY 'disease course'
• has_material_basis_in SOME disorder

'disease course':

• realizes ONLY disease
• has_participant SOME organism

disorder:

• (part_of SOME 'extended organism') OR (contained_in SOME 'extended organism')

extended organism:

• organism AND (part_of SOME organism) AND (contained_in SOME organism)

diagnosis:

• TODO: The output of: 'planned process' AND (has_specified_input SOME 'clinical picture') AND (has_specified_output SOME 'diagnostic statement')
• We need to decide whether to assert what 'diagnosis' is_about?

syndrome: