Abstract
We present an extension of the DLVHEX system to support RIF-Core, a dialect of W3C’s Rule Interchange Format (RIF), as well as combinations of RIF-Core and OWL2RL ontologies. DLVHEX is a plugin system on top of DLV, a disjunctive Datalog engine which enables higher-order and external atoms, as well as input rewriting capabilities, which are provided as plugins and enable DLVHEX to bidirectionally exchange data with external knowledge bases and consuming input in different Semantic Web languages. In fact, there already exist plugins for languages such as RDF and SPARQL. Our new plugin facilitates consumption and processing of RIF rule sets, as well as OWL2RL reasoning by a 2-step-reduction to DLVHEX via embedding in RIF-Core. The current version implements the translation from OWL2RL to RIF by a static rule set [12] and supports the RIF built-ins mandatory for this reduction trough external atoms in DLVHEX. For the future we plan to switch to a dynamic approach for RIF embedding of OWL2RL [2] and extend the RIF reasoning capabilities to more features of RIF-BLD. We provide a description of our current system, its current development status as well as an illustrative example, and conclude future plans to complete the Semantic Web library of plugins for DLVHEX.
This work is partly funded by Science Foundation Ireland (SFI) project Lion-2 (SFI/08/CE/I1380) and an IRCSET postgraduate scholarship.
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
Baral, C.: Knowledge Representation, Reasoning and Declarative Problem Solving. Cambridge University Press, Cambridge (2002)
De Bruijn, J.: RIF rdf and OWL compatibility. Proposed recommendation, W3C (October 2009), http://www.w3.org/TR/2010/PR-rif-rdf-owl-20100511/
Eiter, T., Ianni, G., Polleres, A., Schindlauer, R.: Answer set programming for the semantic web. In: Tutorial at ESWC 2006 (June 2006)
Eiter, T., Ianni, G., Schindlauer, R., Tompits, H.: Effective integration of declarative rules with external evaluations for semantic-web reasoning. In: Sure, Y., Domingue, J. (eds.) ESWC 2006. LNCS, vol. 4011, pp. 273–287. Springer, Heidelberg (2006)
Eiter, T., Lukasiewicz, T., Schindlauer, R., Tompits, H.: Combining answer set programming with description logics for the semantic web. In: KR (2004)
Kifer, M., Boley, H.: RIF basic logic dialect. Proposed recommendation, W3C (October 2009), http://www.w3.org/TR/2010/PR-rif-bld-20100511/
Krötzsch, M., Patel-Schneider, P.F., Rudolph, S., Hitzler, P., Parsia, B.: OWL 2 web ontology language primer. Technical report, W3C (October 2009), http://www.w3.org/TR/2009/REC-owl2-primer-20091027/
Lloyd, J.W., Topor, R.W.: Making prolog more expressive. Journal of Logic Programming 1(3), 225–240 (1984)
Malhotra, A., Melton, J., Walsh, N.: XQuery 1.0 and XPath 2.0 functions and operators. Recommendation, W3C (January 2007), http://www.w3.org/TR/xpath-functions/
Motik, B., Fokoue, A., Horrocks, I., Wu, Z., Lutz, C., Cuenca Grau, B.: OWL 2 web ontology language profiles. W3C recommendation, W3C (October 2009), http://www.w3.org/TR/2009/REC-owl2-profiles-20091027/
Polleres, A., Schindlauer, R.: dlvhex-sparql: A sparql-compliant query engine based on dlvhex. In: 2nd Int. Workshop on Applications of Logic Programming to the Web, Semantic Web and Web Services, ALPSWS 2007, pp. 332–347. Springer, Heidelberg (2007)
Reynolds, D.: OWL 2 RL in RIF. W3C working draft, W3C (October 2009), http://www.w3.org/TR/2009/WD-rif-owl-rl-20091001/
Wielemaker, J., Hildebrand, M., van Ossenbruggen, J.: Prolog as the fundament for applications on the semantic web. In: ALPSWS (2007)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2010 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Marano, M., Obermeier, P., Polleres, A. (2010). Processing RIF and OWL2RL within DLVHEX. In: Hitzler, P., Lukasiewicz, T. (eds) Web Reasoning and Rule Systems. RR 2010. Lecture Notes in Computer Science, vol 6333. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-15918-3_24
Download citation
DOI: https://doi.org/10.1007/978-3-642-15918-3_24
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-15917-6
Online ISBN: 978-3-642-15918-3
eBook Packages: Computer ScienceComputer Science (R0)