Belief Base Revision for Datalog+/- Ontologies

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

Research output: Chapter in Book/Report/Conference proceedingConference contribution


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 publicationSemantic Technology
Subtitle of host publicationThird Joint International Conference, JIST 2013, Seoul, South Korea, November 28--30, 2013, Revised Selected Papers
EditorsWooju Kim, Ying Ding, Hong-Gee Kim
PublisherSpringer, Cham
Number of pages12
ISBN (Electronic)978-3-319-06826-8
ISBN (Print)978-3-319-06825-1
Publication statusPublished - 21 May 2014
Event3rd Joint International Semantic Technology Conference 2013 - Seoul, Korea, Democratic People's Republic of
Duration: 28 Nov 201330 Nov 2013
Conference number: 3

Publication series

NameLecture Notes in Computer Science
PublisherSpringer, Cham
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349


Conference3rd Joint International Semantic Technology Conference 2013
Abbreviated titleJIST 2013
Country/TerritoryKorea, Democratic People's Republic of


  • 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