European Bioinformatics Institute, Wellcome Trust Genome Campus, Hinxton, Cambridge CB10 1SD, UK.
BMC Bioinformatics. 2010 Aug 31;11:441. doi: 10.1186/1471-2105-11-441.
most biomedical ontologies are represented in the OBO Flatfile Format, which is an easy-to-use graph-based ontology language. The semantics of the OBO Flatfile Format 1.2 enforces a strict predetermined interpretation of relationship statements between classes. It does not allow flexible specifications that provide better approximations of the intuitive understanding of the considered relations. If relations cannot be accurately expressed then ontologies built upon them may contain false assertions and hence lead to false inferences. Ontologies in the OBO Foundry must formalize the semantics of relations according to the OBO Relationship Ontology (RO). Therefore, being able to accurately express the intended meaning of relations is of crucial importance. Since the Web Ontology Language (OWL) is an expressive language with a formal semantics, it is suitable to de ne the meaning of relations accurately.
we developed a method to provide definition patterns for relations between classes using OWL and describe a novel implementation of the RO based on this method. We implemented our extension in software that converts ontologies in the OBO Flatfile Format to OWL, and also provide a prototype to extract relational patterns from OWL ontologies using automated reasoning. The conversion software is freely available at http://bioonto.de/obo2owl, and can be accessed via a web interface.
explicitly defining relations permits their use in reasoning software and leads to a more flexible and powerful way of representing biomedical ontologies. Using the extended langua0067e and semantics avoids several mistakes commonly made in formalizing biomedical ontologies, and can be used to automatically detect inconsistencies. The use of our method enables the use of graph-based ontologies in OWL, and makes complex OWL ontologies accessible in a graph-based form. Thereby, our method provides the means to gradually move the representation of biomedical ontologies into formal knowledge representation languages that incorporates an explicit semantics. Our method facilitates the use of OWL-based software in the back-end while ontology curators may continue to develop ontologies with an OBO-style front-end.
大多数生物医学本体都采用 OBO 平面文件格式(OBO Flatfile Format)表示,这是一种易于使用的基于图的本体语言。OBO 平面文件格式 1.2 的语义强制对类之间的关系语句进行严格的预定解释。它不允许灵活的规范,这些规范可以更好地近似考虑关系的直观理解。如果关系无法准确表达,则基于它们构建的本体可能包含错误的断言,从而导致错误的推理。OBO 基金会中的本体必须根据 OBO 关系本体(RO)形式化关系的语义。因此,能够准确表达关系的含义至关重要。由于 Web 本体语言(OWL)是一种具有形式语义的表达性语言,因此非常适合准确定义关系的含义。
我们开发了一种使用 OWL 为类之间的关系提供定义模式的方法,并描述了一种基于该方法的 RO 的新实现。我们在软件中实现了我们的扩展,该软件将 OBO 平面文件格式的本体转换为 OWL,还提供了一个原型,用于使用自动化推理从 OWL 本体中提取关系模式。转换软件可在 http://bioonto.de/obo2owl 上免费获得,并可通过网络界面访问。
显式定义关系允许在推理软件中使用它们,并为表示生物医学本体提供更灵活、更强大的方式。使用扩展的语言和语义可以避免在形式化生物医学本体时常见的几个错误,并可用于自动检测不一致性。使用我们的方法可以使基于图的本体在 OWL 中使用,并以基于图的形式访问复杂的 OWL 本体。这样,我们的方法提供了一种将生物医学本体的表示逐渐迁移到包含显式语义的正式知识表示语言中的方法。我们的方法为基于 OWL 的软件在后端的使用提供了便利,而本体维护者可以继续使用 OBO 风格的前端开发本体。