quantMD: Ontology-Based Management for Many-Dimensional Quantitative Data

quantMD：基于本体的多维定量数据管理

基本信息

  • 批准号：
    EP/S032282/1
  • 负责人：
    Michael Zakharyaschev
  • 金额：
    $ 57.72万
  • 依托单位：
    Birkbeck, University of London
  • 依托单位国家：
    英国
  • 项目类别：
    Research Grant
  • 财政年份：
    2019
  • 资助国家：
    英国
  • 起止时间：
    2019 至 无数据
  • 项目状态：
    已结题

项目摘要

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）
On the First-Order Rewritability of Ontology-Mediated Queries in Linear Temporal Logic (Extended Abstract)
线性时态逻辑中本体介导的查询的一阶可重写性（扩展摘要）
  • DOI：
    10.24963/ijcai.2022/794
  • 发表时间：
    2022
  • 期刊：
  • 影响因子：
    0
  • 作者：
    Artale A
  • 通讯作者：
    Artale A
First-Order Rewritability and Complexity of Two-Dimensional Temporal Ontology-Mediated Queries
  • DOI：
    10.1613/jair.1.13511
  • 发表时间：
    2021-11
  • 期刊：
    J. Artif. Intell. Res.
  • 影响因子：
    0
  • 作者：
    A. Artale;R. Kontchakov;Alisa Kovtunova;V. Ryzhikov;F. Wolter;M. Zakharyaschev
  • 通讯作者：
    A. Artale;R. Kontchakov;Alisa Kovtunova;V. Ryzhikov;F. Wolter;M. Zakharyaschev
A tetrachotomy of ontology-mediated queries with a covering axiom
具有覆盖公理的本体介导查询的四分法
  • DOI：
    10.1016/j.artint.2022.103738
  • 发表时间：
    2022
  • 期刊：
    Artificial Intelligence
  • 影响因子：
    14.4
  • 作者：
    Gerasimova O
  • 通讯作者：
    Gerasimova O
Query inseparability for ALC ontologies
ALC 本体的查询不可分离性
  • DOI：
    10.1016/j.artint.2018.09.003
  • 发表时间：
    2019
  • 期刊：
    Artificial Intelligence
  • 影响因子：
    14.4
  • 作者：
    Botoeva E
  • 通讯作者：
    Botoeva E
