| Vol-649 urn:nbn:de:0074-649-9 Copyright © 2010 for the individual papers by the papers' authors. Copying permitted only for private and academic purposes. This volume is published and copyrighted by its editors.

# RuleML-2010 Challenge
4th International Rule Challenge

### Proceedings of the RuleML-2010 Challenge, at the 4th International Web Rule Symposium

### Washington, DC, USA, October, 21-23, 2010.

Edited by

### Monica Palmirani *
M. Omair Shafiq **
Enrico Francesconi ***
Fabio Vitali ****

* CIRSFID, University of Bologna, Bologna, Italy
** University of Calgary, Calgary, Alberta, Canada
*** ITTIG-CNR, Consiglio Nazionale delle Ricerche - Istituto di Teoria e Tecniche, Italy
**** Department of Computer Science, University of Bologna, Bologna, Italy

## Table of Contents

- Preface

### Session 1: Control, Validation and Trust

1. The Rule Responder Distributed Reputation Management System for the Semantic Web
   Adrian Paschke, Rehab Alnemr
2. Demonstration of XML Validation Framework using OASIS CAM approach
   David Webber
3. User-Defined Rules in a Distributed Address Book
   Hannes Mühleisen, Adrian Paschke

### Session 2: Reasoning and Semantic Web

4. Omni-directional Hyper Logic Programs in SILK and RIF
   Benjamin Grosof, Carl Andersen, Mike Dean, Michael Kifer
5. RIF-BLD Reasoning with IRIS
   Daniel Winkler, Reto Krummenacher, Adrian Marte
6. Application of the SDL Library to Reveal Legal Sanctions for Crime Perpetrators in Selected Economic Crimes: Fraudulent Disbursement and Money Laundering
   Maciej Falkowski, Jaroslaw Bak, Czeslaw Jedrzejek

### Session 3: Rules Extraction and Data Mining

7. An SBVR to SQL Compiler
   Alexandros Marinos, Sotiris Moschoyiannis, Paul Krause
8. SBVR based Business Contract and Business Rule IDE
   Aqueo Kamada, Guido Governatori, Shazia Sadiq
9. SEWEBAR-CMS: A System for Postprocessing Data Mining Models
   Tomáŝ Kliegr, David Chudán, Andrej Hazucha, Jan Rauch

### Session 4: Visual Interface for Rules

10. Visual Interfaces for the Development of Event-based Web Agents in the IRobot System
    Liangyou Chen
11. A common interface for multi-rule-engine distributed systems
    Pierre de Leusse, Bartosz Kwolek, Krzysztof Zielinski
12. A SILK Graphical UI for Defeasible Reasoning, with a Biology Causal Process Example
    Benjamin Grosof, Mark Burstein, Mike Dean, Carl Andersen, Brett Benyo, William Ferguson, Daniela Inclezan, Richard Shapiro

16-Oct-2010: submitted by Monica Palmirani, M. Omair Shafiq
16-Oct-2010: published on CEUR-WS.org