Logical properties of foundational relations in bio-ontologies (AIM) The development of bio-medical ontologies requires a rigorous formal analysis of foundational relations. Different kinds of formal tools may be used in this process. Ideally, an analysis in a highly expressive language, such as first-order logic, should be worked out in conjunction with analyses in less expressive but computationally tractable deductive systems such as description logics. in Public bookmarkswith toread