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.