Temporally attributed description logics

DOI10.1007/978-3-030-22102-7_21MaRDI QIDQ2185484zbMATHOpenAlexWikidataFDO

Authors Ana Ozaki, Markus Krötzsch, Sebastian Rudolph

Publication date 4 June 2020

Full work available at URL https://doi.org/10.1007/978-3-030-22102-7_21

Mathematics Subject Classification ID

Knowledge representation (68T30) Logic in artificial intelligence (68T27)

Recommendations

• Temporalizing description logics
• Decidable temporal dynamic description logic
• A survey of temporal extensions of description logics
• scientific article; zbMATH DE number 1931652
• Combining interval-based temporal reasoning with general TBoxes

Cited in

(5)

• Decidable temporal dynamic description logic
• Temporalizing description logics
• First-order temporal logic on finite traces: semantic properties, decidable fragments, and applications
• Tailoring Temporal Description Logics for Reasoning over Temporal Conceptual Models
• A Cookbook for Temporal Conceptual Data Modelling with Description Logics

This page was built for publication: Temporally attributed description logics

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