Happy Ever After: Temporally Attributed Description Logics

Research output: Contribution to book/conference proceedings/anthology/reportConference contributionContributedpeer-review

Contributors

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

Original languageEnglish
Title of host publicationProceedings of the 31st International Workshop on Description Logics
EditorsMagdalena Ortiz, Thomas Schneider
Number of pages13
Publication statusPublished - 2018
Peer-reviewedYes

Publication series

SeriesCEUR Workshop Proceedings
Volume2211
ISSN1613-0073

Workshop

TitleInternational Workshop on Description Logics 2018
Abbreviated titleDL 2018
Conference number31
Duration27 - 29 October 2018
Degree of recognitionInternational event
LocationArizona State University
CityTempe
CountryUnited States of America