Imperial College London

DrPeterMcBrien

Faculty of EngineeringDepartment of Computing

Senior Lecturer - Computing
 
 
 
//

Contact

 

+44 (0)20 7594 8202p.mcbrien Website

 
 
//

Location

 

555Huxley BuildingSouth Kensington Campus

//

Summary

 

Publications

Citation

BibTex format

@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}
}

RIS format (EndNote, RefMan)

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 -