Temporally attributed description logics

DOI10.1007/978-3-030-22102-7_21zbMATH Open1444.68188OpenAlexW2953869997WikidataQ64952238 ScholiaQ64952238MaRDI QIDQ2185484FDOQ2185484

Sebastian Rudolph, Ana Ozaki, Markus Krötzsch

Publication date: 4 June 2020

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

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

Mathematics Subject Classification ID

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

Cited In (5)

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

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)