ResearchTrend.AI
A Cookbook for Temporal Conceptual Data Modelling with Description Logics
v1v2v3 (latest)

A Cookbook for Temporal Conceptual Data Modelling with Description Logics

A. Artale
R. Kontchakov
Vladislav Ryzhikov
Michael Zakharyaschev
ArXiv (abs)PDFHTML

Papers citing "A Cookbook for Temporal Conceptual Data Modelling with Description Logics"

3 / 3 papers shown
Title
On Deciding the Data Complexity of Answering Linear Monadic Datalog Queries with LTL Operators(Extended Version)
On Deciding the Data Complexity of Answering Linear Monadic Datalog Queries with LTL Operators(Extended Version)
A. Artale
Anton Gnatenko
Vladislav Ryzhikov
Michael Zakharyaschev
64
1
0
23 Jan 2025
Unique Characterisability and Learnability of Temporal Queries Mediated by an Ontology
Unique Characterisability and Learnability of Temporal Queries Mediated by an Ontology
J. C. Jung
Vladislav Ryzhikov
Franz-Erich Wolter
Michael Zakharyaschev
79
0
0
13 Jun 2023
Automated Reasoning in Temporal DL-Lite
Automated Reasoning in Temporal DL-Lite
Sabiha Tahrat
G. Braun
A. Artale
M. Gario
Ana Ozaki
LRM
22
3
0
17 Aug 2020