Ontology-Based Knowledge and Belief Management System

描述(由申请人提供)：生物医学本体论发展的巨大进步为更深入和更清楚地理解影响人类健康的分子和基因方面提供了希望。存储在本体论和数据库中的生物医学数据和知识有可能使生命科学的研究人员能够获取和找到可转化为医学诊断和治疗的确凿证据。正在花费巨大的努力来创建能够涵盖生命科学的可互操作的本体论套件。然而，由现有本体的开发者创建和策划的广泛的知识编码很少与其他研究人员假设的信念和假设相互作用。这种无法利用编码和既定知识的能力阻碍了研究人员在计算推理方面利用语义网技术所提供的能力的能力。在这个项目中，我们建议将GeneBel系统作为一个软件解决方案来开发，以允许生物学和遗传学的研究人员假设假设，并根据存在于多个相互关联的本体中的知识主体来测试和验证这些假设。在所提出的GeneBel系统的核心，信念和假设编码机制允许创建假设作为信念断言，本体生成和比对组件允许多个本体和数据源的互连，并且假设验证过程找到证实或矛盾假设的本体断言。在该项目的第一阶段，将在原型解决方案中实施特定的信念编码技术以及潜在的推理和假设验证方法，并针对一组预定义的研究情景和假设进行测试。在第二阶段，完整的GeneBel系统将在遗传学和生物医学研究的真实世界假说验证的执行中被构建和评估。 公共卫生相关性：GeneBel系统是一个软件解决方案，用于管理知识和验证假设，重点放在遗传学研究上。它使用本体和计算推理方法来创建信念的语义编码，并找到证实或矛盾这些信念的本体断言。

DESCRIPTION (provided by applicant): Dramatic advances in the development of biomedical ontologies hold the promise of a deeper and clearer understanding of the molecular and genetic aspects that affect human health. Biomedical data and knowledge stored in ontologies and databases have the potential to empower researchers in the life sciences to access and find conclusive evidence that can be translated to medical diagnosis and treatment. Enormous effort is being expended to create suites of interoperable ontologies that can encompass the life sciences. However, the extensive knowledge codifications created and curated by the developers of existing ontologies rarely interact with the beliefs and hypotheses postulated by other researchers. This inability to make use of codified and established knowledge hinders the ability of researchers to take advantage of the capabilities afforded by Semantic Web technologies in terms of computational reasoning. In this project, we propose to develop the GeneBel system as a software solution to allow researchers in biology and genetics to postulate hypotheses, and to test and verify these hypotheses against the body of knowledge existing in multiple interconnected ontologies. At the core of the proposed GeneBel system, a belief and hypothesis encoding mechanism permits the creation of hypotheses as belief assertions, an ontology generation and alignment component allows the interconnection of multiple ontologies and data sources, and a process of hypothesis verification finds ontology assertions that either corroborate or contradict hypotheses. In Phase I of the project, the specific belief encoding techniques and underlying reasoning and hypothesis verification methods will be implemented in a prototype solution and tested against a set of predefined research scenarios and hypotheses. During Phase II, the complete GeneBel system will be constructed and evaluated in the execution of real-world hypothesis verification in genetics and biomedical research. PUBLIC HEALTH RELEVANCE: The GeneBel System is a software solution for the management of knowledge and verification of hypotheses focused on genetics research. It uses ontology and computational reasoning methods to create semantic encodings of beliefs, and to find ontology assertions that corroborate or contradict these beliefs.