Media type: E-Book Title: Closed-World Semantics for Query Answering in Temporal Description Logics Contributor: Forkel, Walter [Verfasser]; Baader, Franz [Gutachter]; Artale, Alessandro [Gutachter] imprint: Dresden: Technische Universität Dresden, 2021 Extent: Online-Ressource Language: English Identifier: RVK notation: ST 640 : Medizin ST 265 : Datenstruktur, Datenorganisation Keywords: Semantics ; Description logics ; Klinische Studien ; Temporale Logik ; Nicht-Monotones Schlussfolgern ; Clinical Trials ; Patient Selection ; Temporal Logics ; Non-Monotonic Reasoning ; Closed-World Reasoning Origination: University thesis: Dissertation, Dresden, Technische Universität Dresden, 2020 Footnote: Access State: Open Access