RuleML-SUP 2016
RuleML 2016 Supplementary Proceedings

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