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 proceedingPublished conference contribution

3 Citations (Scopus)


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 languageEnglish
Title of host publicationThird Joint International Conference (JIST 2013)
Subtitle of host publicationSemantic Technology
EditorsWooju Kim, Ying Ding, Hong-Gee Kim
Number of pages12
ISBN (Electronic)9783319068268
ISBN (Print)9783319068251
Publication statusPublished - 2014
Event3rd Joint International Semantic Technology Conference, JIST 2013 - Seoul, Korea, Republic of
Duration: 28 Nov 201330 Nov 2013

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume8388 LNCS
ISSN (Print)03029743
ISSN (Electronic)16113349


Conference3rd Joint International Semantic Technology Conference, JIST 2013
Country/TerritoryKorea, Republic of

Bibliographical note

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


  • Datalog+/-
  • Ontology
  • Belief revision
  • Kernel


Dive into the research topics of 'Belief base revision for datalog+/- ontologies'. Together they form a unique fingerprint.

Cite this