@inproceedings{Liu:2013, author = {Liu, Y and McBrien, P}, pages = {779--790}, title = {SQOWL2: Transactional type inference for OWL 2 DL in an RDBMS}, year = {2013} }
TY - CPAPER AB - SQOWL2 is a compiler which allows an RDBMS to support sound reasoning of SROIQ(D) description logics, by implementing ontologies expressed in the OWL 2 DL language as a combination of tables and triggers in the RDBMS. The reasoning process is divided into two phases of classification of the T-Box and type inference of the A-Box. SQOWL2 establishes a relational schema based on classification completed using the Pellet reasoner, and performs type inference by using SQL triggers. SQOWL2 supports type inference over all OWL 2DL constructs, and supports a more conventional relational schemas, rather than naively mapping OWL classes and properties to relational tables with one and two columns. Moreover, SQOWL2 is a transactional reasoning system (with full ACID properties), since the results of reasoning are available within the same transaction as that in which the base data of the reasoning was inserted. AU - Liu,Y AU - McBrien,P EP - 790 PY - 2013/// SN - 1613-0073 SP - 779 TI - SQOWL2: Transactional type inference for OWL 2 DL in an RDBMS ER -