Logical properties of foundational relations in bio-ontologies

作者：

Highlights：

•

摘要

ObjectiveWe compare the advantages of specifying the semantics of foundational relations in bio-medical terminology systems using different types of formal deductive systems: first-order logic (FOL) and description logics (DLs).

论文关键词：Biomedical ontologies,Formal ontology,Mereology,Axiomatic theories,Description logic

论文评审过程：Received 25 November 2004, Revised 6 December 2006, Accepted 7 December 2006, Available online 10 April 2007.

论文官网地址：https://doi.org/10.1016/j.artmed.2006.12.005