Browsing Theses by Subject "Description Logics"
Now showing items 1-2 of 2
-
Application of Definability to Query Answering over Knowledge Bases
(University of Waterloo, 2014-01-22)Answering object queries (i.e. instance retrieval) is a central task in ontology based data access (OBDA). Performing this task involves reasoning with respect to a knowledge base K (i.e. ontology) over some description ... -
CGU: A common graph utility for DL Reasoning and Conjunctive Query Optimization
(University of Waterloo, 2005)We consider the overlap between reasoning involved in <em>conjunctive query optimization</em> (CQO) and in tableaux-based approaches to reasoning about subsumption in <em>description logics</em> (DLs). In both cases, an ...