The following pages link to LTL over description logic axioms (Q2946670):
Displaying 15 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)
- Understanding the complexity of axiom pinpointing in lightweight description logics (Q1680678) (← 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)
- Complexity of Axiom Pinpointing in the DL-Lite Family of Description Logics (Q2999101) (← 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)
- DESCRIPTION LOGICS OVER LATTICES (Q5291327) (← 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)