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

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 rol...

Full description

Bibliographic Details
Main Author: Wang, Jiaoyue
Format: Others
Published: 2005
Online Access:http://spectrum.library.concordia.ca/8702/1/MR10297.pdf
Wang, Jiaoyue <http://spectrum.library.concordia.ca/view/creators/Wang=3AJiaoyue=3A=3A.html> (2005) Large ABox Store (LAS) : database support for TBox queries. Masters thesis, Concordia University.