RSAComb: combined approach for CQ answering in RSA
The combined approach is a well-known technique used to address the problem of conjunctive query (CQ) answering over knowledge bases. Various versions of the approach exist for relevant fragments of OWL2. In this paper we focus on the combined approach for CQ answering over RSA, a class of ontologie...
| Main Authors: | , , |
|---|---|
| Format: | Conference item |
| Language: | English |
| Published: |
CEUR Workshop Proceedings
2021
|
| _version_ | 1826262020627890176 |
|---|---|
| author | Igne, F Germano, S Horrocks, I |
| author_facet | Igne, F Germano, S Horrocks, I |
| author_sort | Igne, F |
| collection | OXFORD |
| description | The combined approach is a well-known technique used to address the problem of conjunctive query (CQ) answering over knowledge bases. Various versions of the approach exist for relevant fragments of OWL2. In this paper we focus on the combined approach for CQ answering over RSA, a class of ontologies that extends the OWL2 profiles while maintaining the tractability of standard reasoning tasks. The algorithm was first presented in (Feier C. et al, 2015), but to the best of our knowledge a stable implementation is not currently available. We present RSAComb, a novel implementation of the algorithm that introduces several improvements and fixes to the original approach and uses RDFox as the underlying Datalog reasoner. As well as providing high performance, the extended features of RDFox allow for an optimised implementation of the filtration step. We developed the system with modularity and stability in mind so that it can be used as a standalone tool or integrated into other software as a library. We include an extensive evaluation of the system, focusing on performance and scalability. |
| first_indexed | 2024-03-06T19:29:45Z |
| format | Conference item |
| id | oxford-uuid:1d1014f0-23f9-42e4-b7d4-af0e7f3711ca |
| institution | University of Oxford |
| language | English |
| last_indexed | 2024-03-06T19:29:45Z |
| publishDate | 2021 |
| publisher | CEUR Workshop Proceedings |
| record_format | dspace |
| spelling | oxford-uuid:1d1014f0-23f9-42e4-b7d4-af0e7f3711ca2022-03-26T11:08:48ZRSAComb: combined approach for CQ answering in RSAConference itemhttp://purl.org/coar/resource_type/c_5794uuid:1d1014f0-23f9-42e4-b7d4-af0e7f3711caEnglishSymplectic ElementsCEUR Workshop Proceedings 2021Igne, FGermano, SHorrocks, IThe combined approach is a well-known technique used to address the problem of conjunctive query (CQ) answering over knowledge bases. Various versions of the approach exist for relevant fragments of OWL2. In this paper we focus on the combined approach for CQ answering over RSA, a class of ontologies that extends the OWL2 profiles while maintaining the tractability of standard reasoning tasks. The algorithm was first presented in (Feier C. et al, 2015), but to the best of our knowledge a stable implementation is not currently available. We present RSAComb, a novel implementation of the algorithm that introduces several improvements and fixes to the original approach and uses RDFox as the underlying Datalog reasoner. As well as providing high performance, the extended features of RDFox allow for an optimised implementation of the filtration step. We developed the system with modularity and stability in mind so that it can be used as a standalone tool or integrated into other software as a library. We include an extensive evaluation of the system, focusing on performance and scalability. |
| spellingShingle | Igne, F Germano, S Horrocks, I RSAComb: combined approach for CQ answering in RSA |
| title | RSAComb: combined approach for CQ answering in RSA |
| title_full | RSAComb: combined approach for CQ answering in RSA |
| title_fullStr | RSAComb: combined approach for CQ answering in RSA |
| title_full_unstemmed | RSAComb: combined approach for CQ answering in RSA |
| title_short | RSAComb: combined approach for CQ answering in RSA |
| title_sort | rsacomb combined approach for cq answering in rsa |
| work_keys_str_mv | AT ignef rsacombcombinedapproachforcqansweringinrsa AT germanos rsacombcombinedapproachforcqansweringinrsa AT horrocksi rsacombcombinedapproachforcqansweringinrsa |