Chen, Cui Ming (2005) Large abox store (LAS) : database support for abox queries. Masters thesis, Concordia University.
MR10282.pdf - Accepted Version
The semantic web has drawn the attention from both academic and industry. Description Logics (DLs), a family of formal languages for representing knowledge and supporting reasoning about it, is regarded as a suitable tool that supports the semantic web and enables its data to be both machine readable and machine understandable. Recently, several approaches on how to combine description logics with databases were proposed. In this thesis, we propose techniques for connecting databases with description logic reasoners effectively and completely, and describe the design and implementation of LAS (Large Abox Store), a DL application combining Aboxes reasoning and database query processing to perform efficient reasoning for Aboxes containing role assertions. With the goal to provide a user-friendly, scalable, and complete ontology query processor, we designed our system as an additional layer for the description logic reasoner---RACER.
|Divisions:||Concordia University > Faculty of Engineering and Computer Science > Computer Science and Software Engineering|
|Item Type:||Thesis (Masters)|
|Authors:||Chen, Cui Ming|
|Pagination:||vii, 94 leaves : ill. ; 29 cm.|
|Degree Name:||M. Comp. Sc.|
|Program:||Computer Science and Software Engineering|
|Thesis Supervisor(s):||Haarslev, Volker|
|Deposited By:||Concordia University Libraries|
|Deposited On:||18 Aug 2011 18:26|
|Last Modified:||05 Nov 2016 00:27|
Repository Staff Only: item control page