A Correspondence between Temporal Description Logics

DOI10.3166/JANCL.14.209-233MaRDI QIDQ3643271zbMATH OpenOpenAlexFDO

Authors Alessandro Artale, Carsten Lutz

Publication date 11 November 2009

Published in Journal of Applied Non-Classical Logics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.3166/jancl.14.209-233

zbMATH Keywords

computational complexitydescription logicstemporal logics

Mathematics Subject Classification ID

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

Recommendations

• Combining interval-based temporal reasoning with general TBoxes
• Reasoning in basic description logics and description logics with modal operators
• scientific article; zbMATH DE number 1249651
• On metric temporal description logics
• Complexity of branching temporal description logics

Cites work

• scientific article; zbMATH DE number 52880 (Why is no real title available?)
• scientific article; zbMATH DE number 1182726 (Why is no real title available?)
• scientific article; zbMATH DE number 1936671 (Why is no real title available?)
• scientific article; zbMATH DE number 2207163 (Why is no real title available?)
• A propositional modal logic of time intervals
• Actions and Events in Interval Temporal Logic
• Expressiveness and completeness of an interval tense logic
• Maintaining knowledge about temporal intervals
• Many-dimensional modal logics: theory and applications
• PSpace Reasoning with the Description Logic ALCF(D)
• Practical reasoning for very expressive description logics
• Reasoning about temporal relations
• Temporal logic. 1st International Conference, ICTL '94, Bonn, Germany, July 11-14, 1994. Proceedings
• Time-dependent concepts: representation and reasoning using temporal description logics

Cited in

(7)

• Combining interval-based temporal reasoning with general TBoxes
• 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
• On metric temporal description logics
• scientific article; zbMATH DE number 67503 (Why is no real title available?)

This page was built for publication: A Correspondence between Temporal Description Logics

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