LOGO: Logics for Ontologies
LOGO:本体逻辑
基本信息
- 批准号:EP/C543319/1
- 负责人:
- 金额:$ 47.04万
- 依托单位:
- 依托单位国家:英国
- 项目类别:Fellowship
- 财政年份:2006
- 资助国家:英国
- 起止时间:2006 至 无数据
- 项目状态:已结题
- 来源:
- 关键词:
项目摘要
Ontologies help both humans and computer applications to communicate by providing a vocabulary of terms together with formal and computerprocessable 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 important 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 logics, 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 useful when ontologies are deployed in applications, where they could be used, e.g., to determine which Web pages match a search request that uses 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 persons father is also their uncle, and even for OWL, no practical reasoning system is yet available. Moreover, 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 logics and reasoning techniques that that will form the foundations of the next generation of ontology languages and reasoning systems.The research programme will be made up of three complementary strands. The first strand will focus on existing ontology languages, and the logics on which they are based. The aim will be to devise principaled extensions of these ontology languages that meet expressive requirements that have been identified in application areas such as medicine and the Semantic Web.The second strand will focus on implementation techniques for existing ontology languages and for extended languages developed in the first strand. The aim will be to develop highly optimised reasoning systems capable of supporting both the design and deployment of ontologies in large scale applications.The third strand will focus on very expressive ontology languages. These languages are based on logics where it is known to be impossible to build a reasoning system that can solve any problem, e.g., one that is guaranteed to detect all possible contradictions. The aim is to develop reasoning systems that will still be able to efficiently solve the vast majority of problems derived from the use of ontologies in applications.Finally, in order to ensure that the logics, algorithms and reasoning systems being developed really do meet application requirements, they will be tested and evaluated in cooperation with ontology designers and developers of ontology based applications.
本体论通过提供术语词汇表以及对术语含义及其之间关系的正式和计算机可处理的描述来帮助人类和计算机应用程序进行通信。它们在下一代万维网(称为语义网)中扮演着重要角色,它们被用来描述Web资源的内容,目的是改善人类用户的搜索,并使计算机程序更容易利用Web上的大量信息。本体也被广泛用于定义医学、生物学和其他科学学科中使用的专业词汇。本体通常由人类专家开发,但即使对于专家来说,定义所有相关术语的工作也是困难和耗时的。因此,重要的是提供智能工具,支持本体设计师。出于这个原因,许多本体语言,包括OWL(用于语义Web本体的标准语言),都是基于逻辑的。这提供了语言含义的正式规范,并允许工具使用自动推理系统,例如,检查描述之间的相互作用不会导致逻辑矛盾。当本体被部署在应用中时,推理系统也是有用的,在应用中它们可以被使用,例如,本体在上述应用中的中心作用带来了对表达能力和推理支持的要求,这些要求超出了现有本体语言和推理系统的能力。例如,OWL不能表达一个人父亲的兄弟也是他的叔叔的事实,即使对于OWL,也没有实用的推理系统。此外,现有的推理系统往往有困难,处理非常大的本体,在许多现实的应用程序中需要。本提案中所述的研究旨在弥合需求和能力之间的鸿沟;其最终目标是开发逻辑和推理技术,这些技术将构成下一代本体语言和推理系统的基础。第一部分将关注现有的本体语言,以及它们所基于的逻辑。其目的是设计这些本体语言的主要扩展,以满足医学和语义Web等应用领域的表达需求。第二部分将重点关注现有本体语言和第一部分开发的扩展语言的实现技术。目标是开发高度优化的推理系统,能够支持大规模应用中本体的设计和部署。第三条链将集中在非常有表现力的本体语言上。这些语言是基于逻辑的,已知不可能建立可以解决任何问题的推理系统,例如,一个保证能检测出所有可能的矛盾的系统目的是开发推理系统,仍然能够有效地解决绝大多数问题,从使用本体在application.Finally,为了确保正在开发的逻辑,算法和推理系统确实满足应用程序的要求,他们将进行测试和评估,在本体设计师和开发人员的合作,基于本体的应用程序。
项目成果
期刊论文数量(4)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
Ontologies and the Semantic Web
- DOI:10.1145/1409360.1409377
- 发表时间:2008-12-01
- 期刊:
- 影响因子:22.7
- 作者:Horrocks, Ian
- 通讯作者:Horrocks, Ian
Conjunctive query answering for the description logic SHIQ
- DOI:10.1613/jair.2372
- 发表时间:2008-01-01
- 期刊:
- 影响因子:5
- 作者:Glimm, Birte;Horrocks, Ian;Sattler, Ulrike
- 通讯作者:Sattler, Ulrike
{{
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
Comparing Subsumption Optimizations
比较包含优化
- DOI:
- 发表时间:
1998 - 期刊:
- 影响因子:0
- 作者:
Ian Horrocks;P. Patel - 通讯作者:
P. Patel
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
- 资助金额:
$ 47.04万 - 项目类别:
Research Grant
ED3: Enabling analytics over Diverse Distributed Datasources
ED3:支持对不同分布式数据源的分析
- 批准号:
EP/N014359/1 - 财政年份:2016
- 资助金额:
$ 47.04万 - 项目类别:
Research Grant
DBOnto: Bridging Databases and Ontologies
DBOnto:桥接数据库和本体
- 批准号:
EP/L012138/1 - 财政年份:2014
- 资助金额:
$ 47.04万 - 项目类别:
Research Grant
ExODA: Integrating Description Logics and Database Technologies for Expressive Ontology-Based Data Access
ExODA:集成描述逻辑和数据库技术以实现基于表达本体的数据访问
- 批准号:
EP/H051511/1 - 财政年份:2011
- 资助金额:
$ 47.04万 - 项目类别:
Research Grant
ConDOR: Consequence-Driven Ontology Reasoning
ConDOR:结果驱动的本体推理
- 批准号:
EP/G02085X/1 - 财政年份:2009
- 资助金额:
$ 47.04万 - 项目类别:
Research Grant
HermiT: Reasoning with Large Ontologies
HermiT:利用大型本体进行推理
- 批准号:
EP/F065841/1 - 财政年份:2008
- 资助金额:
$ 47.04万 - 项目类别:
Research Grant
Reasoning Infrastructure for Ontologies and Instances
本体和实例的推理基础设施
- 批准号:
EP/E03781X/1 - 财政年份:2007
- 资助金额:
$ 47.04万 - 项目类别:
Research Grant
REOL: Reasoning for Expressive Ontology Languages
REOL:表达本体语言的推理
- 批准号:
EP/C537211/2 - 财政年份:2007
- 资助金额:
$ 47.04万 - 项目类别:
Research Grant
相似海外基金
Border-artists: Critiquing border logics in transnational digital performance
边境艺术家:批判跨国数字表演中的边境逻辑
- 批准号:
2908114 - 财政年份:2023
- 资助金额:
$ 47.04万 - 项目类别:
Studentship
Integrating hybrid logics into concurrent program logic
将混合逻辑集成到并发程序逻辑中
- 批准号:
23K11051 - 财政年份:2023
- 资助金额:
$ 47.04万 - 项目类别:
Grant-in-Aid for Scientific Research (C)
Conference: Privileged Logics: Interrogating Foundations and Practices in Research Ethics
会议:特权逻辑:质疑研究伦理的基础和实践
- 批准号:
2316197 - 财政年份:2023
- 资助金额:
$ 47.04万 - 项目类别:
Standard Grant
SHF: Small: Little Tricky Logics: Misconceptions in Understanding Logics and Formal Properties
SHF:小:小棘手的逻辑:理解逻辑和形式属性的误解
- 批准号:
2227863 - 财政年份:2023
- 资助金额:
$ 47.04万 - 项目类别:
Standard Grant
CAREER: Designing Robust Cyber-Physical Systems: Logics, Automata, Optimization, and Heuristic Methods
职业:设计鲁棒的网络物理系统:逻辑、自动机、优化和启发式方法
- 批准号:
2240126 - 财政年份:2023
- 资助金额:
$ 47.04万 - 项目类别:
Continuing Grant
Fuzzy logics for graded reasoning in applied contexts
应用上下文中分级推理的模糊逻辑
- 批准号:
DE220100544 - 财政年份:2022
- 资助金额:
$ 47.04万 - 项目类别:
Discovery Early Career Researcher Award
Probing co-transcriptional gene regulatory logics in human transcriptomes
探索人类转录组中的共转录基因调控逻辑
- 批准号:
10674900 - 财政年份:2022
- 资助金额:
$ 47.04万 - 项目类别:
Strategy Logics for the Verification of Security Protocols
安全协议验证的策略逻辑
- 批准号:
EP/V009214/1 - 财政年份:2021
- 资助金额:
$ 47.04万 - 项目类别:
Research Grant
Collaborative Research: CPS: Medium: Spatio-Temporal Logics for Analyzing and Querying Perception Systems
合作研究:CPS:媒介:用于分析和查询感知系统的时空逻辑
- 批准号:
2039087 - 财政年份:2021
- 资助金额:
$ 47.04万 - 项目类别:
Standard Grant
Collaborative Research: CPS: Medium: Spatio-Temporal Logics for Analyzing and Querying Perception Systems
合作研究:CPS:媒介:用于分析和查询感知系统的时空逻辑
- 批准号:
2038666 - 财政年份:2021
- 资助金额:
$ 47.04万 - 项目类别:
Standard Grant