Rules and Reasoning: Third International Joint Conference, RuleML+RR 2019, Bolzano, Italy, September 16–19, 2019, Proceedings

Description

This book constitutes the proceedings of the International Joint Conference on Rules and Reasoning, RuleML+RR 2019, held in Bolzano, Italy, during September 2019. This is the third conference of a new series, joining the efforts of two existing conference series, namely “RuleML” (International Web Rule Symposium) and “RR” (Web Reasoning and Rule Systems). The 10 full research papers presented together with 5 short technical communications papers were carefully reviewed and selected from 26 submissions. Front Matter ....Pages i-xvi Front Matter ....Pages 1-1 Finding New Diamonds: Temporal Minimal-World Query Answering over Sparse ABoxes (Stefan Borgwardt, Walter Forkel, Alisa Kovtunova)....Pages 3-18 Reasoning on \(\textit{DL-Lite}_\mathcal{R}\) with Defeasibility in ASP (Loris Bozzato, Thomas Eiter, Luciano Serafini)....Pages 19-35 ODRL Policy Modelling and Compliance Checking (Marina De Vos, Sabrina Kirrane, Julian Padget, Ken Satoh)....Pages 36-51 Aligning, Interoperating, and Co-executing Air Traffic Control Rules Across PSOA RuleML and IDP (Marjolein Deryck, Theodoros Mitsikas, Sofia Almpani, Petros Stefaneas, Panayiotis Frangos, Iakovos Ouranos et al.)....Pages 52-66 An ASP-based Solution for Operating Room Scheduling with Beds Management (Carmine Dodaro, Giuseppe Galatà, Muhammad Kamran Khan, Marco Maratea, Ivan Porro)....Pages 67-81 EASE: Enabling Hardware Assertion Synthesis from English (Rahul Krishnamurthy, Michael S. Hsiao)....Pages 82-96 Formalizing Object-Ontological Mapping Using F-logic (Martin Ledvinka, Petr Křemen)....Pages 97-112 Alternating Fixpoint Operator for Hybrid MKNF Knowledge Bases as an Approximator of AFT (Fangfang Liu, Jia-Huai You)....Pages 113-127 Efficient TBox Reasoning with Value Restrictions—Introducing the \(\mathcal {F\!L}_{o}{} \textit{wer}\) Reasoner (Friedrich Michel, Anni-Yasmin Turhan, Benjamin Zarrieß)....Pages 128-143 Query Rewriting for DL Ontologies Under the ICAR Semantics (Despoina Trivela, Giorgos Stoilos, Vasilis Vassalos)....Pages 144-158 Front Matter ....Pages 159-159 Complementing Logical Reasoning with Sub-symbolic Commonsense (Federico Bianchi, Matteo Palmonari, Pascal Hitzler, Luciano Serafini)....Pages 161-170 Adding Constraint Tables to the DMN Standard: Preliminary Results (Marjolein Deryck, Bram Aerts, Joost Vennekens)....Pages 171-179 Detecting “Slippery Slope” and Other Argumentative Stances of Opposition Using Tree Kernels in Monologic Discourse (Davide Liga, Monica Palmirani)....Pages 180-189 Fuzzy Logic Programming for Tuning Neural Networks (Ginés Moreno, Jesús Pérez, José A. Riaza)....Pages 190-197 Querying Key-Value Stores Under Single-Key Constraints: Rewriting and Parallelization (Olivier Rodriguez, Reza Akbarinia, Federico Ulliana)....Pages 198-206 Back Matter ....Pages 207-207