Abstract
This system description paper introduces the OWL 2 query answering system Hydrowl. Hydrowl is based on novel hybrid techniques which in order to compute the query answers combine at run-time a reasoner ans 1 supporting a (tractable) fragment of OWL 2 (e.g., OWL 2 QL and OWL 2 RL) with a fully-fledged OWL 2 DL reasoner ans 2. The motivation is that if most of the (query answering) work is delegated to the (usually) very scalable system ans 1 while the interaction with ans 2 is kept to a bare minimum, then we can possibly provide with scalable query answering even over expressive fragments of OWL 2 DL. We discuss the system’s architecture and we present an overview of the techniques used. Finally, we present some first encouraging experimental results.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Kiryakov, A., Bishoa, B., Ognyanoff, D., Peikov, I., Tashev, Z., Velkov, R.: The Features of BigOWLIM that Enabled the BBC’s World Cup Website. In: Workshop on Semantic Data Management (SemData) (2010)
Motik, B., Horrocks, I., Kim, S.M.: Delta-Reasoner: A Semantic Web Reasoner for an Intelligent Mobile Platform. In: Proceedings of the 21st International World Wide Web Conference (WWW 2012), pp. 63–72 (2012)
Ortiz, M., Calvanese, D., Eiter, T.: Data complexity of query answering in expressive description logics via tableaux. Journal of Automated Reasoning 41(1), 61–98 (2008)
Glimm, B., Lutz, C., Horrocks, I., Sattler, U.: Conjunctive query answering for the description logic \(\mathcal{SHIQ}\). Journal of Artificial Intelligence Research (JAIR) 31, 157–204 (2008)
Kollia, I., Glimm, B.: Optimizing sparql query answering over owl ontologies. J. Artif. Intell. Res. (JAIR) 48, 253–303 (2013)
Motik, B., Cuenca Grau, B., Horrocks, I., Wu, Z., Fokoue, A., Lutz, C. (eds.): OWL 2 Web Ontology Language Profiles. W3C Recommendation (2009)
Wu, Z., Eadon, G., Das, S., Chong, E.I., Kolovski, V., Annamalai, M., Srinivasan, J.: Implementing an inference engine for RDFS/OWL constructs and user-defined rules in oracle. In: Proc. of ICDE, pp. 1239–1248. IEEE (2008)
Stoilos, G., Cuenca Grau, B., Motik, B., Horrocks, I.: Repairing ontologies for incomplete reasoners. In: Aroyo, L., Welty, C., Alani, H., Taylor, J., Bernstein, A., Kagal, L., Noy, N., Blomqvist, E. (eds.) ISWC 2011, Part I. LNCS, vol. 7031, pp. 681–696. Springer, Heidelberg (2011)
Zhou, Y., Nenov, Y., Cuenca Grau, B., Horrocks, I.: Complete query answering over horn ontologies using a triple store. In: Alani, H., et al. (eds.) ISWC 2013, Part I. LNCS, vol. 8218, pp. 720–736. Springer, Heidelberg (2013)
Glimm, B., Horrocks, I., Motik, B., Stoilos, G., Wang, Z.: Hermit: An owl 2 reasoner. Journal of Automated Reasoning (JAR) (in Press, 2014)
Trivela, D., Stoilos, G., Chortaras, A., Stamou, G.: Optimising resolution-based rewriting algorithms for dl ontologies. In: Proceedings of the 26th Workshop on Description Logics (DL 2013), Ulm, Germany (2013)
Stoilos, G.: Ontology-based data access using rewriting, OWL 2 RL systems and repairing. In: Presutti, V., d’Amato, C., Gandon, F., d’Aquin, M., Staab, S., Tordai, A. (eds.) ESWC 2014. LNCS, vol. 8465, pp. 317–332. Springer, Heidelberg (2014)
Calvanese, D., De Giacomo, G., Lembo, D., Lenzerini, M., Rosati, R.: Tractable reasoning and efficient query answering in description logics: The DL-Lite family. Journal of Automated Reasoning 39(3), 385–429 (2007)
Artale, A., Calvanese, D., Kontchakov, R., Zakharyaschev, M.: The dl-lite family and relations. Journal of Artificial Intelligence Research (JAIR) 36, 1–69 (2009)
Pérez-Urbina, H., Motik, B., Horrocks, I.: Tractable query answering and rewriting under description logic constraints. Journal of Applied Logic 8(2), 186–209 (2010)
Eiter, T., Ortiz, M., Simkus, M., Tran, T.K., Xiao, G.: Query rewriting for Horn-\(\mathcal{SHIQ}\) plus rules. In: Proc. of AAAI (2012)
Cuenca Grau, B., Motik, B., Stoilos, G., Horrocks, I.: Computing datalog rewritings beyond horn ontologies. In: Proceedings of the Twenty-Third International Joint Conference on Artificial Intelligence (IJCAI 2013) (2013)
Kaminski, M., Nenov, Y., Grau, B.C.: Datalog rewritability of disjunctive datalog programs and its applications to ontology reasoning. In: Proceedings of AAAI 2014 (2014)
Stoilos, G., Stamou, G.: Hybrid query answering for owl ontologies. In: Proceedings of the 21st European Conference on Artificial Intelligence (ECAI 2014) (2014)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2014 Springer International Publishing Switzerland
About this paper
Cite this paper
Stoilos, G. (2014). Hydrowl: A Hybrid Query Answering System for OWL 2 DL Ontologies. In: Kontchakov, R., Mugnier, ML. (eds) Web Reasoning and Rule Systems. RR 2014. Lecture Notes in Computer Science, vol 8741. Springer, Cham. https://doi.org/10.1007/978-3-319-11113-1_20
Download citation
DOI: https://doi.org/10.1007/978-3-319-11113-1_20
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-11112-4
Online ISBN: 978-3-319-11113-1
eBook Packages: Computer ScienceComputer Science (R0)