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

221 Pages·2019·9.281 MB·English

by  Paul Fodor, Marco Montali, Diego Calvanese, Dumitru Roman

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