Version vom 18. April 2020, 14:40 Uhr

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}
}

@@ Zeile 16: / Zeile 16: @@
 }}
 {{Publikation Details
-|Abstract=Knowledge graphs are based on graph models enriched with (sets of)
+|Abstract=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.
-attribute-value pairs, called annotations, attached to vertices and edges.
+Investigating the complexity of reasoning in this new formalism, it turns out that reasoning in our temporally attributed description
-Many application scenarios of knowledge graphs crucially rely on the frequent use of
+logic ALC@^T is highly undecidable; thus we establish restrictions where it becomes decidable, and even tractable.
-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.
 |ISBN=978-3-030-22101-0
 |Download=OzakiKR-TemporalAttributes-FB60.pdf

Incollection3017: Unterschied zwischen den Versionen

Version vom 18. April 2020, 14:40 Uhr

Temporally Attributed Description Logics

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