scientific article; zbMATH DE number 1931652

MaRDI QIDQ4708910zbMATH OpenFDO

Authors Alessandro Artale, Enrico Franconi, F. Wolter, Michael Zakharyaschev

Publication date 20 June 2003

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2424/24240098.htm

Mathematics Subject Classification ID

Temporal logic (03B44) Logic in computer science (03B70) Logic in artificial intelligence (68T27)

Recommendations

• Foundations of Temporal Conceptual Data Models
• A Cookbook for Temporal Conceptual Data Modelling with Description Logics
• Tailoring Temporal Description Logics for Reasoning over Temporal Conceptual Models
• Foundations of Information and Knowledge Systems
• DL-Lite with temporalised concepts, rigid axioms and roles

Cited in

(17)

• A survey of temporal extensions of description logics
• Queries on ontologies with temporal dependences on Allen's extended interval logic
• Temporally attributed description logics
• Evolving objects in temporal information systems
• Mechanising first-order temporal resolution
• Temporalizing description logics
• Temporal query answering in the description logic DL-Lite
• A Cookbook for Temporal Conceptual Data Modelling with Description Logics
• Tailoring Temporal Description Logics for Reasoning over Temporal Conceptual Models
• Temporal Verification of Fault-Tolerant Protocols
• Foundations of Temporal Conceptual Data Models
• DL-Lite with temporalised concepts, rigid axioms and roles
• Time-dependent concepts: representation and reasoning using temporal description logics
• A Tableau Calculus for Temporal Description Logic: the Expanding Domain Case
• First-order temporal logic on finite traces: semantic properties, decidable fragments, and applications
• Combining interval-based temporal reasoning with general TBoxes
• Reasoning on temporal class diagrams: Undecidability results

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4708910)