Decidable Reasoning over Timestamped Conceptual Models

Alessandro Artale, David Toman. Decidable Reasoning over Timestamped Conceptual Models. In Franz Baader, Carsten Lutz, Boris Motik, editors, Proceedings of the 21st International Workshop on Description Logics (DL2008), Dresden, Germany, May 13-16, 2008. Volume 353 of CEUR Workshop Proceedings, CEUR-WS.org, 2008. [doi]

Abstract

Abstract is missing.