[CEUR Workshop Proceedings] Vol-649

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

    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
  4. Session 2: Reasoning and Semantic Web

  5. Omni-directional Hyper Logic Programs in SILK and RIF
    Benjamin Grosof, Carl Andersen, Mike Dean, Michael Kifer
  6. RIF-BLD Reasoning with IRIS
    Daniel Winkler, Reto Krummenacher, Adrian Marte
  7. 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
  8. Session 3: Rules Extraction and Data Mining

  9. An SBVR to SQL Compiler
    Alexandros Marinos, Sotiris Moschoyiannis, Paul Krause
  10. SBVR based Business Contract and Business Rule IDE
    Aqueo Kamada, Guido Governatori, Shazia Sadiq
  11. SEWEBAR-CMS: A System for Postprocessing Data Mining Models
    Tomáš Kliegr, David Chudán, Andrej Hazucha, Jan Rauch
  12. Session 4: Visual Interface for Rules

  13. Visual Interfaces for the Development of Event-based Web Agents in the IRobot System
    Liangyou Chen
  14. A common interface for multi-rule-engine distributed systems
    Pierre de Leusse, Bartosz Kwolek, Krzysztof Zielinski
  15. 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