Reasoning Infrastructure for Ontologies and Instances
本体和实例的推理基础设施
基本信息
- 批准号:EP/E03781X/1
- 负责人:
- 金额:$ 73万
- 依托单位:
- 依托单位国家:英国
- 项目类别:Research Grant
- 财政年份:2007
- 资助国家:英国
- 起止时间:2007 至 无数据
- 项目状态:已结题
- 来源:
- 关键词:
项目摘要
Ontologies help both humans and computer applications to communicate by providing a vocabulary of terms together with formal and computer-processable descriptions of their meanings and the relationships between them. They play a major role in the next-generation World Wide Web (known as the Semantic Web), where they are used to describe the content of Web resources, with the aim of both improving search for human users and making it easier for computer programs to exploit the vast range of information that is available on the Web. Ontologies are also widely used to define specialised vocabularies for use in medicine, biology and other scientific disciplines.Ontologies are usually developed by human experts, but even for experts the job of defining all the relevant terms is a difficult and time consuming one. It is therefore essential to provide intelligent tools that support ontology designers. For this reason, many ontology languages, including OWL (the standard language used for Semantic Web ontologies), are based on Description Logics (DLs). This provides a formal specification of the meaning of the language and allows tools to use automated reasoning systems, e.g., to check that interactions between descriptions do not lead to logical contradictions. Reasoning systems are also needed when ontologies are deployed in applications, where they are used, e.g., to answer queries that use terms defined in an ontology.The central role of ontologies in the above mentioned applications brings with it, however, requirements for expressive power and reasoning support which are beyond the capabilities of existing ontology languages and reasoning systems. For example, OWL cannot express the fact that the brother of a person's father is also their uncle, and even for OWL, reasoning is very hard: existing reasoning systems often have difficulties dealing with the very large ontologies that are needed in many realistic applications. The research described in this proposal aims at bridging this gulf between requirements and capabilities; its ultimate goal is the development of a reasoning system that significantly extends the current state of the art, with respect to both scalability and the expressive power of the ontology language supported.The research programme will be made up of three main strands: The first strand will focus on reasoning about the structure of the domain as described in an ontology, and aims to develop a highly optimised class reasoner for the expressive description logics needed to provide reasoning support for applications using existing ontology language standards and proposed extensions. The second strand aims to combine a DL reasoner with a database in order to provide scalable reasoning for large volumes of data that are are described using terms from an ontology. The third strand aims at collaborating with ontology developers and users in order to evaluate the effectiveness of the above systems using data from their ontologies and applications, in particular the Gene Ontology (and other large biomedical ontologies) and large volumes of gene product data annotated with terms from the Gene Ontology.
本体通过提供术语的词汇表以及对它们的含义和它们之间的关系的正式的和计算机可处理的描述来帮助人类和计算机应用程序进行通信。它们在下一代万维网(称为语义网)中扮演着重要角色,它们被用来描述Web资源的内容,目的是改善人类用户的搜索,并使计算机程序更容易利用Web上的大量信息。本体也被广泛用于定义医学、生物学和其他科学学科中使用的专业词汇。本体通常由人类专家开发,但即使对于专家来说,定义所有相关术语的工作也是困难和耗时的。因此,它是必不可少的,以提供智能工具,支持本体设计师。出于这个原因,许多本体语言,包括OWL(用于语义Web本体的标准语言),都基于描述逻辑(DL)。这提供了语言含义的正式规范,并允许工具使用自动推理系统,例如,检查描述之间的相互作用不会导致逻辑矛盾。当本体被部署在应用程序中时,也需要推理系统,在应用程序中使用本体,例如,然而,本体在上述应用中的中心作用带来了对表达能力和推理支持的要求,这超出了现有本体语言和推理系统的能力。例如,OWL不能表达一个人的父亲的兄弟也是他们的叔叔的事实,即使对于OWL,推理也是非常困难的:现有的推理系统通常难以处理许多现实应用中所需的非常大的本体。本提案中所述的研究旨在弥合需求和能力之间的鸿沟;其最终目标是开发一个推理系统,该系统在可扩展性和所支持的本体语言的表达能力方面大大扩展了当前的技术水平。研究计划将由三个主要部分组成:第一条链将集中于对本体中描述的域的结构进行推理,的目标是开发一个高度优化的类推理器的表达描述逻辑需要提供推理支持的应用程序使用现有的本体语言标准,并提出extensions.第二股旨在将DL推理机与数据库联合收割机结合,以便为使用本体中的术语描述的大量数据提供可扩展的推理。第三链旨在与本体开发者和用户合作,以便使用来自其本体和应用的数据来评估上述系统的有效性,特别是基因本体(和其他大型生物医学本体)和用来自基因本体的术语注释的大量基因产物数据。
项目成果
期刊论文数量(6)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
Exploiting Partial Information in Taxonomy Construction
在分类法构建中利用部分信息
- DOI:
- 发表时间:2009
- 期刊:
- 影响因子:0
- 作者:Robert Shearer
- 通讯作者:Robert Shearer
Hypertableau Reasoning for Description Logics
- DOI:10.1613/jair.2811
- 发表时间:2009-01-01
- 期刊:
- 影响因子:5
- 作者:Motik, Boris;Shearer, Rob;Horrocks, Ian
- 通讯作者:Horrocks, Ian
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
数据更新时间:{{ journalArticles.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ monograph.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ sciAawards.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ conferencePapers.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ patent.updateTime }}
Ian Horrocks其他文献
OWL: A Description Logic Based Ontology Language
- DOI:
10.1007/11562931_1 - 发表时间:
2005-10 - 期刊:
- 影响因子:0
- 作者:
Ian Horrocks - 通讯作者:
Ian Horrocks
Ontologies and Schema Languages on the Web
网络上的本体论和模式语言
- DOI:
10.7551/mitpress/6412.003.0006 - 发表时间:
2003 - 期刊:
- 影响因子:0
- 作者:
M. Klein;J. Broekstra;D. Fensel;F. V. Harmelen;Ian Horrocks - 通讯作者:
Ian Horrocks
KR and Reasoning on the Semantic Web: OWL
KR 和语义网上的推理:OWL
- DOI:
10.1007/978-3-540-92913-0_9 - 发表时间:
2011 - 期刊:
- 影响因子:0
- 作者:
Ian Horrocks;P. Patel - 通讯作者:
P. Patel
Satisfaction and Implication of Integrity Constraints in Ontology-based Data Access
基于本体的数据访问中完整性约束的满足和含义
- DOI:
10.24963/ijcai.2019/253 - 发表时间:
2019 - 期刊:
- 影响因子:0
- 作者:
C. Nikolaou;B. C. Grau;Egor V. Kostylev;M. Kaminski;Ian Horrocks - 通讯作者:
Ian Horrocks
OBO and OWL: Leveraging Semantic Web Technologies for the Life Sciences
OBO 和 OWL:利用语义网技术促进生命科学
- DOI:
10.1007/978-3-540-76298-0_13 - 发表时间:
2007 - 期刊:
- 影响因子:0
- 作者:
C. Golbreich;M. Horridge;Ian Horrocks;B. Motik;Rob Shearer - 通讯作者:
Rob Shearer
Ian Horrocks的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('Ian Horrocks', 18)}}的其他基金
ConCur: Knowledge Base Construction and Curation
ConCur:知识库构建和管理
- 批准号:
EP/V050869/1 - 财政年份:2021
- 资助金额:
$ 73万 - 项目类别:
Research Grant
ED3: Enabling analytics over Diverse Distributed Datasources
ED3:支持对不同分布式数据源的分析
- 批准号:
EP/N014359/1 - 财政年份:2016
- 资助金额:
$ 73万 - 项目类别:
Research Grant
DBOnto: Bridging Databases and Ontologies
DBOnto:桥接数据库和本体
- 批准号:
EP/L012138/1 - 财政年份:2014
- 资助金额:
$ 73万 - 项目类别:
Research Grant
ExODA: Integrating Description Logics and Database Technologies for Expressive Ontology-Based Data Access
ExODA:集成描述逻辑和数据库技术以实现基于表达本体的数据访问
- 批准号:
EP/H051511/1 - 财政年份:2011
- 资助金额:
$ 73万 - 项目类别:
Research Grant
ConDOR: Consequence-Driven Ontology Reasoning
ConDOR:结果驱动的本体推理
- 批准号:
EP/G02085X/1 - 财政年份:2009
- 资助金额:
$ 73万 - 项目类别:
Research Grant
HermiT: Reasoning with Large Ontologies
HermiT:利用大型本体进行推理
- 批准号:
EP/F065841/1 - 财政年份:2008
- 资助金额:
$ 73万 - 项目类别:
Research Grant
REOL: Reasoning for Expressive Ontology Languages
REOL:表达本体语言的推理
- 批准号:
EP/C537211/2 - 财政年份:2007
- 资助金额:
$ 73万 - 项目类别:
Research Grant
相似海外基金
Impacts of floating offshore wind infrastructure on the distribution and behaviour of fish and marine mammals: IFLOW
浮动海上风电基础设施对鱼类和海洋哺乳动物的分布和行为的影响:IFLOW
- 批准号:
2744014 - 财政年份:2026
- 资助金额:
$ 73万 - 项目类别:
Studentship
An interdisciplinary analytical framework for high-mountain landslides and cascading hazards: implications for communities and infrastructure
高山滑坡和级联灾害的跨学科分析框架:对社区和基础设施的影响
- 批准号:
NE/Z503502/1 - 财政年份:2024
- 资助金额:
$ 73万 - 项目类别:
Research Grant
CAREER: Resilient and Efficient Automatic Control in Energy Infrastructure: An Expert-Guided Policy Optimization Framework
职业:能源基础设施中的弹性和高效自动控制:专家指导的政策优化框架
- 批准号:
2338559 - 财政年份:2024
- 资助金额:
$ 73万 - 项目类别:
Standard Grant
Research Infrastructure: Mid-scale RI-1 (MI:IP): X-rays for Life Sciences, Environmental Sciences, Agriculture, and Plant sciences (XLEAP)
研究基础设施:中型 RI-1 (MI:IP):用于生命科学、环境科学、农业和植物科学的 X 射线 (XLEAP)
- 批准号:
2330043 - 财政年份:2024
- 资助金额:
$ 73万 - 项目类别:
Cooperative Agreement
Research Infrastructure: CC* Data Storage: Foundational Campus Research Storage for Digital Transformation
研究基础设施:CC* 数据存储:数字化转型的基础校园研究存储
- 批准号:
2346636 - 财政年份:2024
- 资助金额:
$ 73万 - 项目类别:
Standard Grant
CC* Networking Infrastructure: YinzerNet: A Multi-Site Data and AI Driven Research Network
CC* 网络基础设施:YinzerNet:多站点数据和人工智能驱动的研究网络
- 批准号:
2346707 - 财政年份:2024
- 资助金额:
$ 73万 - 项目类别:
Standard Grant
Research Infrastructure: KCV EDGE (Equitable and Diverse Grant Ecosystem)
研究基础设施:KCV EDGE(公平且多样化的资助生态系统)
- 批准号:
2345142 - 财政年份:2024
- 资助金额:
$ 73万 - 项目类别:
Cooperative Agreement
CAREER: Securing Next-Generation Transportation Infrastructure: A Traffic Engineering Perspective
职业:保护下一代交通基础设施:交通工程视角
- 批准号:
2339753 - 财政年份:2024
- 资助金额:
$ 73万 - 项目类别:
Standard Grant
CAREER: From Underground to Space: An AI Infrastructure for Multiscale 3D Crop Modeling and Assessment
职业:从地下到太空:用于多尺度 3D 作物建模和评估的 AI 基础设施
- 批准号:
2340882 - 财政年份:2024
- 资助金额:
$ 73万 - 项目类别:
Continuing Grant
Doctoral Dissertation Research Improvement Grant: Biobanking, Epistemic Infrastructure, and the Lifecycle of Genomic Data
博士论文研究改进补助金:生物样本库、认知基础设施和基因组数据的生命周期
- 批准号:
2341622 - 财政年份:2024
- 资助金额:
$ 73万 - 项目类别:
Standard Grant