RuleML+RR 2018 itself provided a rich program,
with five keynote talks, two tutorials, a regular program, and several subevents: an industry track, the
12th International Rule Challenge 2018, a doctoral
consortium, and a poster session. A total of 33 papers
were submitted, from which 10 full papers and 12
technical communications were selected. The regular
papers were grouped into seven sessions on description logic, knowledge representation systems
and applications, ontological reasoning, benchmarking, reasoning with modalities, complex event
processing, and rule systems and applications. Presentation abstracts and a selection of slides are
available online. 4 Information on the various LuxLogAI
conference proceedings, including the Springer
Lecture Notes in Computer Science proceedings of
RuleML+RR 2018, are available on the conference
The five keynote presenters at RuleML+RR 2018
were Hannah Bast (University of Freiburg), who pre-
sented Efficient and Convenient Search on Very Large
Knowledge Bases; Georg Gottlob (University of Ox-
ford), who presented Vadalog: A Language and System
for Knowledge Graphs; Guido Governatori (Data61/
CSIRO), who presented Modal Rules: Extending De-
feasible Logic with Modal Operators; Valeria de Paiva
(Nuance Communications), who presented Bridging
Trouble; and Philipp Slusallek (Saarland University/
DFKI), who presented Understanding the World with
AI: Training and Validating Autonomous Systems
Using Synthetic Data.
RuleML+RR 2018 also featured two tutorials:
LegalRuleML, by Guido Governatori (Data61/CSIRO)
and Monica Palmirani (Bologna University), and Logic
and Smart Contracts, by Bob Kowalski (Imperial College
London), Miguel Calejo ( logicalcontracts.com), and
Fariba Sadri (Imperial College London).
The award for best paper went to Stathis Delivorias,
Michel Leclere, Marie-Laure Mugnier, and Federico
Ulliana for their paper On the k-Boundedness for
Existential Rules. The Best Rule Challenge Demo award
was presented to Theodoros Mitsikas, Sofia Almpani,
Petros Stefaneas, Panayiotis Frangos, and Iakovos
Ouranos for their presentation Formalizing Air
Traffic Control Regulations in PSOA RuleML. Finally,
the award for best poster went to Lukas Gr¨ atz for his
contribution, Concepts as Modalities in Description
The authors of a selection of the papers with the
highest reviewing scores were invited to submit an
extended version of their papers to the Journal of
Theory and Practice of Logic Programming for publication in a special issue on logic rules and reasoning.
As in previous years, RuleML+RR 2018 was followed
by the 14th Reasoning Web Summer School, 6 held
September 22 to 26, 2018. This year, special emphasis
was put on applications of machine learning to Web
We would like to thank our sponsors, in particular
the Luxembourg National Research Fund, whose contributions allowed us to cover the costs of student
participants and the invited and keynote speakers.
We would also like to thank all the people who have
contributed to the success of this year’s special
RuleML+RR 2018 and collocated events, including
the organization chairs, PC members, authors, speakers,
The RuleML+RR community will again join forces
with the GCAI community for a joint conference,
the Bolzano Rules and Artificial Intelligence Summit
(BRAIn 2019), 7 to be held September 16 to 24, 2019, in
Christoph Benzm¨ uller was a program cochair of RuleML+RR.
He is a professor at Freie Universit¨ at Berlin, Germany.
Xavier Parent was general chair of RuleML+RR. He is a researcher at the University of Luxembourg.
Francesco Ricca was a program cochair of RuleML+RR. He is
a professor at the University of Calabria, Italy.