权益分类	功能权益	普通用户	{{item.name}}会员
{{category.name}}	{{benefitItem.name}}

HermiT: Reasoning with Large Ontologies

HermiT：利用大型本体进行推理

基本信息

批准号：
EP/F065841/1
负责人：
Ian Horrocks
金额：
$ 61.21万
依托单位：
University of Oxford
依托单位国家：
英国
项目类别：
Research Grant
财政年份：
2008
资助国家：
英国
起止时间：
2008 至无数据
项目状态：
已结题

来源：
https://gtr.ukri.org/projects?ref=EP%2FF065841%2F1
关键词：
HermiT Reasoning Large Ontologies

项目摘要

Ontologies are formal vocabularies of terms, often shared by a community of users. One of the most prominent application areas of ontologies is medicine and the life sciences. For example, the Systematised Nomenclature of Medicine Clinical Terms (SNOMED CT) is a clinical ontology which is being used in the UK Health Service's National Programme for Information Technology (NPfIT). Other examples include GALEN, the Foundational Model of Anatomy (FMA), the National Cancer Institute (NCI) Thesaurus, and the OBO Foundry -- a repository containing about 80 biomedical ontologies.These ontologies are gradually superseding existing medical classifications and will provide the future platforms for gathering and sharing medical knowledge. Capturing medical records using ontologies will reduce the possibility for data misinterpretation, and will enable information exchange between different applications and institutions. Medical ontologies are strongly related to description logics (DLs), which provide the formal basis for many ontology languages, most notably the W3C standardised Web Ontology Language (OWL). All the above mentioned ontologies are nowadays available in OWL and, therefore, in a description logic. The developers of medical ontologies have recognised the numerous benefits of using DLs, such as the clear and unambiguous semantics for different modelling constructs, the well-understood tradeoffs between expressivity and computational complexity, and the availability of provably correct reasoners and tools.The development and application of ontologies crucially depend on reasoning. Ontology classification, i.e., organising classes into a specialisation/generalisation hierarchy, is a reasoning task that plays a major role during ontology development: it provides for the detection of potential modelling errors such as inconsistent class descriptions and missing sub-class relationships. For example, about 180 missing sub-class relationships were detected when the version of SNOMED CT used by the NHS was classified using the DL reasoner FaCT++. Query answering is another reasoning task that is mainly used during ontology-based information retrieval; e.g., in clinical applications query answering might be used to retrieve all patients that suffer from nut allergies . Despite the impressive state-of-the-art, modern medical ontologies pose significant challenges to both the theory and practice of DL-based languages. Existing reasoners can efficiently deal with some large ontologies, such as NCI, but many important ontologies are still beyond the reach of available tools. For example, none of the existing reasoners can successfully classify either GALEN or FMA. Applications currently need to work around these limitations, e.g., by using subsets of ontologies that can be successfully processed. For example, the version of GALEN typically used in practice contains only about 20% of the axioms of the full version; this reduces the interaction between concepts and thus makes the ontology processable . This is, however, highly undesirable in practice, because it reduces coverage, weakens the conceptualisation of the domain and may prevent the detection of modelling errors.Furthermore, the amount of data used with ontologies can be orders of magnitude larger than the ontology itself. For example, the annotation of patients' medical records in a single hospital can easily produce data consisting of hundreds of millions of facts, and aggregation at a national level might produce billions of facts. Existing reasoners cannot cope with such data volumes, especially not if ontologies such as GALEN and FMA are used as schemata.The goal of this project is to develop scalable reasoning algorithms and a prototypical implementation that can efficiently deal with large and complex ontologies and large data sets. Developing such a reasoner will be critical to the success of many ontology based applications.

本体是术语的正式词汇表，通常由用户社区共享。本体论最突出的应用领域之一是医学和生命科学。例如，医学临床术语系统化命名法（SNOMED CT）是一种临床本体，正在英国卫生服务的国家信息技术计划（NPfIT）中使用。其他例子包括GALEN、解剖学基础模型（FMA）、国家癌症研究所（NCI）词库和OBO Foundry --一个包含大约80个生物医学本体的知识库。这些本体正在逐渐取代现有的医学分类，并将为收集和共享医学知识提供未来的平台。使用本体捕获医疗记录将减少数据误解的可能性，并将使不同的应用程序和机构之间的信息交换。医学本体与描述逻辑（DL）密切相关，描述逻辑为许多本体语言提供了形式化的基础，最著名的是W3C标准化的Web本体语言（OWL）。所有上面提到的本体现在在OWL中可用，因此，在描述逻辑中可用。医学本体的开发者已经认识到使用DL的许多好处，例如不同建模结构的清晰和明确的语义，表达性和计算复杂性之间的良好理解的权衡，以及可证明正确的推理机和工具的可用性。本体分类，即，将类组织成专门化/一般化层次结构是在本体开发期间起主要作用的推理任务：它提供了对潜在建模错误的检测，例如不一致的类描述和缺失的子类关系。例如，当使用DL推理器FaCT++对NHS使用的SNOMED CT版本进行分类时，检测到约180个缺失的子类关系。查询应答是另一个主要在基于本体的信息检索期间使用的推理任务;例如，在临床应用中，查询应答可用于检索患有坚果过敏症的所有患者。尽管令人印象深刻的国家的最先进的，现代医学本体提出了重大挑战的理论和实践的DL为基础的语言。现有的推理机可以有效地处理一些大的本体，如NCI，但许多重要的本体仍然超出了现有的工具。例如，没有一个现有的推理机可以成功地分类GALEN或FMA。应用程序目前需要解决这些限制，例如，通过使用可以被成功处理的本体的子集。例如，GALEN在实践中通常使用的版本只包含完整版本的20%的公理;这减少了概念之间的交互，从而使本体可处理。然而，这在实践中是非常不受欢迎的，因为它减少了覆盖范围，削弱了领域的概念化，并可能阻止建模错误的检测。此外，与本体一起使用的数据量可能比本体本身大几个数量级。例如，在一家医院对患者的医疗记录进行注释可以很容易地产生由数亿个事实组成的数据，而在国家一级进行汇总可能会产生数十亿个事实。现有的推理机不能科普这样的数据量，特别是如果本体，如GALEN和FMA被用作schemata.The项目的目标是开发可扩展的推理算法和原型实现，可以有效地处理大型和复杂的本体和大型数据集。开发这样一个推理机将是许多基于本体的应用程序的成功的关键。