Pages that link to "Item:Q1601879"

The following pages link to A survey of temporal extensions of description logics (Q1601879):

Displaying 20 items.

• Runtime verification using the temporal description logic \(\mathcal{ALC}\)-LTL revisited (Q472810) (← links)
• A description logic based situation calculus (Q604908) (← links)
• Combining interval-based temporal reasoning with general TBoxes (Q814545) (← links)
• First-order temporal verification in practice (Q851137) (← links)
• Reasoning on temporal class diagrams: Undecidability results (Q862829) (← links)
• An NP-complete fragment of fibring logic (Q905999) (← links)
• Towards constructive DL for abstraction and refinement (Q972423) (← links)
• Decidable fragments of first-order temporal logics (Q1591203) (← links)
• Carnap, Goguen, and the hyperontologies: logical pluralism and heterogeneous structuring in ontology design (Q1931353) (← links)
• Evolving objects in temporal information systems (Q2385447) (← links)
• Planning temporal events using point-interval logic (Q2473196) (← links)
• Checking content consistency of integrated web documents (Q2508393) (← links)
• Using Evolution Graphs for Describing Topology-Aware Prediction Models in Large Clusters (Q2915044) (← links)
• Non-finitely axiomatisable two-dimensional modal logics (Q2915901) (← links)
• A Cookbook for Temporal Conceptual Data Modelling with Description Logics (Q2946734) (← links)
• DL-Lite with Temporalised Concepts, Rigid Axioms and Roles (Q3655196) (← links)
• Runtime Verification Using a Temporal Description Logic (Q3655197) (← links)
• A Tableau Calculus for Temporal Description Logic: the Expanding Domain Case (Q4779588) (← links)
• Undecidability of QLTL and QCTL with two variables and one monadic predicate letter (Q5059700) (← links)
• Towards World Identification in Description Logics (Q5882770) (← links)