[CEUR Workshop Proceedings] 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

    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

  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

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

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