RuQAR: Reasoning Framework for OWL 2 RL Ontologies

Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 8798)

Abstract

This paper addresses the first release of the Rule-based Query Answering and Reasoning framework (RuQAR). The tool provides the ABox reasoning and query answering with OWL 2 RL ontologies executed by forward chaining rule reasoners. We describe current implementation and an experimental evaluation of RuQAR by performing reasoning on the number of benchmark ontologies. Additionally, we compare obtained results with inferences provided by HermiT and Pellet. The evaluation shows that we can perform the ABox reasoning with considerably better performance than DL-based reasoners.

References

  1. 1.
    Faruqui, R.U., MacCaull, W.: \(\sf O\rm _{wl}\sf O\sf _{nt}\sf DB\): A scalable reasoning system for OWL 2 RL ontologies with large ABoxes. In: Weber, J., Perseil, I. (eds.) FHIES 2012. LNCS, vol. 7789, pp. 105–123. Springer, Heidelberg (2013)Google Scholar
  2. 2.
    Hogan, A., Decker, S.: On the ostensibly silent ‘W’ in OWL 2 RL. In: Polleres, A., Swift, T. (eds.) RR 2009. LNCS, vol. 5837, pp. 118–134. Springer, Heidelberg (2009)Google Scholar
  3. 3.
    Meditskos, G., Bassiliades, N.: Combining a DL reasoner and a rule engine for improving entailment-based OWL reasoning. In: Sheth, A.P., Staab, S., Dean, M., Paolucci, M., Maynard, D., Finin, T., Thirunarayan, K. (eds.) ISWC 2008. LNCS, vol. 5318, pp. 277–292. Springer, Heidelberg (2008)Google Scholar
  4. 4.
    O’Connor, M.J., Das, A.: A pair of OWL 2 RL reasoners. In: Klinov, P., Horridge, M. (eds.) OWLED. CEUR Workshop Proceedings, vol. 849. CEUR-WS.org (2012)Google Scholar

Copyright information

© Springer International Publishing Switzerland 2014

Authors and Affiliations

  1. 1.Institute of Control and Information EngineeringPoznan University of TechnologyPoznanPoland

Personalised recommendations