Login | Register

Large ABox Store (LAS) : database support for TBox queries


Large ABox Store (LAS) : database support for TBox queries

Wang, Jiaoyue (2005) Large ABox Store (LAS) : database support for TBox queries. Masters thesis, Concordia University.

[thumbnail of MR10297.pdf]
Text (application/pdf)
MR10297.pdf - Accepted Version


Large ABox Store (LAS) extends the DL reasoner Racer with a database. LAS stores the given information about a TBox, a taxonomy, and ABox in a database, and answers most TBox and ABox queries by combining SQL queries with DL reasoning. The main feature of our system is that it can deal with ABox role assertions. Acting as a filter for Racer, LAS speeds up the TBox and ABox queries. The main techniques exploited in LAS are the pseudo model merging test technique, and the transitive closure algorithm implemented by Oracle 9i. This thesis presents the design, theories and implementation of the LAS system, and it mainly addresses the database support for TBox queries in LAS. A user-friendly interface is designed to facilitate users to implement many kinds of queries. More complex querying functions can be integrated into this system in the future

Divisions:Concordia University > Gina Cody School of Engineering and Computer Science > Computer Science and Software Engineering
Item Type:Thesis (Masters)
Authors:Wang, Jiaoyue
Pagination:v, 90 leaves : ill. ; 29 cm.
Institution:Concordia University
Degree Name:M. Comp. Sc.
Program:Computer Science and Software Engineering
Thesis Supervisor(s):Haarslev, Volker
Identification Number:LE 3 C66C67M 2005 W35
ID Code:8702
Deposited By: Concordia University Library
Deposited On:18 Aug 2011 18:33
Last Modified:13 Jul 2020 20:04
Related URLs:
All items in Spectrum are protected by copyright, with all rights reserved. The use of items is governed by Spectrum's terms of access.

Repository Staff Only: item control page

Downloads per month over past year

Research related to the current document (at the CORE website)
- Research related to the current document (at the CORE website)
Back to top Back to top