The Description Logic SROIQ(D), as the logical core of the W3C standard Web Ontology Language (OWL 2), is a widely used formalism for ontologies in the life sciences. Bio-health applications including health-care and life science domains commonly have a need to represent temporal information such as medication frequency or stage-based development. Different classes of temporal phenomena may generate different sorts of requirements on SROIQ(D) or extensions of SROIQ(D). In this paper, we deliver the first precise investigation into identifying exactly what kinds of temporal requirements are most important for bio-health ontologies. We conduct an empirical investigation of the OBO Foundry using a bespoke methodological approach by searching each of its ontologies for specific temporal features and go on to calculate the importance of these features using a sophisticated set of measures. By doing so, we derive a formal set of Temporal Requirements that act as a set of guidelines which a language or logical extension to OWL 2 would need to satisfy in order to meet the temporal requirements of bio-health ontologies.

中文翻译：

---

对生物健康本体的时间要求的系统调查

描述逻辑SROIQ（D）作为W3C标准Web本体语言（OWL 2）的逻辑核心，是生命科学中本体的一种广泛使用的形式主义。生物保健应用（包括保健和生命科学领域）通常需要表示时间信息，例如用药频率或基于阶段的开发。不同类别的时间现象可能会对SROIQ（D）或SROIQ（D）的扩展产生不同种类的要求。在本文中，我们进行了首次精确调查，以明确确定哪种时间要求对于生物健康本体最重要。我们使用定制的方法论方法对OBO Foundry进行了实证研究，方法是搜索其每个本体的特定时间特征，然后使用一套复杂的方法来计算这些特征的重要性。通过这样做，我们导出了一组正式的时间需求，这些时间需求是一组指南，OWL 2的语言或逻辑扩展将需要满足这些指南，才能满足生物健康本体的时间要求。