Belief Base Revision for Datalog plus/- Ontologies

被引：1

作者：

Wang, Songxin ^{[1
,2
]}

Pan, Jeff Z. ^{[1
]}

Zhao, Yuting ^{[1
]}

Li, Wei ^{[3
]}

Han, Songqiao ^{[2
]}

Han, Dongmei ^{[2
]}

机构：

[1] Univ Aberdeen, Dept Comp Sci, Aberdeen, Scotland

[2] Shanghai Univ Finance & Econ, Dept Comp Sci & Technol, Shanghai, Peoples R China

[3] Fudan Univ, Sch Comp Sci, Shanghai, Peoples R China

来源：

SEMANTIC TECHNOLOGY | 2014年 / 8388卷

基金：

英国工程与自然科学研究理事会; 中国国家自然科学基金;

关键词：

Datalog plus /-; Ontology; Belief revision; Kernel;

D O I：

10.1007/978-3-319-06826-8_14

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

Datalog+/- is a family of emerging ontology languages that can be used for representing and reasoning over lightweight ontologies in Semantic Web. In this paper, we propose an approach to performing belief base revision for Datalog+/- ontologies. We define a kernel based belief revision operator for Datalog+/- and study its properties using extended postulates, as well as an algorithm to revise Datalog+/- ontologies. Finally, we give the complexity results by showing that query answering for a revised linear Datalog+/- ontology is tractable.

引用

页码：175 / 186

页数：12

共 12 条

[1]

[Anonymous], 2006, PROC AAAI C ARTIF IN

[2] A general Datalog-based framework for tractable query answering over ontologies [J].

Cali, Andrea ;

Gottlob, Georg ;

Lukasiewicz, Thomas .

JOURNAL OF WEB SEMANTICS, 2012, 14 :57-83

[3] Query answering under probabilistic uncertainty in Datalog plus / - ontologies [J].

Gottlob, Georg ;

Lukasiewicz, Thomas ;

Martinez, Maria Vanina ;

Simari, Gerardo I. .

ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, 2013, 69 (01) :37-72

[4]

Hansson S. O., 1997, J APPL NONCLASSICAL, V7, P151, DOI DOI 10.1080/11663081.1997.10510904

[5]

Koster A., 2013, AGREEMENT TECHNOLOGI

[6]

Lukasiewicz T., 2012, P 20 EUR C ART INT E, P558

[7]

Lukasiewicz T., 2013, P 32 ACM S PRINC DAT

[8] Exploiting Tractable Fuzzy and Crisp Reasoning in Ontology Applications [J].

Pan, Jeff Z. ;

Thomas, Edward ;

Ren, Yuan ;

Taylor, Stuart .

IEEE COMPUTATIONAL INTELLIGENCE MAGAZINE, 2012, 7 (02) :45-53

[9]

Qi GL, 2008, LECT NOTES COMPUT SC, V5318, P419

[10] Base Revision for Ontology Debugging [J].

Ribeiro, Marcio M. ;

Wassermann, Renata .

JOURNAL OF LOGIC AND COMPUTATION, 2009, 19 (05) :721-743

← 1 2 →