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. %give a temporal semantics to recently proposed attributed description logics %s which express temporal information 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}
}