Zhang Songmao, Bodenreider Olivier, Golbreich Christine
Institute of Mathematics, Academy of Mathematics and System Sciences, Chinese Academy of Sciences, Beijing, China.
Pac Symp Biocomput. 2006:200-11.
The objective of this study is to compare description logics (DLs) and frames for representing large-scale biomedical ontologies and reasoning with them. The ontology under investigation is the Foundational Model of Anatomy (FMA). We converted it from its frame-based representation in Protégé into OWL DL. The OWL reasoner Racer helped identify unsatisfiable classes in the FMA. Support for consistency checking is clearly an advantage of using DLs rather than frames. The interest of reclassification was limited, due to the difficulty of defining necessary and sufficient conditions for anatomical entities. The sheer size and complexity of the FMA was also an issue.
本研究的目的是比较用于表示大规模生物医学本体并对其进行推理的描述逻辑(DLs)和框架。所研究的本体是解剖学基础模型(FMA)。我们将其从Protégé中基于框架的表示形式转换为OWL DL。OWL推理机Racer帮助识别了FMA中不可满足的类。支持一致性检查显然是使用DLs而非框架的一个优势。由于难以定义解剖实体的必要和充分条件,重新分类的意义有限。FMA的规模和复杂性也是一个问题。