A Temporal Description Logic for Reasoning over Conceptual Schemas and Queries Alessandro Artale1 , Enrico Franconi2 , Frank Wolter3 , Michael Zakharyaschev4 1 Dept. of Computation, UMIST, Manchester, UK; t

First Page		Document Content
Date: 2017-01-27 04:48:10		A Temporal Description Logic for Reasoning over Conceptual Schemas and Queries Alessandro Artale1 , Enrico Franconi2 , Frank Wolter3 , Michael Zakharyaschev4 1 Dept. of Computation, UMIST, Manchester, UK; t Add to Reading List Source URL: www.inf.unibz.it Download Document from Source Website File Size: 191,33 KB Share Document on Facebook