Happy Ever After: Temporally Attributed Description Logics
Research output: Contribution to book/Conference proceedings/Anthology/Report › Conference contribution › Contributed › peer-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 language | English |
---|---|
Title of host publication | Proceedings of the 31st International Workshop on Description Logics |
Editors | Magdalena Ortiz, Thomas Schneider |
Number of pages | 13 |
Publication status | Published - 2018 |
Peer-reviewed | Yes |
Publication series
Series | CEUR Workshop Proceedings |
---|---|
Volume | 2211 |
ISSN | 1613-0073 |
Workshop
Title | International Workshop on Description Logics 2018 |
---|---|
Abbreviated title | DL 2018 |
Conference number | 31 |
Duration | 27 - 29 October 2018 |
Degree of recognition | International event |
Location | Arizona State University |
City | Tempe |
Country | United States of America |