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 条
  • [1] A Defeasible Reasoning Approach for Description Logic Ontologies
    Moodley, Kody
    Meyer, Thomas
    Varzinczak, Ivan Jose
    [J]. PROCEEDINGS OF THE SOUTH AFRICAN INSTITUTE FOR COMPUTER SCIENTISTS AND INFORMATION TECHNOLOGISTS CONFERENCE, 2012, : 69 - 78
  • [2] REFIXAR: Multi-version Reasoning for Automated Repair of Regression Errors
    Le, Xuan-Bach D.
    Le, Quang Loc
    [J]. 2021 IEEE 32ND INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING (ISSRE 2021), 2021, : 162 - 172
  • [3] Reasoning about the Reliability of Multi-Version, Diverse Real-Time Systems
    Burns, A.
    Littlewood, B.
    [J]. 31ST IEEE REAL-TIME SYSTEMS SYMPOSIUM (RTSS 2010), 2010, : 73 - 81
  • [4] Multi-level and Multi-version Approach for Software Development Dataset
    Zhu J.-X.
    Zhou M.-H.
    [J]. Ruan Jian Xue Bao/Journal of Software, 2019, 30 (07): : 2109 - 2123
  • [5] Modularity and temporal reasoning: a logic programming approach
    Nogueira, Vitor
    Abreu, Salvador
    [J]. TIME 2007: 14TH INTERNATIONAL SYMPOSIUM ON TEMPORAL REPRESENTATION AND REASONING, PROCEEDINGS, 2007, : 191 - 191
  • [6] Ontologies and Logic Reasoning as Tools in Humanities?
    Zollner-Weber, Amelie
    [J]. DIGITAL HUMANITIES QUARTERLY, 2009, 3 (04):
  • [7] Multi-Version Coding in Distributed Storage
    Wang, Zhiying
    Cadambe, Viveck
    [J]. 2014 IEEE INTERNATIONAL SYMPOSIUM ON INFORMATION THEORY (ISIT), 2014, : 871 - 875
  • [8] Multi-version Data Warehouse: A Survey
    Saroha, Kriti
    Gosain, Anjana
    [J]. 2014 5TH INTERNATIONAL CONFERENCE CONFLUENCE THE NEXT GENERATION INFORMATION TECHNOLOGY SUMMIT (CONFLUENCE), 2014, : 40 - 45
  • [9] When is Multi-version Checkpointing Needed?
    Lu, Guoming
    Zheng, Ziming
    Chien, Andrew A.
    [J]. FTXS'13: PROCEEDINGS OF THE 3RD ACM WORKSHOP ON FAULT-TOLERANCE FOR HPC AT EXTREME SCALE, 2013, : 49 - 56
  • [10] Multi-version Coding with Side Information
    Ali, Ramy E.
    Cadambe, Viveck R.
    Llorca, Jaime
    Tulino, Antonia M.
    [J]. 2018 IEEE INTERNATIONAL SYMPOSIUM ON INFORMATION THEORY (ISIT), 2018, : 1934 - 1938
12345