RIF-BLD Reasoning with IRIS

RuleML-2010 Challenge.

计算机科学;

Daniel Winkler ; Reto Krummenacher ; Adrian Marte

Others  :  http://ceur-ws.org/Vol-649/paper5.pdf
PID  :  42468

学科分类：计算机科学（综合）

来源: CEUR

【 摘 要 】

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 actsas 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.