ConDOR: Consequence-Driven Ontology Reasoning
ConDOR:结果驱动的本体推理
基本信息
- 批准号:EP/G02085X/1
- 负责人:
- 金额:$ 45.83万
- 依托单位:
- 依托单位国家:英国
- 项目类别:Research Grant
- 财政年份:2009
- 资助国家:英国
- 起止时间:2009 至 无数据
- 项目状态:已结题
- 来源:
- 关键词:
项目摘要
Ontologies, and ontology based vocabularies, are becoming increasingly important. They provide a common vocabulary together with computer accessible descriptions of the meaning of relevant terms through relationships with other terms. For example, in an ontology describing human anatomy the vocabulary could include terms such as [Organ], [Circulatory System], [Heart], etc., and one can define a term [Muscular Organ] as an [Organ] that is a part of the [Muscular System] and a term [Heart] as a [Muscular Organ] that is a part of the [Circulatory System].Ontologies play a major role in the Semantic Web and in e-Science where they are widely used in, e.g., bio-informatics, medical terminologies and other knowledge management applications. One of the most important aspects of ontologies is that they contain knowledge structured in a special way. The users of ontologies are typically interested in obtaining information about relationships between concepts described in ontologies and querying the ontologies. Both tasks require reasoning tools that can derive new knowledge from the knowledge explicitly stated in ontologies. For example a reasoning tool should be able to derive that [Heart] is a part of the [Muscular System] which is not explicitly stated in the anatomical ontology but is a logical consequence of the above definitions for [Heart] and [Muscular Organ].Most existing ontology reasoners do not derive logical consequences of ontological axioms explicitly, but instead they check whether it is possible to construct a model of the ontology where the target consequence does not hold, e.g., they try to construct a situation where [Heart] would be a part of the [Circulatory System] but not a part of the [Muscular System]. If such a situation is not possible, then it is concluded that the target consequence follows from the axioms in the ontology. One problem with this technique is that when an ontology expresses long and possibly cyclic dependencies between terms, e.g., [Heart] is a part of [Circulatory System] which has a part [Lung] which is a part of [Respiratory System] which has a part [Trachea], etc., then the reasoner has to construct very large models. For some existing medical ontologies, the models are so big that they do not fit into the main memory of a computer. Another problem is that the ontology may potentially have a large number of different models, each of which must be independently explored by the reasoner. Ontology languages provide for constructors called 'number restrictions', which result in a particularly large number of models. Number restrictions are used to specify quantitative information in ontologies and are often used in bio-chemical ontologies, for example to express that a molecule of [Ethanol] contains {exactly 6} [Hydrogen Atoms]. These limitations of model-building reasoners, therefore, pose a serious problem for the development of large medical and bio-chemical ontologies---without efficient reasoning tools, for example, the users of such ontologies may not be able to obtain the information that they are interested in.In this project we investigate alternative consequence driven reasoning procedures that do not build models but explicitly derive logical consequences of ontological axioms. Our preliminary investigations suggest that both problems mentioned above can be avoided for consequence-driven reasoning procedures: there is no need to keep track of large models, and the number of logical consequences of ontological axioms is typically much smaller than the sizes and the number of the models.
本体和基于本体的词汇表正变得越来越重要。它们提供了一个共同的词汇表,以及通过与其他术语的关系对相关术语含义的计算机可访问的描述。例如,在描述人体解剖学的本体中,词汇表可以包括诸如[器官]、[循环系统]、[心脏]等的术语,并且可以将术语[肌肉器官]定义为是[肌肉系统]的一部分的[器官],并且将术语[心脏]定义为是[循环系统]的一部分的[肌肉器官]。本体在语义网和e-Science中发挥主要作用,在e-Science中它们被广泛地用于,例如,生物信息学、医学术语和其他知识管理应用。本体论最重要的方面之一是它们包含以特殊方式结构化的知识。本体的用户通常对获得关于本体中描述的概念之间的关系的信息以及查询本体感兴趣。这两项任务都需要推理工具,可以从本体中明确说明的知识中获得新的知识。例如,推理工具应该能够推导出[心脏]是[肌肉系统]的一部分,这在解剖学本体中没有明确说明,但却是上述[心脏]和[肌肉器官]定义的逻辑结果。大多数现有本体推理器没有明确推导出本体公理的逻辑结果,而是检查是否有可能构建目标结果不成立的本体模型,例如,他们试图构建一个[心脏]是[循环系统]的一部分而不是[肌肉系统]的一部分的情况。如果这种情况是不可能的,那么可以得出结论,目标结果遵循本体中的公理。这种技术的一个问题是,当本体表达术语之间的长的且可能循环的依赖关系时,例如,[心]是[循环系统]的一部分,[肺]是[呼吸系统]的一部分,[气管]等。那么推理器必须构造非常大的模型。对于一些现有的医学本体,模型是如此之大,以至于它们不适合计算机的主存储器。另一个问题是本体可能潜在地具有大量不同的模型,其中的每一个模型必须由推理机独立地探索。本体语言提供了称为“数量限制”的构造器,这导致了特别大量的模型。数字限制用于在本体中指定定量信息,并且经常用于生物化学本体,例如表示[乙醇]分子包含{正好6}个[氢原子]。因此,模型构建推理机的这些局限性给大型医学和生物化学本体的开发带来了严重的问题--没有有效的推理工具,例如,在这个项目中,我们研究了另一种结果驱动的推理过程,这种推理过程不建立模型,而是显式地导出本体的逻辑结果。公理我们的初步调查表明,上述两个问题都可以避免后果驱动的推理过程:没有必要保持跟踪的大型模型,和本体公理的逻辑后果的数量通常是远远小于的大小和数量的模型。
项目成果
期刊论文数量(3)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
Consequence-based and fixed-parameter tractable reasoning in description logics
描述逻辑中基于结果和固定参数的易处理推理
- DOI:10.1016/j.artint.2014.01.002
- 发表时间:2014
- 期刊:
- 影响因子:14.4
- 作者:Simancík F
- 通讯作者:Simancík F
{{
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
- 资助金额:
$ 45.83万 - 项目类别:
Research Grant
ED3: Enabling analytics over Diverse Distributed Datasources
ED3:支持对不同分布式数据源的分析
- 批准号:
EP/N014359/1 - 财政年份:2016
- 资助金额:
$ 45.83万 - 项目类别:
Research Grant
DBOnto: Bridging Databases and Ontologies
DBOnto:桥接数据库和本体
- 批准号:
EP/L012138/1 - 财政年份:2014
- 资助金额:
$ 45.83万 - 项目类别:
Research Grant
ExODA: Integrating Description Logics and Database Technologies for Expressive Ontology-Based Data Access
ExODA:集成描述逻辑和数据库技术以实现基于表达本体的数据访问
- 批准号:
EP/H051511/1 - 财政年份:2011
- 资助金额:
$ 45.83万 - 项目类别:
Research Grant
HermiT: Reasoning with Large Ontologies
HermiT:利用大型本体进行推理
- 批准号:
EP/F065841/1 - 财政年份:2008
- 资助金额:
$ 45.83万 - 项目类别:
Research Grant
Reasoning Infrastructure for Ontologies and Instances
本体和实例的推理基础设施
- 批准号:
EP/E03781X/1 - 财政年份:2007
- 资助金额:
$ 45.83万 - 项目类别:
Research Grant
REOL: Reasoning for Expressive Ontology Languages
REOL:表达本体语言的推理
- 批准号:
EP/C537211/2 - 财政年份:2007
- 资助金额:
$ 45.83万 - 项目类别:
Research Grant
相似海外基金
CAREER: Manufacturing USA: Deep Learning to Understand Fatigue Performance and Processing Relationship of Complex Parts by Additive Manufacturing for High-consequence Applications
职业:美国制造:通过深度学习了解复杂零件的疲劳性能和加工关系,通过增材制造实现高后果应用
- 批准号:
2239307 - 财政年份:2023
- 资助金额:
$ 45.83万 - 项目类别:
Standard Grant
The Role of m6A-RNA Methylation in Memory Formation and Recall and Its Modulation and Influence on Long-Term Outcomes as a Consequence of Early Life Lead Exposure
m6A-RNA 甲基化在记忆形成和回忆中的作用及其对早期铅暴露对长期结果的影响
- 批准号:
10658020 - 财政年份:2023
- 资助金额:
$ 45.83万 - 项目类别:
Gene Regulation in Memory Circuits as a Consequence of Polysubstance Use
多物质使用导致的记忆电路基因调控
- 批准号:
10739399 - 财政年份:2023
- 资助金额:
$ 45.83万 - 项目类别:
Causes and consequence of short tandem repeat instability
短串联重复序列不稳定性的原因和后果
- 批准号:
2869560 - 财政年份:2023
- 资助金额:
$ 45.83万 - 项目类别:
Studentship
In-situ S/TEM investigation on nature and consequence of mechanically induced martensite in metallic materials
金属材料中机械诱导马氏体的性质和后果的原位 S/TEM 研究
- 批准号:
23K13222 - 财政年份:2023
- 资助金额:
$ 45.83万 - 项目类别:
Grant-in-Aid for Early-Career Scientists
LTREB Renewal: The Arctic Carbon and Climate (ACCLIMATE) Observatory: Tundra Ecosystem Carbon Balance and Old Carbon Loss as a Consequence of Permafrost Degradation
LTREB 更新:北极碳与气候 (ACCLIMATE) 观测站:苔原生态系统碳平衡和多年冻土退化后果造成的旧碳损失
- 批准号:
2309467 - 财政年份:2023
- 资助金额:
$ 45.83万 - 项目类别:
Continuing Grant
Outbursts on magnetized neutron stars as a consequence of long-term evolution of magnetic fields
磁场长期演化导致磁化中子星爆发
- 批准号:
23K03389 - 财政年份:2023
- 资助金额:
$ 45.83万 - 项目类别:
Grant-in-Aid for Scientific Research (C)
What triggers RV Fiber Re-Orientation in response to RV pressure overload, and what is its Consequence on Inter-Ventricular Decoupling?
是什么触发了右心室纤维重新定向以响应右心室压力过载,以及它对心室间解耦的影响是什么?
- 批准号:
10587587 - 财政年份:2023
- 资助金额:
$ 45.83万 - 项目类别:
Qin Imperial Iron, Tomb M1 and the First Emperor's Mausoleum: Character, Context and Consequence
秦皇铁、M1 墓和始皇陵:特征、背景和后果
- 批准号:
AH/W009552/1 - 财政年份:2022
- 资助金额:
$ 45.83万 - 项目类别:
Research Grant
Molecular Assessment of Cause and Consequence of Cellular Senescence in Diverse Midbrain Cell Types in Parkinson's Disease
帕金森病多种中脑细胞类型细胞衰老原因和后果的分子评估
- 批准号:
10662519 - 财政年份:2022
- 资助金额:
$ 45.83万 - 项目类别: