LTL over description logic axioms

DOI10.1145/2287718.2287721zbMath1351.68260OpenAlexW2026807253WikidataQ57383685 ScholiaQ57383685MaRDI QIDQ2946670

Carsten Lutz, Franz Baader, Silvio Ghilardi

Publication date: 17 September 2015

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

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

zbMATH Keywords

complexityknowledge representationdescription logicstemporal extensions

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Logic in artificial intelligence (68T27) Knowledge representation (68T30) Temporal logic (03B44)

Related Items (10)

Combining event calculus and description logic reasoning via logic programming ⋮ Undecidability of QLTL and QCTL with two variables and one monadic predicate letter ⋮ A Cookbook for Temporal Conceptual Data Modelling with Description Logics ⋮ Temporal Minimal-World Query Answering over Sparse ABoxes ⋮ Decidable Description Logics of Context with Rigid Roles ⋮ Runtime verification using the temporal description logic \(\mathcal{ALC}\)-LTL revisited ⋮ Fibring as biporting subsumes asymmetric combinations ⋮ DL-Lite with Temporalised Concepts, Rigid Axioms and Roles ⋮ Runtime Verification Using a Temporal Description Logic ⋮ Putting ABox Updates into Action

This page was built for publication: LTL over description logic axioms