LOGO: Logics for Ontologies

LOGO:本体逻辑

基本信息

  • 批准号:
    EP/C543319/2
  • 负责人:
  • 金额:
    --
  • 依托单位:
  • 依托单位国家:
    英国
  • 项目类别:
    Fellowship
  • 财政年份:
    2007
  • 资助国家:
    英国
  • 起止时间:
    2007 至 无数据
  • 项目状态:
    已结题

项目摘要

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.
本体通过提供术语词汇表以及它们的含义和它们之间的关系的正式和计算机可处理的描述,帮助人类和计算机应用程序进行通信。它们在下一代万维网(被称为语义网)中扮演着重要角色,它们被用来描述网络资源的内容,其目的是改善人类用户的搜索,并使计算机程序更容易利用网络上可用的大量信息。本体论也被广泛用于定义医学、生物学和其他科学学科的专业词汇。本体通常由人类专家开发,但即使对专家来说,定义所有相关术语的工作也是一项困难且耗时的工作。因此,提供支持本体设计者的智能工具是很重要的。由于这个原因,许多本体语言,包括OWL(用于语义Web本体的标准语言),都是基于逻辑的,这提供了语言含义的正式规范,并允许工具使用自动推理系统,例如,检查描述之间的交互是否会导致逻辑矛盾。当本体部署在应用程序中时,推理系统也很有用,例如,用于确定哪些Web页面匹配使用本体中定义的术语的搜索请求。然而,本体在上述应用程序中的核心作用带来了对表达能力和推理支持的需求,这超出了现有本体语言和推理系统的能力。例如,OWL不能表达一个人父亲的兄弟也是他的叔叔的事实,即使对于OWL,也没有实用的推理系统可用。此外,现有的推理系统通常难以处理许多实际应用中需要的非常大的本体。本建议中描述的研究旨在弥合需求和能力之间的鸿沟;它的最终目标是逻辑和推理技术的发展,这将形成下一代本体语言和推理系统的基础。该研究方案将由三个互补的部分组成。第一部分将关注现有的本体语言,以及它们所基于的逻辑。其目的是设计这些本体语言的主要扩展,以满足在诸如医学和语义Web等应用领域中已确定的表达需求。第二部分将重点关注现有本体语言和在第一部分中开发的扩展语言的实现技术。目标将是开发高度优化的推理系统,能够在大规模应用中支持本体的设计和部署。第三个方面将侧重于非常富有表现力的本体语言。这些语言是基于逻辑的,在逻辑中,我们知道不可能建立一个可以解决任何问题的推理系统,例如,一个可以保证检测到所有可能的矛盾的系统。其目的是开发推理系统,使其仍然能够有效地解决应用程序中使用本体所产生的绝大多数问题。最后,为了确保所开发的逻辑、算法和推理系统真正满足应用需求,将与本体设计人员和基于本体的应用开发人员合作对其进行测试和评估。

项目成果

期刊论文数量(10)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
Individual Reuse in Description Logic Reasoning
描述逻辑推理中的个体重用
  • DOI:
  • 发表时间:
    2008
  • 期刊:
  • 影响因子:
    0
  • 作者:
    B Motik
  • 通讯作者:
    B Motik
Ontologies and the Semantic Web
  • DOI:
    10.1145/1409360.1409377
  • 发表时间:
    2008-12-01
  • 期刊:
  • 影响因子:
    22.7
  • 作者:
    Horrocks, Ian
  • 通讯作者:
    Horrocks, Ian
Towards a logic-based assessment of the compatibility of UMLS sources
对 UMLS 源的兼容性进行基于逻辑的评估
  • DOI:
  • 发表时间:
    2009
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Jiménez-Ruiz E.
  • 通讯作者:
    Jiménez-Ruiz E.
Building ontologies collaboratively using contentCVS
使用 contentCVS 协作构建本体
  • DOI:
  • 发表时间:
    2009
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Jiménez-Ruiz E.
  • 通讯作者:
    Jiménez-Ruiz E.
