Data Management

SQOWL2: Transactional Type Inference for OWL 2 DL in an RDBMS

Free registration required

Executive Summary

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.

  • Format: PDF
  • Size: 395.14 KB