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

Download Now
Provided by: Imperial College London
Topic: Data Management
Format: PDF
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.
Download Now

Find By Topic