Belief base revision for datalog+/- ontologies

Songxin Wang; Jeff Z. Pan; Yuting Zhao; Wei Li; Songqiao Han; Dongmei Han

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

Belief base revision for datalog+/- ontologies

Songxin Wang, Jeff Z. Pan^*, Yuting Zhao, Wei Li, Songqiao Han, Dongmei Han

^*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceeding › Published conference contribution

2 Citations (Scopus)

Abstract

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.

Original language	English
Title of host publication	Third Joint International Conference (JIST 2013)
Subtitle of host publication	Semantic Technology
Editors	Wooju Kim, Ying Ding, Hong-Gee Kim
Publisher	Springer-Verlag
Pages	175-186
Number of pages	12
ISBN (Electronic)	9783319068268
ISBN (Print)	9783319068251
DOIs	https://doi.org/10.1007/978-3-319-06826-8_14
Publication status	Published - 2014
Event	3rd Joint International Semantic Technology Conference, JIST 2013 - Seoul, Korea, Republic of Duration: 28 Nov 2013 → 30 Nov 2013

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	8388 LNCS
ISSN (Print)	03029743
ISSN (Electronic)	16113349

Conference

Conference	3rd Joint International Semantic Technology Conference, JIST 2013
Country/Territory	Korea, Republic of
City	Seoul
Period	28/11/13 → 30/11/13

Keywords

Datalog+/-
Ontology
Belief revision
Kernel

Access to Document

10.1007/978-3-319-06826-8_14Licence: Unspecified

Cite this

Wang, S., Pan, J. Z., Zhao, Y., Li, W., Han, S., & Han, D. (2014). Belief base revision for datalog+/- ontologies. In W. Kim, Y. Ding, & H-G. Kim (Eds.), Third Joint International Conference (JIST 2013): Semantic Technology (pp. 175-186). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 8388 LNCS). Springer-Verlag. https://doi.org/10.1007/978-3-319-06826-8_14

Belief base revision for datalog+/- ontologies. / Wang, Songxin; Pan, Jeff Z.; Zhao, Yuting et al.

Third Joint International Conference (JIST 2013): Semantic Technology. ed. / Wooju Kim; Ying Ding; Hong-Gee Kim. Springer-Verlag, 2014. p. 175-186 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 8388 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Published conference contribution

Wang, S, Pan, JZ, Zhao, Y, Li, W, Han, S & Han, D 2014, Belief base revision for datalog+/- ontologies. in W Kim, Y Ding & H-G Kim (eds), Third Joint International Conference (JIST 2013): Semantic Technology. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 8388 LNCS, Springer-Verlag, pp. 175-186, 3rd Joint International Semantic Technology Conference, JIST 2013, Seoul, Korea, Republic of, 28/11/13. https://doi.org/10.1007/978-3-319-06826-8_14

Wang S, Pan JZ, Zhao Y, Li W, Han S, Han D. Belief base revision for datalog+/- ontologies. In Kim W, Ding Y, Kim H-G, editors, Third Joint International Conference (JIST 2013): Semantic Technology. Springer-Verlag. 2014. p. 175-186. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). Epub 2014 May 21. doi: 10.1007/978-3-319-06826-8_14

Wang, Songxin ; Pan, Jeff Z. ; Zhao, Yuting et al. / Belief base revision for datalog+/- ontologies. Third Joint International Conference (JIST 2013): Semantic Technology. editor / Wooju Kim ; Ying Ding ; Hong-Gee Kim. Springer-Verlag, 2014. pp. 175-186 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{45b1ee939db94ffb918dc5462118191d,

title = "Belief base revision for datalog+/- ontologies",

abstract = "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.",

keywords = "Datalog+/-, Ontology, Belief revision, Kernel",

author = "Songxin Wang and Pan, {Jeff Z.} and Yuting Zhao and Wei Li and Songqiao Han and Dongmei Han",

note = "Acknowledgments This work is partially supported by the National Natural Science Foundation of China Grant No.61003022 and Grant No.41174007, as well as the FP7 K-Drive project (No. 286348) and the EPSRC WhatIf project (No. EP/J014354/1).; 3rd Joint International Semantic Technology Conference, JIST 2013 ; Conference date: 28-11-2013 Through 30-11-2013",

year = "2014",

doi = "10.1007/978-3-319-06826-8_14",

language = "English",

isbn = "9783319068251",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer-Verlag",

pages = "175--186",

editor = "Wooju Kim and Ying Ding and Hong-Gee Kim",

booktitle = "Third Joint International Conference (JIST 2013)",

}

TY - GEN

T1 - Belief base revision for datalog+/- ontologies

AU - Wang, Songxin

AU - Pan, Jeff Z.

AU - Zhao, Yuting

AU - Li, Wei

AU - Han, Songqiao

AU - Han, Dongmei

N1 - Acknowledgments This work is partially supported by the National Natural Science Foundation of China Grant No.61003022 and Grant No.41174007, as well as the FP7 K-Drive project (No. 286348) and the EPSRC WhatIf project (No. EP/J014354/1).

PY - 2014

Y1 - 2014

N2 - 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.

AB - 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.

KW - Datalog+/-

KW - Ontology

KW - Belief revision

KW - Kernel

UR - http://www.scopus.com/inward/record.url?scp=84902574059&partnerID=8YFLogxK

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

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

M3 - Published conference contribution

AN - SCOPUS:84902574059

SN - 9783319068251

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 175

EP - 186

BT - Third Joint International Conference (JIST 2013)

A2 - Kim, Wooju

A2 - Ding, Ying

A2 - Kim, Hong-Gee

PB - Springer-Verlag

T2 - 3rd Joint International Semantic Technology Conference, JIST 2013

Y2 - 28 November 2013 through 30 November 2013

ER -

Belief base revision for datalog+/- ontologies

Abstract

Publication series

Conference

Keywords

Access to Document

Other files and links

Fingerprint

Cite this