First-Order Rewritability of Ontology-Mediated Queries in Linear Temporal Logic
  • DOI：
    10.1016/j.artint.2021.103536
  • 发表时间：
    2020-04
  • 期刊：
    Artif. Intell.
  • 影响因子：
    0
  • 作者：
    A. Artale;R. Kontchakov;Alisa Kovtunova;V. Ryzhikov;F. Wolter;M. Zakharyaschev
  • 通讯作者：
    A. Artale;R. Kontchakov;Alisa Kovtunova;V. Ryzhikov;F. Wolter;M. Zakharyaschev
{{ item.title }}
{{ item.translation_title }}
  • DOI：
    {{ item.doi }}
  • 发表时间：
    {{ item.publish_year }}
  • 期刊：
    {{ item.journal_name }}
  • 影响因子：
    {{ 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
  • 期刊：
    Description Logics
  • 影响因子：
    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
  • 期刊：
    Studia Logica
  • 影响因子：
    0.600
  • 作者：
    Frank Wolter;Michael Zakharyaschev
  • 通讯作者：
    Michael Zakharyaschev
Multi-Dimensional Modal Logic, Maarten Marx and Yde Venema
A Tableau Decision Algorithm for Modalized ALC with Constant Domains
  • DOI：
    10.1023/a:1021308527417
  • 发表时间：
    2002-01-01
  • 期刊：
    Studia Logica
  • 影响因子：
    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
  • 期刊：
    Studia Logica
  • 影响因子：
    0.600
  • 作者：
    Michael Zakharyaschev
  • 通讯作者：
    Michael Zakharyaschev

Michael Zakharyaschev的其他文献

{{ item.title }}
{{ item.translation_title }}
  • DOI：
    {{ item.doi }}
  • 发表时间：
    {{ item.publish_year }}
  • 期刊：
    {{ item.journal_name }}
  • 影响因子：
    {{ item.factor }}
  • 作者：
    {{ item.authors }}
  • 通讯作者：
    {{ item.author }}
立即体验

{{ truncateString('Michael Zakharyaschev', 18)}}的其他基金

iTract: Islands of Tractability in Ontology-Based Data Access
iTract：基于本体的数据访问中的易处理性孤岛
  • 批准号：
    EP/M012670/1
  • 财政年份：
    2015
  • 资助金额：
    $ 57.72万
  • 项目类别：
    Research Grant
ExODA: Integrating Description Logics and Database Technologies for Expressive Ontology-Based Data Access
ExODA：集成描述逻辑和数据库技术以实现基于表达本体的数据访问
  • 批准号：
    EP/H05099X/1
  • 财政年份：
    2010
  • 资助金额：
    $ 57.72万
  • 项目类别：
    Research Grant
Computational Logic of Euclidean Spaces
欧几里得空间的计算逻辑
  • 批准号：
    EP/E034942/1
  • 财政年份：
    2007
  • 资助金额：
    $ 57.72万
  • 项目类别：
    Research Grant

相似国自然基金

农业数字防灾减灾资源规划机理分析与系统实现：基于EA和Ontology的研究
  • 批准号：
    71363044
  • 批准年份：
    2013
  • 资助金额：
    34.0 万元
  • 项目类别：
    地区科学基金项目
基于Ontology的藏文语料库检索关键技术研究
  • 批准号：
    61262053
  • 批准年份：
    2012
  • 资助金额：
    45.0 万元
  • 项目类别：
    地区科学基金项目
基于Geo-Ontology的地理信息智能服务关键技术
  • 批准号：
    41271392
  • 批准年份：
    2012
  • 资助金额：
    80.0 万元
  • 项目类别：
    面上项目
农业Ontology的构建和转化研究
  • 批准号：
    70573116
  • 批准年份：
    2005
  • 资助金额：
    17.0 万元
  • 项目类别：
    面上项目
基于Ontology的自然语言描述的空间概念三维可视化研究
  • 批准号：
    60575041
  • 批准年份：
    2005
  • 资助金额：
    23.0 万元
  • 项目类别：
    面上项目
面向特定领域基于Ontology的跨语言信息检索技术研究
  • 批准号：
    60302021
  • 批准年份：
    2003
  • 资助金额：
    20.0 万元
  • 项目类别：
    青年科学基金项目
面向语义Web的Ontology计算与语义推理技术研究
  • 批准号：
    60363006
  • 批准年份：
    2003
  • 资助金额：
    7.0 万元
  • 项目类别：
    地区科学基金项目
基于Ontology案例推理隐性知识管理系统及在知识创新型组织的应用
  • 批准号：
    70201009
  • 批准年份：
    2002
  • 资助金额：
    13.0 万元
  • 项目类别：
    青年科学基金项目
基于ontology语义信息的半结构化数据管理方法研究
  • 批准号：
    60172012
  • 批准年份：
    2001
  • 资助金额：
    15.0 万元
  • 项目类别：
    面上项目

相似海外基金

Automatic Methods for Knowledge Graph Construction using Ontology-based Context Management
使用基于本体的上下文管理的知识图谱自动构建方法
  • 批准号：
    23H03462
  • 财政年份：
    2023
  • 资助金额：
    $ 57.72万
  • 项目类别：
    Grant-in-Aid for Scientific Research (B)
Ontology-based Approach to Enhance Security in Network Architecture and in System Design
基于本体的方法增强网络架构和系统设计的安全性
  • 批准号：
    RGPIN-2020-06859
  • 财政年份：
    2022
  • 资助金额：
    $ 57.72万
  • 项目类别：
    Discovery Grants Program - Individual
Ontology of International Order: Exploring common grounds of IR based on Philosophy of Language and Sociology
国际秩序本体论：基于语言哲学和社会学探讨国际关系的共同点
  • 批准号：
    22K13354
  • 财政年份：
    2022
  • 资助金额：
    $ 57.72万
  • 项目类别：
    Grant-in-Aid for Early-Career Scientists
Auto Security: Socio-Technical Ontology-based Security Automation for Digital Railway Systems
汽车安全：数字铁路系统基于社会技术本体的安全自动化
  • 批准号：
    10048592
  • 财政年份：
    2022
  • 资助金额：
    $ 57.72万
  • 项目类别：
    Collaborative R&D
Ontology-based Security Automation for Digital Railway Systems (DRS’OSA)
基于本体的数字铁路系统安全自动化 (DRS™OSA)
  • 批准号：
    10032446
  • 财政年份：
    2022
  • 资助金额：
    $ 57.72万
  • 项目类别：
    Collaborative R&D
Enhanced ontology engineering through a Web-based, Cloud-based software architecture
通过基于网络、云的软件架构增强本体工程
  • 批准号：
    10405968
  • 财政年份：
    2021
  • 资助金额：
    $ 57.72万
  • 项目类别：
Ontology-based Approach to Enhance Security in Network Architecture and in System Design
基于本体的方法增强网络架构和系统设计的安全性
  • 批准号：
    RGPIN-2020-06859
  • 财政年份：
    2021
  • 资助金额：
    $ 57.72万
  • 项目类别：
    Discovery Grants Program - Individual
Ontology Based Data Access on Big Data Platforms
大数据平台上基于本体的数据访问
  • 批准号：
    531861-2018
  • 财政年份：
    2021
  • 资助金额：
    $ 57.72万
  • 项目类别：
    Collaborative Research and Development Grants
Collaborative Research: ABI Innovation: FuTRES, an Ontology-Based Functional Trait Resource for Paleo- and Neo-biologists
合作研究：ABI 创新：FuTRES，为古生物学家和新生物学家提供的基于本体的功能性状资源
  • 批准号：
    2201182
  • 财政年份：
    2021
  • 资助金额：
    $ 57.72万
  • 项目类别：
    Standard Grant
Nature-based solutions: ontology, knowledge and expertise in the Anthropocene
基于自然的解决方案：人类世的本体论、知识和专业知识
  • 批准号：
    2439907
  • 财政年份：
    2020
  • 资助金额：
    $ 57.72万
  • 项目类别：
    Studentship
{{ showInfoDetail.title }}

作者：{{ showInfoDetail.author }}

知道了