Metric temporal description logics with interval-rigid names

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

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30) Temporal logic (03B44)

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