Rules and Reasoning: Third International Joint Conference, RuleML+RR 2019, Bolzano, Italy, September 16–19, 2019, Proceedings PDF
Preview Rules and Reasoning: Third International Joint Conference, RuleML+RR 2019, Bolzano, Italy, September 16–19, 2019, Proceedings
Paul Fodor Marco Montali Diego Calvanese Dumitru Roman (Eds.) 4 8 7 1 1 S Rules and Reasoning C N L Third International Joint Conference, RuleML+RR 2019 Bolzano, Italy, September 16–19, 2019 Proceedings Lecture Notes in Computer Science 11784 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 Paul Fodor Marco Montali (cid:129) (cid:129) Diego Calvanese Dumitru Roman (Eds.) (cid:129) Rules and Reasoning Third International Joint Conference, RuleML+RR 2019 – Bolzano, Italy, September 16 19, 2019 Proceedings 123 Editors PaulFodor MarcoMontali StonyBrookUniversity FreeUniversity ofBozen-Bolzano StonyBrook, NY,USA Bolzano, Italy DiegoCalvanese Dumitru Roman FreeUniversity ofBozen-Bolzano SINTEFAS Bolzano, Italy Oslo, Norway ISSN 0302-9743 ISSN 1611-3349 (electronic) Lecture Notesin Computer Science ISBN 978-3-030-31094-3 ISBN978-3-030-31095-0 (eBook) https://doi.org/10.1007/978-3-030-31095-0 LNCSSublibrary:SL2–ProgrammingandSoftwareEngineering ©SpringerNatureSwitzerlandAG2019 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 Third International Joint Conference on Rules and Reasoning (RuleML+RR). RuleML+RR joined the efforts of two well-established conference series: the International Web Rule Symposia (RuleML) and the Web Reasoning and Rule Systems (RR) conferences. The RuleML symposia and RR conferences have been held since 2002 and 2007, respectively.TheRRconferenceshavebeenaforumfordiscussionanddissemination of new 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. To leverage these ambitions, RuleML+RR 2019 was organized as part of the Bolzano Rules and Artificial INtelligence Summit (BRAIN 2019). This summit was hostedbytheFreeUniversityofBozen-BolzanoatitsmainsiteinBolzano,Italy.With its special focus theme on “beneficial AI,” a core objective of BRAIN 2019 was to present and discuss the latest advancements in AI and rules, and their adoption in IT systems, towards improving key fields such as environment, health, and societies. To this end, BRAIN 2019 brought together a range of events with related interests. In addition to RuleML+RR, this included the 5th Global Conference on Artificial Intelligence(GCAI2019),theDecisionCAMP2019,andtheReasoningWebSummer School (RW 2019). The RuleML+RR conference, moreover, included several subevents: 1. DoctoralConsortium,organizedbyMantasSimkus(TUWien,Austria)andGuido Governatori(Data61,Australia).Thedoctoralconsortiumwasaninitiativetoattract 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. This year, the DC was organized jointly with GCAI 2019,tofavorinteractionandexchangeofideasamongstudentsinterestedinrules and reasoning, and students interesting in various facets of artificial intelligence. 2. International Rule Challenge, organized by Sotiris Moschoyiannis (University of Surrey, UK) andAhmet Soylu (NorwegianUniversity ofScience andTechnology, SINTEF, Norway). The aim of this initiative was to provide competition among work in progress and new visionary ideas concerning innovative rule-oriented applications, aimed at both research and industry. vi Preface 3. PostersandInteraction,organizedbyPetrosStefaneas(NationalTechnical Univer- sity of Athens, Greece) and Alexander Steen (University of Luxembourg, Luxem- bourg).Thegoalofthisinitiativewastoshowcasepromising,preliminaryresearch resultsandimplementedsystems,intheformofaposterorinteractivedemos. The technical program of the main track of RuleML+RR 2019 included the presentationoftenfullresearchpapersandfiveshortpapers.Thesecontributionswere carefullyselectedbytheProgramCommitteeamong26high-qualitysubmissionstothe event. Each paper was carefully reviewed and discussed by members of the PC. The technical program was then enriched with the additional contributions from the Doctoral Consortium and the Rule Challenge. At RuleML+RR 2019 the following invited keynotes and tutorials were presented by experts in the field: (cid:129) KeynotebyMarie-Laure Mugnier (UniversityofMontpellier, France): “Existential Rules: a Study Through Chase Termination, FO-Rewritability and Boundedness” (cid:129) Keynote by Mike Gualtieri (VP and Principal Analyst, Forrester Research, USA): “The Future of Enterprise AI and Digital Decisions” (cid:129) Tutorial by Monica Palmirani (University of Bologna, Italy): “LegalRuleML and RAWE” ThekeynotesweresharedwithGCAI2019,consequentlygivingtheopportunityto theRuleML+RR2019audiencetoalsoattendthetwoGCAIkeynotesbyGiuseppeDe Giacomo(SapienzaUniversitàdiRoma,Italy)andMarlonDumas(UniversityofTartu, Estonia).Inaddition,asharedsessionwithDecisionCAMP2019providedinsightson the most recent industrial trends in decision management. Thechairssincerelythankthekeynoteandtutorialspeakersfortheircontributionto the success of the event. The chairs also thank the Program Committee members and theadditional reviewersfor theirhardworkinthecareful assessment ofthesubmitted papers. Further thanks go to all authors of contributed papers, in particular, for their effortsinthepreparationoftheirsubmissionsandthecamera-readyversionswithinthe established schedule. Sincere thanks are due to the chairs of the additional tracks and subevents, namely the Doctoral Consortium, the Rule Challenge, and the Poster and Interaction Track, and to the chairs of all co-located BRAIN 2019 events. The chairs finally thank the entire organization team including the Publicity, Proceedings, Sponsorship,SpeakerSupport,andSocialProgramChairs,whoactivelycontributedto the organization and the success of the event. A special thanks goes to all the sponsors of RuleML+RR 2019 and BRAIN 2019: the Free University of Bozen-Bolzano, the Transregional Collaborative Research Centre248“FoundationsofPerspicuousSoftwareSystems”,RobertBoschGmbH,the Artificial Intelligence Journal, oXygen, Hotel Greif, Ontopic S.r.L., and Springer. A special thanks also goes to the publisher, Springer, for their cooperation in editing this volume and publishing of the proceedings. July 2019 Paul Fodor Marco Montali Diego Calvanese Dumitru Roman Organization Summit Chair (BRAIN 2019) Diego Calvanese Free University of Bozen-Bolzano, Italy General Chair (RuleML+RR 2019) Diego Calvanese Free University of Bozen-Bolzano, Italy Program Chairs Paul Fodor Stony Brook University, USA Marco Montali Free University of Bozen-Bolzano, Italy Proceedings Chairs Dumitru Roman SINTEF AS, University of Oslo, Norway Adrian Giurca Brandenburg University of Technology, Germany Posters and Interactions Chairs Petros Stefaneas National Technical University of Athens, Greece Alexander Steen University of Luxembourg, Luxembourg Doctoral Consortium (Joint with GCAI 2019) Guido Governatori NICTA, Australia Mantas Simkus TU Wien, Austria Challenge Chairs Sotiris Moschoyiannis University of Surrey, UK Ahmet Soylu Norwegian University of Science and Technology, Norway Publicity Chair Nick Bassiliades Aristotle University of Thessaloniki, Greece Web Chair Paolo Felli Free University of Bozen-Bolzano, Italy viii Organization Program Committee Leopoldo Bertossi Relational AI Inc., Carleton University, Canada Mehul Bhatt Örebro University, Sweden Meghyn Bienvenu French National Center for Scientific Research, France Andrea Billig Fraunhofer FOKUS, Germany Pedro Cabalar Fernández University of La Corunna, Spain Iliano Cervesato Carnegie Mellon University, Qatar Horatiu Cirstea Inria, France Stefania Costantini University of Aquila, Italy Giovanni De Gasperis Università degli Studi dell’Aquila, Italy Marc Denecker KU Leuven, Belgium Juergen Dix Clausthal University of Technology, Germany Wolfgang Faber Alpen-Adria-Universität Klagenfurt, Austria Thom Fruehwirth University of Ulm, Germany Tiantian Gao Stony Brook University, USA Giancarlo Guizzardi University of Bozen-Bolzano, Italy Tomás Kliegr University of Economics in Prague, Czech Republic Matthias Klusch German Research Center for Artificial Intelligence, Germany Michael Kohlhase Erlangen FAU Jacobs University Bremen, Germany Roman Kontchakov University of London, UK Manolis Koubarakis University of Athens, Greece Markus Krötzsch TU Dresden, Germany Domenico Lembo Sapienza University of Rome, Italy Maurizio Lenzerini Sapienza University of Rome, Italy Francesca Lisi University of Bari, Italy Thomas Lukasiewicz University of Oxford, UK Marco Manna University of Calabria, Italy Marco Maratea University of Genoa, Italy Angelo Montanari University of Udine, Italy Grzegorz J. Nalepa AGH University of Science and Technology, Poland Magdalena Ortiz TU Vienna, Austria Jeff Pan University of Aberdeen, UK Monica Palmirani University of Bologna, Italy Adrian Paschke Free University of Berlin, Germany Rafael Penaloza Free University of Bozen-Bolzano, Italy Andreas Pieris University of Edinburgh, UK Luca Pulina University of Sassari, Italy Jan Rauch University of Economics in Prague, Czech Republic Sebastian Rudolph TU Dresden, Germany Emanuel Sallinger University of Oxford, UK Konstantin Schekotihin Alpen-Adria Universität, Austria Stefan Schlobach Free University of Amsterdam, The Netherlands Umberto Straccia ISTI-CNR, Italy Rolf Schwitter Macquarie University, Australia Organization ix Theresa Swift Coherent Knowledge, USA Giorgos Stamou National Technical University of Athens, Greece Giorgos Stoilos Athens University of Economics and Business, Greece Sergio Tessaris Free University of Bolzen-Bolzano, Italy Kia Teymourian Boston University, USA Nikos Triantafyllou National Technical University of Athens, Greece Anni-Yasmin Turhan Dresden University of Technology, Germany Riccardo Zese University of Ferrara, Italy RuleML+RR 2019 Sponsors
The list of books you might like
