LAS: Extending Racer by a Large ABox Store

CuiMing Chen, Volker Haarslev, JiaoYue Wang
2005 International Workshop on Description Logics  
Recently, several approaches have been proposed on combining description logic (DL) reasoning with database techniques. In this paper we report on the LAS (Large Abox Store) system extending the DL reasoner Racer with a database used to store and query Tbox and Abox information. LAS stores for given knowledge bases their taxonomy and their complete Abox in its database. The Aboxes may contain role assertions. LAS can answer Tbox and Abox queries by combining SQL queries with DL reasoning. The
more » ... chitecture of LAS is based on merging techniques for so-called individual pseudo models.
dblp:conf/dlog/ChenHW05 fatcat:hecywfmxfrgpxov66r44gs2ap4