课题基金 / 基金详情

iTract: Islands of Tractability in Ontology-Based Data Access

iTract: Islands of Tractability in Ontology-Based Data Access
iTract：基于本体的数据访问中的易处理性孤岛
批准号：
EP/M012670/1
负责人：
Michael Zakharyaschev
金额：
$45.12万
依托单位：
Birkbeck, University of London
依托单位国家：
英国
项目类别：
Research Grant
财政年份：
2015
资助国家：
英国
项目状态：
已结题
起止时间：
2015 至 --
来源：
https://gtr.ukri.org/projects?ref=EP%2FM012670%2F1
关键词：
iTractIslandsTractabilityOntologyBased

项目摘要

项目成果

Michael Zakharyaschev的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
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.
期刊论文(10)
专著(0)
科研奖励(0)
会议论文
Query-Based Entailment and Inseparability for ALC Ontologies (Full Version)
ALC 本体基于查询的蕴涵和不可分离性（完整版）
DOI： 10.48550/arxiv.1604.04164
发表时间： 2016
期刊：
影响因子： --
作者： [Botoeva E]
通讯作者： Botoeva E
First-order rewritability of temporal ontology-mediated queries
时间本体介导的查询的一阶可重写性
DOI： --
发表时间： 2015
期刊： IJCAI International Joint Conference on Artificial Intelligence
影响因子： --
作者： [Artale A.]
通讯作者： Artale A.
Games for query inseparability of description logic knowledge bases
描述逻辑知识库查询不可分性的博弈
DOI： 10.1016/j.artint.2016.01.010
发表时间： 2016
期刊： Artificial Intelligence
影响因子： 14.4
作者： [Botoeva E]
通讯作者： Botoeva E
Ontology-Mediated Queries Combined Complexity and Succinctness of Rewritings via Circuit Complexity
本体介导的查询通过电路复杂性结合了重写的复杂性和简洁性
DOI： 10.1145/3191832
发表时间： 2018
期刊： Journal of the ACM
影响因子： 2.5
作者： [Bienvenu M]
通讯作者： Bienvenu M
共 8 条
    quantMD: Ontology-Based Management for Many-Dimensional Quantitative Data
    • 批准号：
      EP/S032282/1
    • 项目类别：
      Research Grant
    • 资助金额：
      $57.72万
    • 财政年份：
      2019
    • 负责人：
      Michael Zakharyaschev
    • 依托单位：
      Birkbeck, University of London
    ExODA: Integrating Description Logics and Database Technologies for Expressive Ontology-Based Data Access
    • 批准号：
      EP/H05099X/1
    • 项目类别：
      Research Grant
    • 资助金额：
      $34.62万
    • 财政年份：
      2010
    • 负责人：
      Michael Zakharyaschev
    • 依托单位：
      Birkbeck, University of London
    Computational Logic of Euclidean Spaces
    • 批准号：
      EP/E034942/1
    • 项目类别：
      Research Grant
    • 资助金额：
      $31.48万
    • 财政年份：
      2007
    • 负责人：
      Michael Zakharyaschev
    • 依托单位：
      Birkbeck, University of London
    海外基金