Supporting concurrent ontology development: Framework, algorithms and tool
  • DOI:
    10.1016/j.datak.2010.10.001
  • 发表时间:
    2011
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Ernesto Jiménez-Ruiz;B. C. Grau;Ian Horrocks;Rafael Berlanga Llavori
  • 通讯作者:
    Ernesto Jiménez-Ruiz;B. C. Grau;Ian Horrocks;Rafael Berlanga Llavori
{{ 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
  • 资助金额:
    --
  • 项目类别:
    Research Grant
ED3: Enabling analytics over Diverse Distributed Datasources
ED3:支持对不同分布式数据源的分析
  • 批准号:
    EP/N014359/1
  • 财政年份:
    2016
  • 资助金额:
    --
  • 项目类别:
    Research Grant
DBOnto: Bridging Databases and Ontologies
DBOnto:桥接数据库和本体
  • 批准号:
    EP/L012138/1
  • 财政年份:
    2014
  • 资助金额:
    --
  • 项目类别:
    Research Grant
ExODA: Integrating Description Logics and Database Technologies for Expressive Ontology-Based Data Access
ExODA:集成描述逻辑和数据库技术以实现基于表达本体的数据访问
  • 批准号:
    EP/H051511/1
  • 财政年份:
    2011
  • 资助金额:
    --
  • 项目类别:
    Research Grant
ConDOR: Consequence-Driven Ontology Reasoning
ConDOR:结果驱动的本体推理
  • 批准号:
    EP/G02085X/1
  • 财政年份:
    2009
  • 资助金额:
    --
  • 项目类别:
    Research Grant
HermiT: Reasoning with Large Ontologies
HermiT:利用大型本体进行推理
  • 批准号:
    EP/F065841/1
  • 财政年份:
    2008
  • 资助金额:
    --
  • 项目类别:
    Research Grant
Reasoning Infrastructure for Ontologies and Instances
本体和实例的推理基础设施
  • 批准号:
    EP/E03781X/1
  • 财政年份:
    2007
  • 资助金额:
    --
  • 项目类别:
    Research Grant
REOL: Reasoning for Expressive Ontology Languages
REOL:表达本体语言的推理
  • 批准号:
    EP/C537211/2
  • 财政年份:
    2007
  • 资助金额:
    --
  • 项目类别:
    Research Grant
LOGO: Logics for Ontologies
LOGO:本体逻辑
  • 批准号:
    EP/C543319/1
  • 财政年份:
    2006
  • 资助金额:
    --
  • 项目类别:
    Fellowship

相似海外基金

Border-artists: Critiquing border logics in transnational digital performance
边境艺术家:批判跨国数字表演中的边境逻辑
  • 批准号:
    2908114
  • 财政年份:
    2023
  • 资助金额:
    --
  • 项目类别:
    Studentship
Integrating hybrid logics into concurrent program logic
将混合逻辑集成到并发程序逻辑中
  • 批准号:
    23K11051
  • 财政年份:
    2023
  • 资助金额:
    --
  • 项目类别:
    Grant-in-Aid for Scientific Research (C)
Conference: Privileged Logics: Interrogating Foundations and Practices in Research Ethics
会议:特权逻辑:质疑研究伦理的基础和实践
  • 批准号:
    2316197
  • 财政年份:
    2023
  • 资助金额:
    --
  • 项目类别:
    Standard Grant
CAREER: Designing Robust Cyber-Physical Systems: Logics, Automata, Optimization, and Heuristic Methods
职业:设计鲁棒的网络物理系统:逻辑、自动机、优化和启发式方法
  • 批准号:
    2240126
  • 财政年份:
    2023
  • 资助金额:
    --
  • 项目类别:
    Continuing Grant
SHF: Small: Little Tricky Logics: Misconceptions in Understanding Logics and Formal Properties
SHF:小:小棘手的逻辑:理解逻辑和形式属性的误解
  • 批准号:
    2227863
  • 财政年份:
    2023
  • 资助金额:
    --
  • 项目类别:
    Standard Grant
Fuzzy logics for graded reasoning in applied contexts
应用上下文中分级推理的模糊逻辑
  • 批准号:
    DE220100544
  • 财政年份:
    2022
  • 资助金额:
    --
  • 项目类别:
    Discovery Early Career Researcher Award
Probing co-transcriptional gene regulatory logics in human transcriptomes
探索人类转录组中的共转录基因调控逻辑
  • 批准号:
    10674900
  • 财政年份:
    2022
  • 资助金额:
    --
  • 项目类别:
Strategy Logics for the Verification of Security Protocols
安全协议验证的策略逻辑
  • 批准号:
    EP/V009214/1
  • 财政年份:
    2021
  • 资助金额:
    --
  • 项目类别:
    Research Grant
Collaborative Research: CPS: Medium: Spatio-Temporal Logics for Analyzing and Querying Perception Systems
合作研究:CPS:媒介:用于分析和查询感知系统的时空逻辑
  • 批准号:
    2039087
  • 财政年份:
    2021
  • 资助金额:
    --
  • 项目类别:
    Standard Grant
Collaborative Research: CPS: Medium: Spatio-Temporal Logics for Analyzing and Querying Perception Systems
合作研究:CPS:媒介:用于分析和查询感知系统的时空逻辑
  • 批准号:
    2038666
  • 财政年份:
    2021
  • 资助金额:
    --
  • 项目类别:
    Standard Grant
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了