The following pages link to LTL over description logic axioms (Q2946670):
Displaying 12 items.
- Runtime verification using the temporal description logic \(\mathcal{ALC}\)-LTL revisited (Q472810) (← links)
- Combining event calculus and description logic reasoning via logic programming (Q831926) (← links)
- Fibring as biporting subsumes asymmetric combinations (Q2259004) (← links)
- A Cookbook for Temporal Conceptual Data Modelling with Description Logics (Q2946734) (← links)
- Decidable Description Logics of Context with Rigid Roles (Q2964450) (← links)
- DL-Lite with Temporalised Concepts, Rigid Axioms and Roles (Q3655196) (← links)
- Runtime Verification Using a Temporal Description Logic (Q3655197) (← links)
- Putting ABox Updates into Action (Q3655202) (← links)
- Undecidability of QLTL and QCTL with two variables and one monadic predicate letter (Q5059700) (← links)
- Temporal Minimal-World Query Answering over Sparse ABoxes (Q6063880) (← links)
- Runtime enforcement using knowledge bases (Q6535223) (← links)
- Non-normal Modal description logics (Q6545543) (← links)
