Metric temporal description logics with interval-rigid names
From MaRDI portal
Publication:1687541
DOI10.1007/978-3-319-66167-4_4zbMath1495.68204OpenAlexW2745704899MaRDI QIDQ1687541
Veronika Thost, Patrick Koopmann, Ana Ozaki, Franz Baader, Stefan Borgwardt
Publication date: 4 January 2018
Full work available at URL: https://doi.org/10.1007/978-3-319-66167-4_4
Related Items (3)
Temporal Minimal-World Query Answering over Sparse ABoxes ⋮ Theorem proving for pointwise metric temporal logic over the naturals via translations ⋮ First-order rewritability of ontology-mediated queries in linear temporal logic
This page was built for publication: Metric temporal description logics with interval-rigid names