Happy Ever After: Temporally Attributed Description Logics

Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/GutachtenBeitrag in KonferenzbandBeigetragenBegutachtung

Beitragende

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 time. Based on recently proposed 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 ALCHT@ is highly undecidable; thus we establish restrictions where it becomes decidable, and even tractable.

Details

OriginalspracheEnglisch
TitelProceedings of the 31st International Workshop on Description Logics
Redakteure/-innenMagdalena Ortiz, Thomas Schneider
Seitenumfang13
PublikationsstatusVeröffentlicht - 2018
Peer-Review-StatusJa

Publikationsreihe

ReiheCEUR Workshop Proceedings
Band2211
ISSN1613-0073

Workshop

TitelInternational Workshop on Description Logics 2018
KurztitelDL 2018
Veranstaltungsnummer31
Dauer27 - 29 Oktober 2018
BekanntheitsgradInternationale Veranstaltung
OrtArizona State University
StadtTempe
LandUSA/Vereinigte Staaten