Reasoning with multi-version ontologies: A temporal logic approach

被引：0
|
作者：
Huang, ZS [1 ]
Stuckenschmidt, H [1 ]
机构：
[1] Vrije Univ Amsterdam, AI Dept, Amsterdam, Netherlands
来源：
SEMANTIC WEB - ISWC 2005, PROCEEDINGS | 2005年 / 3729卷
关键词：
D O I：
暂无
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
In this paper we propose a framework for reasoning with multi-version ontology, in which a temporal logic is developed to serve as its semantic foundation. We show that the temporal logic approach can provide a solid semantic foundation which can support various requirements on multi-version ontology reasoning. We have implemented the prototype of MORE (Multi-version Ontology REasoner), which is based on the proposed framework. We have tested MORE with several realistic ontologies. In this paper, we also discuss the implementation issues and report the experiments with MORE.
引用
收藏
页码：398 / 412
页数：15
相关论文
共 50 条
  • [21] Abductive Logic Programming for Normative Reasoning and Ontologies
    Gavanelli, Marco
    Lamma, Evelina
    Riguzzi, Fabrizio
    Bellodi, Elena
    Riccardo, Zese
    Cota, Giuseppe
    [J]. NEW FRONTIERS IN ARTIFICIAL INTELLIGENCE, 2017, 10091 : 187 - 203
  • [22] On the Semantics of Defeasible Reasoning for Description Logic Ontologies
    Viet-Hoai To
    Bac Le
    Ikeda, Mitsuru
    [J]. KNOWLEDGE AND SYSTEMS ENGINEERING (KSE 2013), VOL 1, 2014, 244 : 51 - 63
  • [23] Multi-version attack recovery for workflow systems
    Yu, M
    Liu, P
    Zang, WY
    [J]. 19TH ANNUAL COMPUTER SECURITY APPLICATIONS CONFERENCE, PROCEEDINGS, 2003, : 142 - 151
  • [24] A TimeStamp Based Multi-version STM Algorithm
    Kumar, Priyanka
    Peri, Sathya
    Vidyasankar, K.
    [J]. DISTRIBUTED COMPUTING AND NETWORKING, ICDCN 2014, 2014, 8314 : 212 - 226
  • [25] Reasoning on Datalog± Ontologies with Abductive Logic Programming
    Gavanelli, Marco
    Lamma, Evelina
    Riguzzi, Fabrizio
    Bellodi, Elena
    Zese, Riccardo
    Cota, Giuseppe
    [J]. FUNDAMENTA INFORMATICAE, 2018, 159 (1-2) : 65 - 93
  • [26] Reasoning in Description Logic Ontologies for Privacy Management
    Nuradiansyah, Adrian
    [J]. KUNSTLICHE INTELLIGENZ, 2020, 34 (03): : 411 - 415
  • [27] Reasoning in Description Logic Ontologies for Privacy Management
    Adrian Nuradiansyah
    [J]. KI - Künstliche Intelligenz, 2020, 34 : 411 - 415
  • [28] A Performance Model of Multi-Version Concurrency Control
    Di Sanzo, Pierangelo
    Ciciani, Bruno
    Quaglia, Francesco
    Sapienza, P.
    Romano, Paolo
    [J]. 2008 IEEE INTERNATIONAL SYMPOSIUM ON MODELING, ANALYSIS & SIMULATION OF COMPUTER AND TELECOMMUNICATION SYSTEMS (MASCOTS), 2008, : 75 - +
  • [29] Multi-version Checkpointing for Flash File Systems
    Chou, Shih-Chun
    Chang, Yuan-Hao
    Kuan, Yuan-Hung
    Huang, Po-Chun
    Tsao, Che-Wei
    [J]. 2016 21ST ASIA AND SOUTH PACIFIC DESIGN AUTOMATION CONFERENCE (ASP-DAC), 2016, : 436 - 443
  • [30] A Personalization Environment for Multi-version Clinical Guidelines
    Grandi, Fabio
    [J]. BIOMEDICAL ENGINEERING SYSTEMS AND TECHNOLOGIES, 2011, 127 : 57 - 69
12345