Víctor Gutiérrez-Basulto Tomáš Kliegr Ahmet Soylu Martin Giese Dumitru Roman (Eds.) 3 7 1 2 1 S C Rules and Reasoning N L 4th International Joint Conference, RuleML+RR 2020 Oslo, Norway, June 29 – July 1, 2020 Proceedings Lecture Notes in Computer Science 12173 Founding Editors Gerhard Goos Karlsruhe Institute of Technology, Karlsruhe, Germany Juris Hartmanis Cornell University, Ithaca, NY, USA Editorial Board Members Elisa Bertino Purdue University, West Lafayette, IN, USA Wen Gao Peking University, Beijing, China Bernhard Steffen TU Dortmund University, Dortmund, Germany Gerhard Woeginger RWTH Aachen, Aachen, Germany Moti Yung Columbia University, New York, NY, USA More information about this series at http://www.springer.com/series/7408 í é V ctor Guti rrez-Basulto (cid:129) áš Tom Kliegr Ahmet Soylu (cid:129) (cid:129) Martin Giese Dumitru Roman (Eds.) (cid:129) Rules and Reasoning 4th International Joint Conference, RuleML+RR 2020 – Oslo, Norway, June 29 July 1, 2020 Proceedings 123 Editors Víctor Gutiérrez-Basulto TomášKliegr SchoolofComputerScienceandInformatics University of Economics, Prague Cardiff University Prague,Czech Republic Cardiff, UK Martin Giese AhmetSoylu Department ofInformatics NorwegianUniversity of Science University of Oslo andTechnology Oslo, Norway Gjøvik,Norway SINTEFAS Oslo, Norway Dumitru Roman SINTEFAS Oslo, Norway University of Oslo Oslo, Norway ISSN 0302-9743 ISSN 1611-3349 (electronic) Lecture Notesin Computer Science ISBN 978-3-030-57976-0 ISBN978-3-030-57977-7 (eBook) https://doi.org/10.1007/978-3-030-57977-7 LNCSSublibrary:SL2–ProgrammingandSoftwareEngineering ©SpringerNatureSwitzerlandAG2020 Thisworkissubjecttocopyright.AllrightsarereservedbythePublisher,whetherthewholeorpartofthe material is concerned, specifically the rights of translation, reprinting, reuse of illustrations, recitation, broadcasting, reproduction on microfilms or in any other physical way, and transmission or information storageandretrieval,electronicadaptation,computersoftware,orbysimilarordissimilarmethodologynow knownorhereafterdeveloped. Theuseofgeneraldescriptivenames,registerednames,trademarks,servicemarks,etc.inthispublication doesnotimply,evenintheabsenceofaspecificstatement,thatsuchnamesareexemptfromtherelevant protectivelawsandregulationsandthereforefreeforgeneraluse. Thepublisher,theauthorsandtheeditorsaresafetoassumethattheadviceandinformationinthisbookare believedtobetrueandaccurateatthedateofpublication.Neitherthepublishernortheauthorsortheeditors give a warranty, expressed or implied, with respect to the material contained herein or for any errors or omissionsthatmayhavebeenmade.Thepublisherremainsneutralwithregardtojurisdictionalclaimsin publishedmapsandinstitutionalaffiliations. ThisSpringerimprintispublishedbytheregisteredcompanySpringerNatureSwitzerlandAG Theregisteredcompanyaddressis:Gewerbestrasse11,6330Cham,Switzerland Preface These are the proceedings of the 4th International Joint Conference on Rules and Reasoning(RuleML+RR2020).RuleML+RRjoinedtheeffortsoftwowell-established conference series: the International Web Rule Symposia (RuleML) and the Web Reasoning and Rule Systems (RR) conferences. The RuleML symposia have been held since 2002 and the RR conferences since 2007.TheRRconferenceshavebeenaforumfordiscussionanddisseminationofnew results on Web Reasoning and Rule Systems, with an emphasis on rule-based approaches and languages. The RuleML symposia were devoted to disseminating research,applications,languages,andstandardsforruletechnologies,withattentionto boththeoreticalandpracticaldevelopments,tochallengingnewideas,andtoindustrial applications. Building on the tradition of both, RuleML and RR, the joint conference seriesRuleML+RRaimsatbridgingacademiaandindustryinthefieldofrules,andat fostering the cross-fertilization between the different communities focused on the research, development, and applications of rule-based systems. RuleML+RR aims at being the leading conference series for all subjects concerning theoretical advances, novel technologies, and innovative applications about knowledge representation and reasoning with rules. Toleveragetheseambitions,RuleML+RR2020wasorganizedaspartofthevirtual event Declarative AI 2020: Rules, Reasoning, Decisions, and Explanations, that was held between June 29 – July 1, 2020. This event was co-organized by SINTEF AS, University of Oslo, and Norwegian University of Science and Technology, under the umbrella of the SIRIUS Centre for Scalable Data Access. With its general topic “Declarative Artificial Intelligence,” a core objective of the event was to present the latest advancements in AI and rules, reasoning, decisions, and explanations and their adoption in IT systems. To this end, Declarative AI 2020 brought together co-located eventswithrelatedinterests.InadditiontoRuleML+RR,thisincludedDecisionCAMP 2020 and the Reasoning Web Summer School (RW 2020). The RuleML+RR 2020 conference moreover included three subevents: 1. Doctoral Consortium – an initiative to attract and promote student research in rules and reasoning, with the opportunity for students to present and discuss their ideas, and benefit from close contact with leading experts in the field. 2. International Rule Challenge – an initiative to provide competition among work in progress and new visionary ideas concerning innovative rule-oriented applications, aimed at both research and industry. 3. Industry Track – a forum for all sectors of industry and business (as well as public sector)topresent,discuss,andproposeexistingorpotentialrule-basedapplications. The program of the main track of RuleML+RR 2020 included the presentation of seven full research papers and six short papers. These contributions were carefully selected by the Program Committee (PC) from 30 high-quality submissions to the vi Preface event. Each paper was carefully reviewed and discussed by at least three members of the PC. The technical program was then enriched with the additional contributions from its subevents as well as from DecisionCAMP 2020, a co-located event aimed at practitioners. At RuleML+RR 2020 and DecisionCAMP 2020, four invited keynotes were pre- sented by experts in the field: (cid:129) Dieter Fensel (University of Innsbruck Austria): “Knowledge Graphs: Method- ologies, Tools, and Selected Use Cases” (cid:129) Eyke Hüllermeier (Paderborn University, Germany): “Multilabel Rule Learning” (cid:129) Derek Miers, (Gartner, UK): “What the Real World Needs From Decision Management, Reasoning and AI” (cid:129) Arild Waaler (University of Oslo, Norway): “Requirements as Rules” Thechairssincerelythankthekeynotespeakersfortheircontributiontothesuccess of the event. The chairs also thank the PC members and the additional reviewers for theirhardworkinthecarefulassessmentofthesubmittedpapers.Furtherthanksgoto all authors of contributed papers, in particular, for their efforts in the preparation of their submissions and the camera-ready versions within the established schedule. Sincere thanks are due to the chairs of the Doctoral Consortium, the Rule Challenge, andtheIndustry Track,andtothechairsofallco-located DeclarativeAI2020events. The chairs finally thank the entire organization team including the publicity, pro- ceedings,andsponsorshipchairs,whoactivelycontributedtotheorganizationandthe success of the event. A special thanks goes to all the sponsors of RuleML+RR 2020 and Declarative AI 2020: SINTEF AS, University of Oslo, Norwegian University of Science and Tech- nology, SIRIUS Centre for Scalable Data Access, RuleML Inc., RR Association, and Springer.Aspecialthanksalsogoestothepublisher,Springer,fortheircooperationin editing this volume and publication of these proceedings. We are grateful to the sponsors of the RuleML+RR 2020 Awards: the RR Association sponsored the Best Paper Award and the Best Presentation Award, and Springer sponsored the Best Student Paper Award and the Rule Challenge Award. June 2020 Víctor Gutiérrez-Basulto Tomáš Kliegr Ahmet Soylu Martin Giese Dumitru Roman Organization Summit Chair (Declarative AI 2020) Till C. Lech SINTEF AS, Norway General Chairs Dumitru Roman SINTEF AS, University of Oslo, Norway Martin Giese University of Oslo, Norway Ahmet Soylu NTNU, SINTEF AS, Norway Program Chairs Víctor Gutiérrez Basulto Cardiff University, UK Tomáš Kliegr University of Economics, Prague, Czech Republic Doctoral Consortium Paul Fodor Stony Brook University, USA Daniela Inclezan Miami University, USA Rule Challenge Chairs Sotiris Moschoyiannis University of Surrey, UK Jan Vanthienen KU Leuven, Belgium Industry Track Chairs Francisco Martin-Recuerda DNVGL, Norway Nicolay Nikolov SINTEF AS, Norway Ioan Toma Onlim, Austria Posters and Interactions Chairs Carlos A. Iglesias Universidad Politécnica de Madrid, Spain Dia Trambitas-Miron UMFST, Romania, and John Snow Labs, USA Publicity Chair Jean Christoph Jung Bremen University, Germany viii Organization Proceeding Chairs Springer Proceedings Dumitru Roman SINTEF AS, University of Oslo, Norway CEUR Proceedings Sotiris Moschoyiannis University of Surrey, UK Program Committee Pablo Barceló Pontificia Universidad Católica de Chile, Chile Petr Berka University of Economics, Prague, Czech Republic Leopoldo Bertossi AdolfoIbáñezUniversity,Chile,andRelationalAIInc., USA Mehul Bhatt Örebro University, Sweden Andreas Billig Fraunhofer FOKUS, Germany Pedro Cabalar University of Corunna, Spain Diego Calvanese Free University of Bozen-Bolzano, Italy Iliano Cervesato Carnegie Mellon University, USA Horatiu Cirstea Loria, France Ioana-Georgiana Ciuciu Babes-Bolyai University, Romania Stefania Costantini DISIM, University of L’Aquila, Italy Giovanni De Gasperis DISIM, University of L’Aquila, Italy Cristina Feier University of Bremen, Germany Paul Fodor Stony Brook University, USA Thom Fruehwirth Ulm University, Germany Johannes Fürnkranz Johannes Kepler University Linz, Austria Víctor Gutiérrez-Basulto Cardiff University, UK Martin Holena Institute of Computer Science, Czech Republic Ernesto Jimenez-Ruiz City, University of London, UK Tomas Kliegr University of Economics, Prague, Czech Republic Matthias Klusch DFKI, Germany Michael Kohlhase FAU Erlangen-Nürnberg, Germany Roman Kontchakov Birkbeck, University of London, UK Egor V. Kostylev University of Oxford, UK John Krogstie NTNU, Norway Jaroslav Kuchař CzechTechnicalUniversityinPrague,CzechRepublic Mark Law Imperial College, UK Francesca Alessandra Lisi Università degli Studi di Bari Aldo Moro, Italy Thomas Lukasiewicz University of Oxford, UK Marco Manna University of Calabria, Italy Marco Maratea DIBRIS, University of Genova, Italy Angelo Montanari University of Udine, Italy Sotiris Moschoyiannis University of Surrey, UK Filip Murlak University of Warsaw, Poland Organization ix Grzegorz J. Nalepa AGH University of Science and Technology, Poland Magdalena Ortiz Vienna University of Technology, Austria Matteo Palmonari University of Milano-Bicocca, Italy Adrian Paschke Freie Universität Berlin, Germany Heiko Paulheim University of Mannheim, Germany Rafael Peñaloza University of Milano-Bicocca, Italy Andreas Pieris The University of Edinburgh, UK Livia Predoiu Free University of Bozen-Bolzano, Italy Luca Pulina University of Sassari, Italy Jan Rauch University of Economics, Prague, Czech Republic Sebastian Rudolph TU Dresden, Germany Emanuel Sallinger University of Oxford, UK Stefan Schlobach Vrije Universiteit Amsterdam, The Netherlands Ute Schmid University of Bamberg, Germany Martin G. Skjæveland University of Oslo, Norway Giorgos Stoilos Huawei Technologies, UK Umberto Straccia ISTI-CNR, Italy Theresa Swift NOVALINKS,UniversidadeNovadeLisboa,Portugal Sergio Tessaris Free University of Bozen-Bolzano, Italy Kia Teymourian Boston University, USA Dia Trambitas-Miron UMFST, Romania, and John Snow Labs, USA Guillermo Vega-Gorgojo University of Valladolid, Spain Frank Wolter The University of Liverpool, UK Riccardo Zese ENDIF, University of Ferrara, Italy Additional Reviewers Kevin Angele Luca Geatti Luca Dag Hovland Matthew Karlsen Leszek Kolodziejczyk Davide Lanti John Mollas George Papagiannis Sascha Rechenberger Blerina Spahiu Jürgen Umbrich Bjørn Marius Von Zernichow