The University of Southampton
University of Southampton Institutional Repository

An integrated framework for comparing forward- and backward-chaining algorithms

An integrated framework for comparing forward- and backward-chaining algorithms
An integrated framework for comparing forward- and backward-chaining algorithms
The fields of data integration/exchange (DI/DE) and Ontology-Based Data Access (OBDA) have been extensively studied across various communities, especially those of the database and the semantic web. The underlying problem is common: using several different structured data-sources mapped to a common mediating schema/ontology/knowledge-graph, answer a query posed on the latter. In DE, forward-chaining algorithms known as ontology materialization or the chase, are used to transform source data to a new materialized instance that satisfies the ontology and can be directly used for query-answering. In OBDA, backward-chaining algorithms rewrite the query over the source schema, taking the ontology into account, to execute the rewriting directly on the source instances. These two families of reasoning approaches have seen an individual rise in algorithms, practical implementations, and comparisons. However, there has not been a principled methodology to compare solutions across both areas. In this thesis, we provide an experimental infrastructure – a set of test scenarios, generator and translator tools, and an automated experiments framework – to allow the translation and execution of a DE/OBDA scenario across areas and among different chase and query-rewriting systems. We provide an original methodology and standards to perform cross-approach comparisons and enable a deeper analysis of the interplay between forward- and backward-chaining. We perform a series of experiments under a wide range of assumptions shedding light to the advantages and disadvantages of both approaches.
University of Southampton
Alhazmi, Afnan
6403c214-71bb-4694-8079-64c7447c630e
Alhazmi, Afnan
6403c214-71bb-4694-8079-64c7447c630e
Konstantinidis, George
f174fb99-8434-4485-a7e4-bee0fef39b42
Ibáñez, Luis-Daniel
65a2e20b-74a9-427d-8c4c-2330285153ed

Alhazmi, Afnan (2024) An integrated framework for comparing forward- and backward-chaining algorithms. University of Southampton, Doctoral Thesis, 232pp.

Record type: Thesis (Doctoral)

Abstract

The fields of data integration/exchange (DI/DE) and Ontology-Based Data Access (OBDA) have been extensively studied across various communities, especially those of the database and the semantic web. The underlying problem is common: using several different structured data-sources mapped to a common mediating schema/ontology/knowledge-graph, answer a query posed on the latter. In DE, forward-chaining algorithms known as ontology materialization or the chase, are used to transform source data to a new materialized instance that satisfies the ontology and can be directly used for query-answering. In OBDA, backward-chaining algorithms rewrite the query over the source schema, taking the ontology into account, to execute the rewriting directly on the source instances. These two families of reasoning approaches have seen an individual rise in algorithms, practical implementations, and comparisons. However, there has not been a principled methodology to compare solutions across both areas. In this thesis, we provide an experimental infrastructure – a set of test scenarios, generator and translator tools, and an automated experiments framework – to allow the translation and execution of a DE/OBDA scenario across areas and among different chase and query-rewriting systems. We provide an original methodology and standards to perform cross-approach comparisons and enable a deeper analysis of the interplay between forward- and backward-chaining. We perform a series of experiments under a wide range of assumptions shedding light to the advantages and disadvantages of both approaches.

Text
Afnan_Alhazmi_Final_Thesis_Submission - Version of Record
Available under License University of Southampton Thesis Licence.
Download (45MB)
Text
Final-thesis-submission-Examination-Ms-Afnan-Alhazmi
Restricted to Repository staff only

More information

Published date: 2024

Identifiers

Local EPrints ID: 491109
URI: http://eprints.soton.ac.uk/id/eprint/491109
PURE UUID: 6a13cc72-8027-46bb-9fb2-a39c84c801cd
ORCID for Afnan Alhazmi: ORCID iD orcid.org/0009-0008-6398-4090
ORCID for Luis-Daniel Ibáñez: ORCID iD orcid.org/0000-0001-6993-0001

Catalogue record

Date deposited: 12 Jun 2024 16:33
Last modified: 14 Aug 2024 01:59

Export record

Contributors

Author: Afnan Alhazmi ORCID iD
Thesis advisor: George Konstantinidis
Thesis advisor: Luis-Daniel Ibáñez ORCID iD

Download statistics

Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.

View more statistics

Atom RSS 1.0 RSS 2.0

Contact ePrints Soton: eprints@soton.ac.uk

ePrints Soton supports OAI 2.0 with a base URL of http://eprints.soton.ac.uk/cgi/oai2

This repository has been built using EPrints software, developed at the University of Southampton, but available to everyone to use.

We use cookies to ensure that we give you the best experience on our website. If you continue without changing your settings, we will assume that you are happy to receive cookies on the University of Southampton website.

×