Metric Temporal Description Logics with Interval-Rigid Names

DOI10.1145/3399443zbMath1446.68145OpenAlexW3048586703MaRDI QIDQ5121281

Ana Ozaki, Veronika Thost, Franz Baader, Stefan Borgwardt, Patrick Koopmann

Publication date: 11 September 2020

Published in: ACM Transactions on Computational Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/3399443

zbMATH Keywords

temporal description logicsmetric temporal logicsinterval-rigid names

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30) Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17) Temporal logic (03B44)

Related Items (2)

Towards World Identification in Description Logics ⋮ First-Order Rewritability and Complexity of Two-Dimensional Temporal Ontology-Mediated Queries

This page was built for publication: Metric Temporal Description Logics with Interval-Rigid Names