Subsumption principles underlying medical concept systems and their formal reconstruction

Area of Science:

• Medical Informatics
• Formal Ontology
• Knowledge Representation

Background:

• Conventional medical concept systems use hierarchical coding, limiting automatic derivation of subsumption.
• Formal reconstruction offers a method based on conceptual meanings for applying formal subsumption criteria.
• Intuitive principles of subordination guide the formal reconstruction of medical concept systems.

Purpose of the Study:

• To introduce a formalism called BERNWARD for the formal reconstruction of medical concept systems.
• To enable the automatic derivation of hierarchical relations based on intuitive principles of subordination.
• To enhance the flexibility and formal criteria for subsumption in medical concept systems.

Main Methods:

• Formal reconstruction of medical concept systems using conceptual representation of meanings.
• Application of formal criteria for subsumption reflecting intuitive principles (specialization, refinement, addition, coordination).
• Utilizing explicit generic and partitive hierarchies, formal subsumption, and part-sensitive subsumption within the BERNWARD formalism.

Main Results:

• The BERNWARD formalism facilitates the formal reconstruction of medical concept systems.
• Automatical derivation of hierarchical relations is supported by explicit hierarchies and formal criteria.
• Formal subsumption and part-sensitive subsumption provide robust methods for determining concept relations.
• The approach demonstrates flexibility in handling partitive criteria's effects on subsumption.

Conclusions:

• The BERNWARD formalism offers a robust approach to formally reconstruct medical concept systems.
• This method enhances the automatic derivation of hierarchical relations and formal subsumption.
• The formalism's flexibility addresses complex partitive criteria, improving medical knowledge representation.