The following pages link to Temporalizing description logics (Q2782498):
Displaying 22 items.
- Combining interval-based temporal reasoning with general TBoxes (Q814545) (← links)
- Decidable fragments of first-order temporal logics (Q1591203) (← links)
- A survey of temporal extensions of description logics (Q1601879) (← links)
- Queries on ontologies with temporal dependences on Allen's extended interval logic (Q1743197) (← links)
- Towards reasoning about Petri nets: a propositional dynamic logic based approach (Q1786561) (← links)
- Complexity of finite-variable fragments of propositional temporal and modal logics of computation (Q2148903) (← links)
- A family of dynamic description logics for representing and reasoning about actions (Q2392414) (← links)
- Mechanising first-order temporal resolution (Q2486579) (← links)
- Checking content consistency of integrated web documents (Q2508393) (← links)
- Temporal logics of knowledge and their applications in security (Q2866724) (← links)
- Temporal logics on words with multiple data values (Q2908879) (← links)
- Non-finitely axiomatisable two-dimensional modal logics (Q2915901) (← links)
- Decidable temporal dynamic description logic (Q2917155) (← links)
- A Cookbook for Temporal Conceptual Data Modelling with Description Logics (Q2946734) (← links)
- Tailoring Temporal Description Logics for Reasoning over Temporal Conceptual Models (Q3172878) (← links)
- Propositional Dynamic Logic for Petri Nets with Iteration (Q3179415) (← links)
- On metric temporal description logics (Q4576218) (← links)
- A Tableau Decision Procedure for <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" altimg="si1.gif" overflow="scroll"><mml:mi mathvariant="script">ALC</mml:mi></mml:math> With Monotonic Modal Operators and Constant Domains (Q4982117) (← 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)
- An (almost) fuzzy logic of action and preferences, its quasi-model interpretations, and the problem of its decidability (Q6064250) (← links)
- Gödel-Dummett linear temporal logic (Q6665714) (← links)