Temporalizing description logics
From MaRDI portal
Recommendations
- Temporally attributed description logics
- Tailoring Temporal Description Logics for Reasoning over Temporal Conceptual Models
- A survey of temporal extensions of description logics
- Decidable temporal dynamic description logic
- A Correspondence between Temporal Description Logics
- Time-dependent concepts: representation and reasoning using temporal description logics
- Temporal logic programs with temporal description logic axioms
- scientific article; zbMATH DE number 1931652
- Temporal query answering in the description logic DL-Lite
Cited in
(27)- Undecidability of QLTL and QCTL with two variables and one monadic predicate letter
- Monodic fragments of probabilistic first-order temporal logic with bounded semantics
- Mechanising first-order temporal resolution
- Queries on ontologies with temporal dependences on Allen's extended interval logic
- Temporal logics on words with multiple data values
- Combining interval-based temporal reasoning with general TBoxes
- Reasoning in basic description logics and description logics with modal operators
- Decidable temporal dynamic description logic
- Tailoring Temporal Description Logics for Reasoning over Temporal Conceptual Models
- A Cookbook for Temporal Conceptual Data Modelling with Description Logics
- Temporalising Logics: Fifteen Years After
- An (almost) fuzzy logic of action and preferences, its quasi-model interpretations, and the problem of its decidability
- Temporal Minimal-World Query Answering over Sparse ABoxes
- Propositional dynamic logic for Petri nets with iteration
- On metric temporal description logics
- Towards reasoning about Petri nets: a propositional dynamic logic based approach
- A tableau decision procedure for \(\mathcal{ALC}\) with monotonic modal operators and constant domains
- Checking content consistency of integrated web documents
- scientific article; zbMATH DE number 1735887 (Why is no real title available?)
- Complexity of finite-variable fragments of propositional temporal and modal logics of computation
- A family of dynamic description logics for representing and reasoning about actions
- Temporally attributed description logics
- A survey of temporal extensions of description logics
- Gödel-Dummett linear temporal logic
- Decidable fragments of first-order temporal logics
- Temporal logics of knowledge and their applications in security
- Non-finitely axiomatisable two-dimensional modal logics
This page was built for publication: Temporalizing description logics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2782498)
