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 RSACombPAGOdA, and HermiT, but these tools can be potentially subtituted or augmented with more capable ones to improve the overall performance of the system.

Files (16.5 MB)
Name Size
8.2 MB Download
8.3 MB Download
All versions This version
Views 8585
Downloads 66
Data volume 49.5 MB49.5 MB
Unique views 6565
Unique downloads 55


Cite as