UWSpace is currently experiencing technical difficulties resulting from its recent migration to a new version of its software. These technical issues are not affecting the submission and browse features of the site. UWaterloo community members may continue submitting items to UWSpace. We apologize for the inconvenience, and are actively working to resolve these technical issues.
 

CGU: A common graph utility for DL Reasoning and Conjunctive Query Optimization

Thumbnail Image

Files

japalaci2005.pdf (700.67 KB)

Date

2005

Authors

Palacios Villa, Jesus Alejandro

Journal Title

Journal ISSN

Volume Title

Publisher

University of Waterloo

Abstract

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 underlying graph is created, searched and modified. This process is determined by a given <em>query</em> and <em>database schema</em> in the first case and by a given <em>description</em> and <em>terminology</em> in the second. The opportunities for overlap derive from an abundance of reductions of various schema languages to terminologies for common DL dialects, and from the fact that descriptions can in turn be viewed as queries that compute a single column. <br /><br /> Our main contributions are as follows. We present the design and implementation of a common graph utility that integrates the requirements for both CQO and DL reasoning. We then verify this model by also presenting the design and implementation for two drivers, one that implements a query optimizer for a conjunctive query language extended with descriptions, and one that implements a complete DL reasoner for a feature based DL dialect.

Description

Keywords

Computer Science, Description Logics, Databases, Conjunctive Query Optimization, Tableaux Algorithms

LC Keywords

Citation

URI

http://hdl.handle.net/10012/1101

Collections

Theses
Computer Science