RSAComb v1.1.0 - DPhil dissertation

This release marks the code submitted along with my DPhil dissertation.

Here is a summary of the changes included in this release.
The following version has been tested with RDFox v5.5

Fixes

• cycle detection in lower and upper bound has been fixed

Integration

• minor changes have been introduced to the library to improve integration with other tools. See for example ACQuA.

Refactoring

• Some of the classes have been refactored and cleaned (e.g., Ontology and RSAOntology classes)
• the RDFoxDSL class, aiming at providing a domain specific language for building RDFox rules, has seen some improvements.

RSAComb 1.0.0 - First stable release

This release marks the current stage of the software as stable.
Find some of the major changes below.

Improvements

• preliminary implementation of upperbound approximation.
• extended fragment of OWL 2 axioms correctly handled by the normaliser.
• canonical model computation and filtering steps computed in their own named graphs allowing for greater modularisation and resource.

QoL

• import multiple queries in a single file or recursively in a directory.
• output PAGOdA compatible JSON format for query answers.
• introduce multiple improvements to the CLI;
• output a set of scripts to simulate RSAComb computation directly in RDFox (see Debugging

Testing

• introduce a set of functional tests (see Testing

Dependences

• Compatibility RDFox version to 5.2.1

Major code rework

This release does not introduce any major functionality but improves performance and reworks the code to make it more extensible. In particular:

• the class structure has been changed allowing for a more general and modular workflow;
• normalisation and lowerbound computation steps have been split;
• approximation has been generalised;
• RSA ontology wrapper has been reworked.

Referenced in camera-ready paper for ISWC 2021

This release contains the code referenced in the camera-ready submission to ISWC 2021.

Changelog

• Minor fix: RDFox change of syntax for the SKOLEM operator
• Reintroduce references and contact details of contributors
• Rebranding

Submitted to ISWC 2021

This pre-release contains the code submitted to ISWC 2021 as part of the supplementary materials to the main submission.

Disclaimer

This code is supposed to provide proof for the technical evaluation presented in the submitted paper and, as such, it might not be suitable for other applications. On top of that, part of the identifying data and references had been redacted to ensure a fair double-blind review.