Temporally Attributed Description Logics

Ana OzakiAna Ozaki, Markus KrötzschMarkus Krötzsch, Sebastian RudolphSebastian Rudolph

ISBN: 978-3-030-22101-0
Download
DOI Link

Ana Ozaki, Markus Krötzsch, Sebastian Rudolph
Temporally Attributed Description Logics
In Carsten Lutz, Uli Sattler, Cesare Tinelli, Anni-Yasmin Turhan, Frank Wolter, eds., Description Logic, Theory Combination, and All That - Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday, volume 11560 of LNCS, 441-474. Springer, 2019

Details
Bibtex

KurzfassungAbstract
Knowledge graphs are based on graph models enriched with (sets of) attribute-value pairs, called annotations, attached to vertices and edges. Many application scenarios of knowledge graphs crucially rely on the frequent use of annotations related to \emph{time}. Building upon attributed logics, we design description logics enriched with temporal annotations whose values are interpreted over discrete time. Investigating the complexity of reasoning in this new formalism, it turns out that reasoning in our temporally attributed description logic ALC@^T is highly undecidable; thus we establish restrictions where it becomes decidable, and even tractable.
Projekt:Project: CPEC, DIAMOND, DeciGUT, HAEC
Forschungsgruppe:Research Group: Computational LogicComputational Logic, Wissensbasierte SystemeKnowledge-Based Systems

The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-030-22102-7_21.

@incollection{OKR2019,
  author    = {Ana Ozaki and Markus Kr{\"{o}}tzsch and Sebastian Rudolph},
  title     = {Temporally Attributed Description Logics},
  editor    = {Carsten Lutz and Uli Sattler and Cesare Tinelli and Anni-Yasmin
               Turhan and Frank Wolter},
  booktitle = {Description Logic, Theory Combination, and All That - Essays
               Dedicated to Franz Baader on the Occasion of His 60th Birthday},
  series    = {LNCS},
  volume    = {11560},
  publisher = {Springer},
  year      = {2019},
  pages     = {441-474},
  doi       = {10.1007/978-3-030-22102-7_21}
}