Pages that link to "Item:Q1601879"
From MaRDI portal
The following pages link to A survey of temporal extensions of description logics (Q1601879):
Displayed 14 items.
- 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)
- 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)
- DL-Lite with Temporalised Concepts, Rigid Axioms and Roles (Q3655196) (← links)
- Runtime Verification Using a Temporal Description Logic (Q3655197) (← links)