Author:Casini, G; Meyer, T; Moodley, K; Varzinczak, IDate:Jul 2013The introduction of defeasible reasoning in Description Logics has been a main research topic in the field in the last years. Despite the fact that various interesting formalizations of nonmonotonic reasoning for the TBox have been proposed, ...Read more
Author:Ongoma, EAN; Keet, CM; Meyer, TDate:Jul 2014Representing temporal data in conceptual data models and ontologies is required by various application domains. For it to be useful for modellers to represent the information precisely and reason over it, it is essential to have a language ...Read more