刷新
{{item.name}}会员
ExODA: Integrating Description Logics and Database Technologies for Expressive Ontology-Based Data Access
ExODA：集成描述逻辑和数据库技术以实现基于表达本体的数据访问
基本信息
- 批准号：EP/H05099X/1
- 负责人：
- 金额：$ 34.62万
- 依托单位：
- 依托单位国家：英国
- 项目类别：Research Grant
- 财政年份：2010
- 资助国家：英国
- 起止时间：2010 至 无数据
- 项目状态：已结题
- 来源：
- 关键词：
项目摘要
Abstracts are not currently available in GtR for all funded research. This is normally because the abstract was not required at the time of proposal submission, but may be because it included sensitive information such as personal details.
目前GtR中并没有提供所有资助研究的摘要。这通常是因为在提交提案时不需要摘要，但也可能是因为它包含敏感信息，如个人详细信息。
项目成果
期刊论文数量（10）
专著数量（0）
科研奖励数量（0）
会议论文数量（0）
专利数量（0）
Modal definability of first-order formulas with free variables and query answering
- DOI：10.1016/j.jal.2013.03.007
- 发表时间：2013-06
- 期刊：
- 影响因子：0
- 作者：S. Kikot;Evgeny Zolin
- 通讯作者：S. Kikot;Evgeny Zolin
Conjunctive Query Answering with OWL 2 QL
使用 OWL 2 QL 进行联合查询应答
- DOI：
- 发表时间：2012
- 期刊：
- 影响因子：0
- 作者：Kikot S
- 通讯作者：Kikot S
A Cookbook for Temporal Conceptual Data Modelling with Description Logics
- DOI：10.1145/2629565
- 发表时间：2012-09
- 期刊：
- 影响因子：0
- 作者：A. Artale;R. Kontchakov;V. Ryzhikov;M. Zakharyaschev
- 通讯作者：A. Artale;R. Kontchakov;V. Ryzhikov;M. Zakharyaschev
On the succinctness of query rewriting over shallow ontologies
浅层本体查询重写的简洁性
- DOI：10.1145/2603088.2603131
- 发表时间：2014
- 期刊：
- 影响因子：0
- 作者：Kikot S
- 通讯作者：Kikot S
{{
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 }}
Michael Zakharyaschev其他文献
Temporalising OWL 2 QL
时间化 OWL 2 QL
- DOI：
- 发表时间：
2013 - 期刊：
- 影响因子：0
- 作者：
Alessandro Artale;Roman Kontchakov;F. Wolter;Michael Zakharyaschev - 通讯作者：
Michael Zakharyaschev
Ian Pratt-Hartmann, Fragments of First-Order Logic, vol. 56 of Oxford Logic Guides, Oxford University Press, 2023, pp. 672; ISBN: 978-0192867964 (Hardback) £127.50.
- DOI：
10.1007/s11225-025-10194-w - 发表时间：
2025-06-26 - 期刊：
- 影响因子：0.600
- 作者：
Frank Wolter;Michael Zakharyaschev - 通讯作者：
Michael Zakharyaschev
Multi-Dimensional Modal Logic, Maarten Marx and Yde Venema
- DOI：
10.1023/a:1008382206188 - 发表时间：
2000-01-01 - 期刊：
- 影响因子：0.600
- 作者：
Michael Zakharyaschev - 通讯作者：
Michael Zakharyaschev
A Tableau Decision Algorithm for Modalized ALC with Constant Domains
- DOI：
10.1023/a:1021308527417 - 发表时间：
2002-01-01 - 期刊：
- 影响因子：0.600
- 作者：
Carsten Lutz;Holger Sturm;Frank Wolter;Michael Zakharyaschev - 通讯作者：
Michael Zakharyaschev
The Greatest Extension of S4 into which Intuitionistic Logic is Embeddable
- DOI：
10.1023/a:1005084328298 - 发表时间：
1997-01-01 - 期刊：
- 影响因子：0.600
- 作者：
Michael Zakharyaschev - 通讯作者：
Michael Zakharyaschev
Michael Zakharyaschev的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('Michael Zakharyaschev', 18)}}的其他基金
quantMD: Ontology-Based Management for Many-Dimensional Quantitative Data
quantMD：基于本体的多维定量数据管理
- 批准号：
EP/S032282/1 - 财政年份：2019
- 资助金额：
$ 34.62万 - 项目类别：
Research Grant
iTract: Islands of Tractability in Ontology-Based Data Access
iTract：基于本体的数据访问中的易处理性孤岛
- 批准号：
EP/M012670/1 - 财政年份：2015
- 资助金额：
$ 34.62万 - 项目类别：
Research Grant
Computational Logic of Euclidean Spaces
欧几里得空间的计算逻辑
- 批准号：
EP/E034942/1 - 财政年份：2007
- 资助金额：
$ 34.62万 - 项目类别：
Research Grant
相似海外基金
Challenging Health Outcomes/Integrating Care Environments Ph3: A Community Consortium to Tackle Health Disparity for People Living with Mental Illness
挑战健康成果/整合护理环境第三阶段：解决精神疾病患者健康差距的社区联盟
- 批准号：
AH/Z505420/1 - 财政年份：2024
- 资助金额：
$ 34.62万 - 项目类别：
Research Grant
Evaluating the effectiveness and sustainability of integrating helminth control with seasonal malaria chemoprevention in West African children
评估西非儿童蠕虫控制与季节性疟疾化学预防相结合的有效性和可持续性
- 批准号：
MR/X023133/1 - 财政年份：2024
- 资助金额：
$ 34.62万 - 项目类别：
Fellowship
Integrating metabolic signals through FOXO transcriptional complexes.
通过 FOXO 转录复合物整合代谢信号。
- 批准号：
BB/X000265/1 - 财政年份：2024
- 资助金额：
$ 34.62万 - 项目类别：
Research Grant
Collaborative Research: BoCP-Implementation: Alpine plants as a model system for biodiversity dynamics in a warming world: Integrating genetic, functional, and community approaches
合作研究：BoCP-实施：高山植物作为变暖世界中生物多样性动态的模型系统：整合遗传、功能和社区方法
- 批准号：
2326020 - 财政年份：2024
- 资助金额：
$ 34.62万 - 项目类别：
Continuing Grant
Collaborative Research: BoCP-Implementation: Alpine plants as a model system for biodiversity dynamics in a warming world: Integrating genetic, functional, and community approaches
合作研究：BoCP-实施：高山植物作为变暖世界中生物多样性动态的模型系统：整合遗传、功能和社区方法
- 批准号：
2326021 - 财政年份：2024
- 资助金额：
$ 34.62万 - 项目类别：
Standard Grant
Integrating Self-Regulated Learning Into STEM Courses: Maximizing Learning Outcomes With The Success Through Self-Regulated Learning Framework
将自我调节学习融入 STEM 课程：通过自我调节学习框架取得成功，最大化学习成果
- 批准号：
2337176 - 财政年份：2024
- 资助金额：
$ 34.62万 - 项目类别：
Standard Grant
CAREER: Hybridization and radiation: Integrating across phylogenomics, ancestral niche evolution, and pollination biology
职业：杂交和辐射：系统基因组学、祖先生态位进化和授粉生物学的整合
- 批准号：
2337784 - 财政年份：2024
- 资助金额：
$ 34.62万 - 项目类别：
Continuing Grant
EAGER: Integrating Pathological Image and Biomedical Text Data for Clinical Outcome Prediction
EAGER：整合病理图像和生物医学文本数据进行临床结果预测
- 批准号：
2412195 - 财政年份：2024
- 资助金额：
$ 34.62万 - 项目类别：
Standard Grant
Integrating Signals in Iron Homeostasis
将信号整合到铁稳态中
- 批准号：
2343917 - 财政年份：2024
- 资助金额：
$ 34.62万 - 项目类别：
Standard Grant
FDSS Track 1: Integrating Research and Education in Magnetosphere-Ionosphere-Atmosphere Coupling at Clemson University
FDSS Track 1：克莱姆森大学磁层-电离层-大气耦合研究与教育相结合
- 批准号：
2347149 - 财政年份：2024
- 资助金额：
$ 34.62万 - 项目类别：
Continuing Grant