Filters








5 Hits in 2.5 sec

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

Yu Liu, Peter McBrien
2013 International Workshop on Description Logics  
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  ...  SQOWL2 supports type inference over all OWL 2 DL constructs, and supports a more conventional relational schemas, rather than naively mapping OWL classes and properties to relational tables with one and  ...  In addition, VBR systems known to us do not support type inference on OWL 2 DL features. For instance, DBOWL and DLDB2 both only cover OWL 1 DL features.  ... 
dblp:conf/dlog/LiuM13 fatcat:6ug7noblijbwlgqj2ej52mq7vy

Transactional and Incremental Type Inference from Data Updates [chapter]

Yu Liu, Peter McBrien
2015 Lecture Notes in Computer Science  
This article studies an approach to reasoning over data from web ontology language (OWL) 2 RL ontologies held in a relational database, where the ACID properties of transactions are maintained.  ...  OWL reasoning systems, yet adding the important benefit of supporting transactions.  ...  This article sets out to provide transactional type inference for ontologies held in an RDBMS, providing type inference over OWL 2 RL ontologies that can fully integrate with the data of existing RDBMS  ... 
doi:10.1007/978-3-319-20424-6_20 fatcat:xm7g262xb5fujfrpropezpedsi

Transactional and Incremental Type Inference from Data Updates

Yu Liu, Peter McBrien
2016 Computer journal  
This article studies an approach to reasoning over data from web ontology language (OWL) 2 RL ontologies held in a relational database, where the ACID properties of transactions are maintained.  ...  OWL reasoning systems, yet adding the important benefit of supporting transactions.  ...  This article sets out to provide transactional type inference for ontologies held in an RDBMS, providing type inference over OWL 2 RL ontologies that can fully integrate with the data of existing RDBMS  ... 
doi:10.1093/comjnl/bxw048 fatcat:yfrrazlk2rca7oz5dmg37hguai

Inference as a data management problem

Yu Liu, Peter McBrien, Peter Pietzuch, Imperial College London
2017
The inference we focus on is type inference in A-Box reasoning, which we define as the process of deriving for each A-Box instance its memberships of OWL classes and properties.  ...  When the A-Box size is beyond the capability of an RDBMS, we then compile the inference framework to Spark programmes, which provide scalable inference materialisation in a Big Data system, and our evaluation  ...  Table 3 3 .4: Axioms supported in OWL 2 QL and OWL 2 RL Axiom Constructor DL Syntax OWL 2 QL OWL 2 RL Class Axioms Most materialisation-based systems perform inference outside of an RDBMS,  ... 
doi:10.25560/44960 fatcat:men6j47wgnbnfhlltqagh5ircm

A framework for integrating and transforming between ontologies and relational databases

Lama Al Khuzayem, Peter McBrien, Alessandra Russo
2018
In particular, for a given OWL ontology, we interpret the expressive axioms either as triggers, conforming to the Open-World Assumption, that performs a forward-chaining materialisation of inferred data  ...  of OWL modelling constructs, or (2) extracted a relational database from an existing OWL ontology, that represents as much as possible the OWL ontology.  ...  Acknowledgements In the name of Allah, the Most Gracious, the Most Merciful.  ... 
doi:10.25560/61395 fatcat:kvwrdl5lrzbjxggv7wubsp7l7m