RIF-BLD Reasoning with IRIS

Abstract. IRIS is an open-source, Java-based Datalog reasoner that supports various evaluation strategies and extensions such as function symbols and equality in the rule conclusion. The main objective of IRIS is to serve as general purpose reasoner for the Semantic Web, which is realized by an implementation that focuses on compliance with existing W3C standards like the Rule Interchange Format (RIF), thereby supporting the XML Schema Definition datatypes. Furthermore, IRIS acts as base for extensions that allow for reasoning with the OWL 2 profiles EL and RL and the Web Service Modeling Language (WSML). In this demo, we present the IRIS reasoner and its applications, as well as the larger WSML2Reasoner framework with IRIS at its core. The basic IRIS implementation for RIF and OWL 2 reasoning is stable, however, further performance improvements and the implementation of effective parallelized rule-based reasoning strategies that are ongoing work will also be presented.