Author:Halland, K; Britz, K; Klarman, SDate:Jul 2014The formal definition of abduction asks what needs to be
added to a knowledge base to enable an observation to be entailed. TBox
abduction in description logics (DLs) asks what TBox axioms need to
be added to a DL knowledge base to allow ...Read more
Author:Alberts, R; Britz, K; Gerber, A; Halland, K; Meyer, T; Pretorius, LDate:Nov 2008The aim of the project is to devise and evaluate algorithms, methodologies, techniques and interaction paradigms to build a tool for conceptual modelling and query management of complex data repositories based on a framework with solid formal ...Read more