Download PDFOpen PDF in browser

Foundations for the Logical Difference of EL-TBoxes

20 pagesPublished: December 18, 2015


We investigate the logical difference problem between general EL-TBoxes. The logical difference is the set of concept subsumptions that are logically entailed by a first TBox but not by a second one.
We show how the logical difference between two EL-TBoxes can be reduced to fixpoint reasoning wrt. EL-TBoxes. Entailments of the first TBox can be represented by subsumptions of least fixpoint concepts by greatest fixpoint concepts, which can then be checked wrt. the second TBox.
We present the foundations for a dedicated procedure based on a hypergraph representation
of the fixpoint concepts without the use of automata-theoretic techniques,
avoiding possible complexity issues of a reduction to modal mu-calculus reasoning.
The subsumption checks are based on checking for the existence of simulations between
the hypergraph representations of the fixpoint concepts and the TBoxes.

Keyphrases: Description Logic, fixpoint reasoning, logical difference between ontologies, simulations between hypergraphs

In: Georg Gottlob, Geoff Sutcliffe and Andrei Voronkov (editors). GCAI 2015. Global Conference on Artificial Intelligence, vol 36, pages 93--112

BibTeX entry
  author    = {Shasha Feng and Michel Ludwig and Dirk Walther},
  title     = {Foundations for the Logical Difference of EL-TBoxes},
  booktitle = {GCAI 2015. Global Conference on Artificial Intelligence},
  editor    = {Georg Gottlob and Geoff Sutcliffe and Andrei Voronkov},
  series    = {EPiC Series in Computing},
  volume    = {36},
  pages     = {93--112},
  year      = {2015},
  publisher = {EasyChair},
  bibsource = {EasyChair,},
  issn      = {2398-7340},
  url       = {},
  doi       = {10.29007/prhh}}
Download PDFOpen PDF in browser