Software Open Access
ACQuA - A hybrid framework providing a CQ answering service for OWL
Federico Igne;
Stefano Germano;
Ian Horrocks
ACQuA (Answering CQs using Approximation) is a hybrid query answering framework that combines black-box services to provide a CQ answering service for OWL. Specifically, it combines scalable CQ answering services for tractable languages with a CQ answering service for a more expressive language approaching the full OWL 2. If the query can be fully answered by one of the tractable services, then that service is used. Otherwise the tractable services are used to compute lower and upper bound approximations, taking the union of the lower bounds and the intersection of the upper bounds. If the bounds don’t coincide, then the “gap” answers are checked using the “full” service.
This reference implementation combines RSAComb, PAGOdA, and HermiT, but these tools can be potentially subtituted or augmented with more capable ones to improve the overall performance of the system.
| Name | Size | |
|---|---|---|
|
ACQuA-v0.2.1.tar.gz
md5:861e109f014ab7ec5c831d3191368265 |
8.2 MB | Download |
|
ACQuA-v0.2.1.zip
md5:8a76069347ed0bd93d1810da82f6f63b |
8.3 MB | Download |
| All versions | This version | |
|---|---|---|
| Views | 85 | 85 |
| Downloads | 6 | 6 |
| Data volume | 49.5 MB | 49.5 MB |
| Unique views | 65 | 65 |
| Unique downloads | 5 | 5 |
- Publication date:
- May 19, 2022
- DOI:
-
- Keyword(s):
- ontology description logic conjunctive query answering OWL semantic web RSAComb PAGOdA HermiT RDFox
- Related identifiers:
- Has part
- 10.5281/zenodo.5047810 (Software)
- Supplementary material
- 10.5281/zenodo.6564994 (Dataset)
- License (for files):
- Apache License 2.0