刷新
{{item.name}}会员
iTract: Islands of Tractability in Ontology-Based Data Access
iTract：基于本体的数据访问中的易处理性孤岛
基本信息
- 批准号：EP/M012670/1
- 负责人：
- 金额：$ 45.12万
- 依托单位：
- 依托单位国家：英国
- 项目类别：Research Grant
- 财政年份：2015
- 资助国家：英国
- 起止时间：2015 至 无数据
- 项目状态：已结题
- 来源：
- 关键词：
项目摘要
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）
Query-Based Entailment and Inseparability for ALC Ontologies (Full Version)
ALC 本体基于查询的蕴涵和不可分离性（完整版）
- DOI：10.48550/arxiv.1604.04164
- 发表时间：2016
- 期刊：
- 影响因子：0
- 作者：Botoeva E
- 通讯作者：Botoeva E
First-order rewritability of temporal ontology-mediated queries
时间本体介导的查询的一阶可重写性
- DOI：
- 发表时间：2015
- 期刊：
- 影响因子：0
- 作者：Artale A.
- 通讯作者：Artale A.
Games for query inseparability of description logic knowledge bases
描述逻辑知识库查询不可分性的博弈
- DOI：10.1016/j.artint.2016.01.010
- 发表时间：2016
- 期刊：
- 影响因子：14.4
- 作者：Botoeva E
- 通讯作者：Botoeva E
Ontology-Mediated Queries Combined Complexity and Succinctness of Rewritings via Circuit Complexity
本体介导的查询通过电路复杂性结合了重写的复杂性和简洁性
- DOI：10.1145/3191832
- 发表时间：2018
- 期刊：
- 影响因子：2.5
- 作者：Bienvenu M
- 通讯作者：Bienvenu M
Query-based entailment and inseparability for ALC ontologies
ALC 本体的基于查询的蕴涵和不可分性
- DOI：
- 发表时间：2016
- 期刊：
- 影响因子：0
- 作者：Botoeva E.
- 通讯作者：Botoeva E.
{{
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
- 资助金额：
$ 45.12万 - 项目类别：
Research Grant
ExODA: Integrating Description Logics and Database Technologies for Expressive Ontology-Based Data Access
ExODA：集成描述逻辑和数据库技术以实现基于表达本体的数据访问
- 批准号：
EP/H05099X/1 - 财政年份：2010
- 资助金额：
$ 45.12万 - 项目类别：
Research Grant
Computational Logic of Euclidean Spaces
欧几里得空间的计算逻辑
- 批准号：
EP/E034942/1 - 财政年份：2007
- 资助金额：
$ 45.12万 - 项目类别：
Research Grant
相似海外基金
Collaborative Research: Unlocking the evolutionary history of Schiedea (carnation family, Caryophyllaceae): rapid radiation of an endemic plant genus in the Hawaiian Islands
合作研究：解开石竹科（石竹科）石竹的进化史：夏威夷群岛特有植物属的快速辐射
- 批准号：
2426560 - 财政年份：2024
- 资助金额：
$ 45.12万 - 项目类别：
Standard Grant
NSF PRFB FY 2023: Thermoregulatory evolution of hummingbirds: Using urban heat islands as a globally replicated natural experiment
NSF PRFB 2023 财年：蜂鸟的体温调节进化：利用城市热岛作为全球复制的自然实验
- 批准号：
2305367 - 财政年份：2024
- 资助金额：
$ 45.12万 - 项目类别：
Fellowship Award
The Pleistocene history of coral reef growth and coral community changes in the Ryukyu Islands and Hawaii
琉球群岛和夏威夷的更新世珊瑚礁生长史和珊瑚群落变化
- 批准号：
24K07155 - 财政年份：2024
- 资助金额：
$ 45.12万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
Atomic scale reactivity of small islands of a bimetallic alloy on ceria to small molecules investigated by ultrahigh resolution atomic force microscopy
通过超高分辨率原子力显微镜研究二氧化铈上双金属合金小岛对小分子的原子尺度反应性
- 批准号：
24K01350 - 财政年份：2024
- 资助金额：
$ 45.12万 - 项目类别：
Grant-in-Aid for Scientific Research (B)
Enhancing Coastal Resilience through Participatory Transformation of Barrier Islands
通过屏障岛的参与式改造增强沿海地区的恢复能力
- 批准号：
2242572 - 财政年份：2024
- 资助金额：
$ 45.12万 - 项目类别：
Standard Grant
IRES Track I: Island Invasion Biology - Leveraging the Galapagos and Hawaiian Islands to provide immersive undergraduate research experiences.
IRES 轨道 I：岛屿入侵生物学 - 利用加拉帕戈斯群岛和夏威夷群岛提供沉浸式本科生研究体验。
- 批准号：
2245931 - 财政年份：2024
- 资助金额：
$ 45.12万 - 项目类别：
Standard Grant
NSF Convergence Accelerator Track K: Towards Resilient, Equitable, Safe and Sustainable Water for Islands (RESSI-H2O)
NSF 融合加速器轨道 K：为岛屿提供有弹性、公平、安全和可持续的水 (RESSI-H2O)
- 批准号：
2344418 - 财政年份：2024
- 资助金额：
$ 45.12万 - 项目类别：
Standard Grant
Driving Innovation Responsibly: Commercialising CAV Services in the Scottish Highlands and Islands
负责任地推动创新：在苏格兰高地和岛屿实现 CAV 服务的商业化
- 批准号：
10085345 - 财政年份：2024
- 资助金额：
$ 45.12万 - 项目类别：
Legacy Department of Trade & Industry
University of the Highlands and Islands and Highland Distillers Limited KTP 23_24 R3
高地和群岛大学和高地酿酒有限公司 KTP 23_24 R3
- 批准号：
10082500 - 财政年份：2024
- 资助金额：
$ 45.12万 - 项目类别：
Knowledge Transfer Network
Open Access Block Award 2024 - University of the Highlands and Islands
2024 年开放访问区块奖 - 高地和群岛大学
- 批准号：
EP/Z532642/1 - 财政年份：2024
- 资助金额：
$ 45.12万 - 项目类别：
Research Grant