| Vol-1875 urn:nbn:de:0074-1875-8 Copyright © 2017 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+RR 2017
Doctoral Consortium, Challenge, Industry Track, Tutorials and Posters @ RuleML+RR

### Proceedings of the Doctoral Consortium, Challenge, Industry Track, Tutorials and Posters @ RuleML+RR 2017
hosted by International Joint Conference on Rules and Reasoning 2017 (RuleML+RR 2017)

### London, UK, July 11-15, 2017.

Edited by

### Nick Bassiliades(1)
Antonis Bikakis(2)
Stefania Costantini(3)
Enrico Franconi(4)
Adrian Giurca(5)
Roman Kontchakov(6)
Theodore Patkos(7)
Fariba Sadri(8)
William Van Woensel(9)

(1) Aristotle University of Thessaloniki, Greece
(2) University College London, UK
(3) University of L'Aquila, Italy
(4) Free University of Bozen-Bolzano, Italy
(5) Brandenburg University of Technology Cottbus - Senftenberg, Germany
(6) Birkbeck, University of London, UK
(7) Information Systems Laboratory, Institute of Computer Science, FO.R.T.H., Greece
(8) Imperial College London, UK
(8) Dalhousie University, Canada

## Table of Contents

- Preface

### Invited Papers

- Concurrent Task Programming of Robotic Agents in TeleoR (invited paper) Keith L. Clark, Peter J. Robinson

### Part 1: Doctoral Consortium@RuleML+RR2017

- Event Detection and Diagnosis for Intelligent Transport Systems
  Patrik Schneider
- Mining, Representation and Reasoning with Temporal Expressions in the Legal Domain
  María Navas-Loro
- Semantic Web of Things for Industry 4.0
  Aparna Saisree Thuluva, Darko Anicic, Sebastian Rudolph
- Deception-aware Pragmatic Inference
  Katerina Papantoniou
- Towards Scalable Ontological Reasoning using Machine Learning
  Daniel Ruffinelli

### Part 2: Rule Challenge@RuleML+RR2017

- Port Clearance Rules in PSOA RuleML: From Controlled-English Regulation to Object-Relational Logic
  Gen Zou, Harold Boley, Dylan Wood, Kieran Lea
- Representing, Querying, and Visualizing Health-Insurance Knowledge in a Cost-Sharing Estimator
  Zainab Almugbel, Harold Boley
- Development of the Rule Based Approach to Traffic Management by the Dutch Road Authorities
  Silvie Spreeuwenberg, Rolf Krikke
- Outlier (Anomaly) Detection Modelling in PMML
  Jaroslav Kuchař, Adam Ashenfelter, Tomáš Kliegr
- Managing Diabetes: Counselling Supported by User Data in a Mobile Platform
  Diogo Machado, Inês Dutra, Pedro Brandão, Vítor Santos Costa

### Part 3: Industry Track@RuleML+RR2017

- Rule-based Reasoning in Semantic Text Analysis
  Ivan Rygaev
- From Standards and Regulations to Executable Rules: A Case Study in the Building Accessibility Domain
  Ling Shi, Dumitru Roman
- Using Rules for Assessing and Improving Data Quality: A Case Study for the Norwegian State of Estate Report
  Ling Shi, Dumitru Roman
- The Effectiveness of DMN Portability
  Mark Proctor, Edson Tirelli, Davide Sottara, Bruce Silver, Jacob Feldman, Mélanie Gauthier

### Part 4: Tutorials @RuleML+RR2017

- Decision Modeling with DMN and OpenRules
  Jacob Feldman
- How to do it with LPS (Logic-Based Production System)
  Robert Kowalski, Fariba Sadri, Miguel Calejo
- Logic-based Rule Learning for the Web of Data
  Francesca A. Lisi
- Rulelog: Highly Expressive Semantic Rules with Scalable Deep Reasoning
  Benjamin Grosof, Michael Kifer, Paul Fodor
- Probabilistic Inductive Logic Programming on the Web
  Fabrizio Riguzzi, Riccardo Zese

### Part 5: Posters @RuleML+RR2017

- Combining Rule Learning and Nonmonotonic Reasoning for Link Prediction in Knowledge Graphs
  Francesca Alessandra Lisi, Daria Stepanova
- Using EasyMiner API for Financial Data Analysis in the OpenBudgets.eu Project
  Stanislav Vojíř, Václav Zeman, Jaroslav Kuchař, Tomáš Kliegr
- Object (B)logging: Semantic Self-Description for Cyber-Physical Systems
  Giovanna Capurso, Michele Ruta, Floriano Scioscia, Eugenio Di Sciascio
- Rule-Based Supervisor and Checker of Deep Learning Perception Modules in Cognitive Robotics
  Abeer Dyoub, Giovanni De Gasperis
- Using Rules to Animate Prolog Programs
  Nada Sharaf, Slim Abdennadher, Thom Fruehwirth

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