A Correspondence between Temporal Description Logics
From MaRDI portal
Publication:3643271
DOI10.3166/JANCL.14.209-233zbMATH Open1180.68254OpenAlexW1991341583MaRDI QIDQ3643271FDOQ3643271
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
Recommendations
Cites Work
- Maintaining knowledge about temporal intervals
- Many-dimensional modal logics: theory and applications
- Expressiveness and completeness of an interval tense logic
- A propositional modal logic of time intervals
- Actions and Events in Interval Temporal Logic
- Reasoning about temporal relations
- Title not available (Why is that?)
- Title not available (Why is that?)
- Practical reasoning for very expressive description logics
- Temporal logic. 1st International Conference, ICTL '94, Bonn, Germany, July 11-14, 1994. Proceedings
- Time-dependent concepts: representation and reasoning using temporal description logics
- PSpace Reasoning with the Description Logic ALCF(D)
- Title not available (Why is that?)
- Title not available (Why is that?)
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
- Title not available (Why is that?)
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)
