Suppr超能文献

将 OBO 铸造厂中的具体计划规范转化为可实现的目标。

Concretizing plan specifications as realizables within the OBO foundry.

机构信息

University of Florida, Gainesville, FL, USA.

Simon Fraser University, Burnaby, BC, CA, Canada.

出版信息

J Biomed Semantics. 2024 Aug 20;15(1):15. doi: 10.1186/s13326-024-00315-0.

Abstract

BACKGROUND

Within the Open Biological and Biomedical Ontology (OBO) Foundry, many ontologies represent the execution of a plan specification as a process in which a realizable entity that concretizes the plan specification, a "realizable concretization" (RC), is realized. This representation, which we call the "RC-account", provides a straightforward way to relate a plan specification to the entity that bears the realizable concretization and the process that realizes the realizable concretization. However, the adequacy of the RC-account has not been evaluated in the scientific literature. In this manuscript, we provide this evaluation and, thereby, give ontology developers sound reasons to use or not use the RC-account pattern.

RESULTS

Analysis of the RC-account reveals that it is not adequate for representing failed plans. If the realizable concretization is flawed in some way, it is unclear what (if any) relation holds between the realizable entity and the plan specification. If the execution (i.e., realization) of the realizable concretization fails to carry out the actions given in the plan specification, it is unclear under the RC-account how to directly relate the failed execution to the entity carrying out the instructions given in the plan specification. These issues are exacerbated in the presence of changing plans.

CONCLUSIONS

We propose two solutions for representing failed plans. The first uses the Common Core Ontologies 'prescribed by' relation to connect a plan specification to the entity or process that utilizes the plan specification as a guide. The second, more complex, solution incorporates the process of creating a plan (in the sense of an intention to execute a plan specification) into the representation of executing plan specifications. We hypothesize that the first solution (i.e., use of 'prescribed by') is adequate for most situations. However, more research is needed to test this hypothesis as well as explore the other solutions presented in this manuscript.

摘要

背景

在开放生物和生物医学本体 (OBO) 基金会中,许多本体将计划规范的执行表示为一个过程,在该过程中,实现计划规范的可实现实体,即“可实现具体化”(RC),得以实现。这种表示形式,我们称之为“RC 账户”,提供了一种直接将计划规范与承担可实现具体化的实体和实现可实现具体化的过程联系起来的方法。然而,RC 账户的充分性尚未在科学文献中得到评估。在本文中,我们提供了这种评估,从而为本体开发人员提供了使用或不使用 RC 账户模式的充分理由。

结果

对 RC 账户的分析表明,它不足以表示失败的计划。如果可实现具体化在某些方面有缺陷,那么就不清楚可实现实体与计划规范之间存在什么关系(如果有的话)。如果可实现具体化的执行(即实现)未能执行计划规范中给出的操作,则在 RC 账户下不清楚如何直接将失败的执行与执行计划规范中给出的指令的实体联系起来。在存在变更计划的情况下,这些问题会更加严重。

结论

我们提出了两种表示失败计划的解决方案。第一种方法使用 Common Core Ontologies 的“规定”关系将计划规范连接到实体或过程,该实体或过程将计划规范用作指导。第二种,更复杂的解决方案将创建计划的过程(即执行计划规范的意图)纳入执行计划规范的表示中。我们假设第一种解决方案(即使用“规定”)对于大多数情况都是足够的。然而,需要进一步研究来验证这个假设,并探索本文中提出的其他解决方案。

https://cdn.ncbi.nlm.nih.gov/pmc/blobs/18cc/11334599/3d43c1b53f70/13326_2024_315_Figa_HTML.jpg

文献检索

告别复杂PubMed语法,用中文像聊天一样搜索,搜遍4000万医学文献。AI智能推荐,让科研检索更轻松。

立即免费搜索

文件翻译

保留排版,准确专业,支持PDF/Word/PPT等文件格式,支持 12+语言互译。

免费翻译文档

深度研究

AI帮你快速写综述,25分钟生成高质量综述,智能提取关键信息,辅助科研写作。

立即免费体验