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.
[1]
Jos de Bruijn,et al.
The Web Service Modeling Language WSML: An Overview
,
2006,
ESWC.
[2]
Jeffrey D. Ullman,et al.
Principles of Database and Knowledge-Base Systems, Volume II
,
1988,
Principles of computer science series.
[3]
Sanjay Ghemawat,et al.
MapReduce: Simplified Data Processing on Large Clusters
,
2004,
OSDI.
[4]
Barry Bishop,et al.
IRIS-Integrated Rule Inference System
,
2008
.
[5]
Bernardo Cuenca Grau,et al.
OWL 2 Web Ontology Language: Profiles
,
2009
.
[6]
Sebastian Rudolph,et al.
ELP: Tractable Rules for OWL 2
,
2008,
SEMWEB.
[7]
Abraham Silberschatz,et al.
A framework for the parallel processing of Datalog queries
,
1990,
SIGMOD '90.
[8]
RIF RDF and OWL Compatibility (Second Edition)
,
.