Extending description logic for reasoning about ontology evolution

被引：0
|
作者：
Chen, Chuming [1 ]
Matthews, Manton M. [1 ]
机构：
[1] Univ S Carolina, Dept Comp Sci & Engn, Columbia, SC 29208 USA
来源：
PROCEEDINGS OF THE IEEE/WIC/ACM INTERNATIONAL CONFERENCE ON WEB INTELLIGENCE: WI 2007 | 2007年
关键词：
D O I：
暂无
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
Ontologies play a key role in achieving global automatic information integration and sharing on the Semantic Web. They allow intelligent applications to exchange information through a shared and formal conceptualization of an application domain. Understanding ontology evolution can help both ontology developers and users evaluating the potential consequences of ontology changes and act accordingly. Our contribution is proposing a temporal paradigm for ontology evolution and extending Description Logic with Temporal Logic operators to formally characterize and reason about ontology evolution. We investigate related reasoning problems and algorithm.
引用
收藏
页码：452 / 456
页数：5
相关论文
共 50 条
  • [1] An extending description logic for action formalism in event ontology
    [J]. Liu, W. (liuw@shu.edu.cn), 1600, Inderscience Enterprises Ltd., 29, route de Pre-Bois, Case Postale 856, CH-1215 Geneva 15, CH-1215, Switzerland (09):
  • [2] An extending description logic for action formalism in event ontology
    Liu, Wei
    Xu, Wenjie
    Wang, Dong
    Zhang, Xujie
    Liu, Zongtian
    [J]. INTERNATIONAL JOURNAL OF COMPUTATIONAL SCIENCE AND ENGINEERING, 2014, 9 (03) : 205 - 214
  • [3] Extending Description Logics with Uncertainty Reasoning in Possibilistic Logic
    Qi, Guilin
    Ji, Qiu
    Pan, Jeff Z.
    Du, Jianfeng
    [J]. INTERNATIONAL JOURNAL OF INTELLIGENT SYSTEMS, 2011, 26 (04) : 353 - 381
  • [4] Extending description logics with uncertainty reasoning in possibilistic logic
    Qi, Guilin
    Pan, Jeff Z.
    Ji, Qiu
    [J]. SYMBOLIC AND QUANTITATIVE APPROACHES TO REASONING WITH UNCERTAINTY, PROCEEDINGS, 2007, 4724 : 828 - +
  • [5] Study of Semantic Reasoning based on Ontology Description Logic
    Wang, Jinhuan
    Li, Baomin
    [J]. PROCEEDINGS OF 2016 IEEE ADVANCED INFORMATION MANAGEMENT, COMMUNICATES, ELECTRONIC AND AUTOMATION CONTROL CONFERENCE (IMCEC 2016), 2016, : 1869 - 1872
  • [6] An argumentation framework for description logic ontology reasoning and management
    Xiaowang Zhang
    Zuoquan Lin
    [J]. Journal of Intelligent Information Systems, 2013, 40 : 375 - 403
  • [7] An argumentation framework for description logic ontology reasoning and management
    Zhang, Xiaowang
    Lin, Zuoquan
    [J]. JOURNAL OF INTELLIGENT INFORMATION SYSTEMS, 2013, 40 (03) : 375 - 403
  • [8] A framework for extending fuzzy description logic to ontology based document processing
    Singh, S
    Dey, L
    Abulaish, M
    [J]. ADVANCES IN WEB INTELLIGENCE, PROCEEDINGS, 2004, 3034 : 95 - 104
  • [9] A dynamic description logic for representation and reasoning about actions
    Chang, Liang
    Lin, Fen
    Shi, Zhongzhi
    [J]. KNOWLEDGE SCIENCE, ENGINEERING AND MANAGEMENT, 2007, 4798 : 115 - 127
  • [10] A temporal description logic for reasoning about actions and plans
    Artale, A
    Franconi, E
    [J]. JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH, 1998, 9 : 463 - 506
12345