Ian Horrocks

TL;DR: In this article, the authors present data access challenges in the data-intensive petroleum company Statoil and their experience in addressing these challenges with OBDA technology, and develop a deployment module to create ontologies and mappings from relational databases in a semi-automatic fashion, and a query processing module to perform and optimize the process of translating ontological queries into data queries and their execution.

TL;DR: The OIL language extends the RDF schema standard to provide just such a layer, which combines the most attractive features of frame based languages with the expressive power, formal rigour and reasoning services of a very expressive description logic.

TL;DR: This work presents OptiqueVQS, a query formulation tool designed based on the experience with OBDA applications in Statoil and Siemens and on best HCI practices for interdisciplinary engineering environments, which implements a number of unique techniques distinguishing it from analogous query formulation systems.

TL;DR: This work shows how a tableaux algorithm for SHIQ can be extended to support role boxes that include range and domain axioms, and proves that the extended algorithm is still a decision procedure for the satisfiability and subsumption of SHIQ concepts w.r.t. such a role box.

TL;DR: It is shown that the knowledge base satisfiability problem of OWL FA can be reduced to that ofOWL DL, and the FA semantics is compared with the recently proposed contextual semantics and Hilog semantics for OWL.