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

# RuleML-SUP 2016
RuleML 2016 Supplementary Proceedings

### Proceedings of the RuleML 2016 Challenge, Doctoral Consortium and Industry Track
hosted by the 10th International Web Rule Symposium (RuleML 2016)

### New York, USA, July 6-9, 2016.

Edited by

### Tara Athan (1)
Adrian Giurca (2)
Rolf Grütter (3)
Mark Proctor (4)
Kia Teymourian (5)
William Van Woensel (6)

(1) Athan Services, Freie Universitaet Berlin, Germany
(2) Brandenburg University of Technology Cottbus–Senftenberg, Germany
(3) Swiss Federal Research Institute, Switzerland
(4) Red Hat, UK
(5) Rice University, USA
(6) Dalhousie University, Canada

## Table of Contents

- Preface

### Part 1: Rule Challenge@RuleML2016

- A Rule Based Approach to teach Mathematics using Animation
  Nada Sharaf, Slim Abdennadher, Thom Fruehwirth
- What-If Analyzer for DMN-based Decision Models
  Jacob Feldman
- Combining DMN and the Knowledge Base Paradigm for Flexible Decision Enactment
  Ingmar Dasseville, Laurent Janssens, Gerda Janssens, Jan Vanthienen, Marc Denecker
- RuleML - DMN Translator
  Adrian Paschke, Simon Könnecke
- An Executable Logic-Based Model for Cutter Suction Dredging Using LPS
  Fariba Sadri
- Translating Higher-Order Modal Logic from RuleML to TPTP
  Harold Boley, Christoph Benzmüller, Meng Luan, Zhendong Sha
- Making Sense of Regulations with SBVR
  Marcello Ceci, Firas Al Khalil, Leona O'Brien

### Part 2: Doctoral Consortium@RuleML2016

- Situational Handling of Events for Industrial Production Environments
  Julia Pielmeier, Stefan Braunreuther, Gunther Reinhart
- Checking the Compliance of Business Process in Business Process Life Cycle
  Tuan Anh Pham, Nhan Le Thanh
- Rule Based Fragment Allocation in Distributed Database Systems
  Mohammadreza Abbasifard

### Part 3: Industry Track@RuleML2016

- Rules and RDF Streams - A Position Paper
  James Anderson, Tara Athan, Adrian Paschke
- Using Rules to generate and execute Workflows in Smart Factories
  Doerthe Arndt, Joachim Van Herwegen, Ruben Verborgh, Erik Mannens, Rik Van de Walle
- On the Use of Provalets in a Predictive Maintenance Use Case
  Adrian Paschke

2016-07-05: submitted by Adrian Giurca, metadata incl. bibliographic data published under Creative Commons CC0
2016-07-05: published on CEUR-WS.org |valid HTML5|