In 2017 the two events RuleML and RR came together to form the 1st RuleML+RR: International Joint Conference on Rules and Reasoning held at Birkbeck, University of London, in London, UK, during 12-15 July. RuleML (International Web Rule Symposium) events have been ongoing since 2002, first as workshops until 2004 and then as conferences from then on, throughout Europe, US and Japan, and RR (Reasoning and Rule Systems) conferences have been ongoing since 2007, throughout Europe and US.
RuleML+ RR 2017 was co-located with several other events: the 13th Reasoning Web Summer School, which is a high-level educational initiative devoted to reasoning techniques related to the Semantic Web, Linked Data and Knowledge Graph application scenarios; DecisionCAMP, a renowned event in the field of Business Rules and Decision Management Technology; and BICOD, the 31st British International Conference on Databases, a venue for research papers on data management.
RuleML+ RR 2017 provided a rich programme of four tutorials, three keynote talks, and technical papers, together with several sub-events, including a Doctoral Consortium, which is an initiative to attract and promote student research in rules and reasoning, the 11th International Rule Challenge, providing competition among work in progress and new visionary ideas concerning innovative rule-oriented applications, an Industry Track as a forum for all private and public sectors of industry and business to present, discuss, and propose potential rule-based applications, as well as a highly popular Poster session.
The four tutorials were:
- Decision Modeling with DMN and OpenRules, by Jacob Feldman (Open Rules, Inc., US)
- How to do it with LPS (Logic-Based Production System, by Robert Kowalski, Fariba Sadri (Imperial College London, UK), and Miguel Calejo (InterProlog Consulting)
- Logic-Based Rule Learning for the Web of Data, by Francesca A. Lisi (University of Bari, Italy)
- Rulelog: Highly Expressive Semantic Rules with Scalable Deep Reasoning, by Benjamin Grosof (Accenture, US), Michael Kifer, and Paul Fodor (Stony Brook University, NY, US)
The three keynote presenters and talks were:
- Elena Baralis, Politecnico di Torino, Italy, presenting “Opening the Black Box: Deriving Rules from Data”
- Jordi Cabot, Internet Interdisciplinary Institute, Open University of Catalonia, Barcelona, Spain, presenting “The Secret Life of Rules in Software Engineering”
- Stephen Muggleton, Imperial College London, UK, presenting “Meta-Interpretive Learning: Achievements and Challenges”
The first of these, by Elena Baralis, was a joint BICOD keynote talk. In addition the two events shared a session of two research papers. In total the conference included 14 research papers, selected from 38 submissions, with presentations divided into sessions on Rules and Databases, Rules and Description Logics, Applications of Rules, and Rules and Logic Programming.
The conference also shared an industry invited talk with DecisionCAMP:
Eric Mazeran, IBM, US, presenting “Machine Learning, Optimization and Rules: Time for Agility and Convergences”.
The Doctoral Consortium (DC) consisted of six papers, one of which, the winner of the DC best paper award, was presented as a full research paper and published in the Springer conference proceedings.
The Rule Challenge consisted of 5 presentations and demos, in diverse areas, such as traffic management, health insurance, diabetes counselling support, anomaly detection, and translation from (controlled) English to rules. The event also had the benefit of an invited presentation and demo by Keith Clark from Imperial College London, UK, on Concurrent Multi-tasking Robotic Agent Programming in TeleoR. In the Standards session, Harold Boley presented on OASIS LegalRuleML and perspectival knowledge in PSOA RuleML 1.0.
The official conference Dinner was held at the Royal Society. One of the highlights of the conference was the after dinner speech given by Bob Kowalski, from Imperial College London, entitled “Logic and AI – The Last 50 Years”. In this, Bob gave a fascinating insightful history of logic and AI, from 1967 to the present day, sketching novel approaches to ongoing challenges, with many wonderful anecdotes that only a person deeply involved in all the many developments of this history can give.
The conference and its associated events were well-attended, with a total of 140 delegates registered, including 70 RuleML+RR participants.
The conference and its sub-events produced several winners:
- The winners of the RuleML+RR Best Paper award were: Diego Calvanese, Marlon Dumas, Fabrizio Maria Maggi and Marco Montali, for the paper entitled “Semantic DMN: Formalizing Decision Models with Domain Knowledge”.
- The winner of the RuleML+RR Best Doctoral Consortium Paper award was: Dimitra Zografistou, for the paper entitled “ArgQL: A Declarative Language for Querying Argumentative Dialogues”.
- The winners of the RuleML+RR Best Rule Challenge Paper were: Silvie Spreeuwenberg and Rolf Krikke, for the paper and demo entitled “Development of the rule based approach to traffic management by the Dutch road authorities”.
- The winners of the RuleML+RR Best Poster award were: Francesca Alessandra Lisi, Daria Stepanova, for the poster entitled “Combining Rule Learning and Nonmonotonic Reasoning for Link Prediction in Knowledge Graphs”.
We would like to thank our sponsors, whose contributions helped us to cover the costs of student participants and the keynote speakers. We would also like to thank all the people who have contributed to the success of this year’s special RuleML+RR 2017 and co-located events, including all the chairs, PC members, authors, speakers, and participants. Thanks are also due to the publisher, Springer, for their cooperation in editing and publishing the conference proceedings, and to the CEUR voluntary organisation for providing the facility to publish the proceedings of the conference sub-events.
The participants of this 1st Int'l Joint Conference were able to build a larger and stronger RuleML+RR community. The 2nd Int'l Joint Conference on Rules and Reasoning is planned as part of LuxLogAI 2018 in Luxembourg, a co-location including GCAI 2018 and DecisionCAMP 2018 (both Sep 17-19), RuleML+RR 2018 (Sep 18-21), and the Reasoning Web Summer School 2018 (Sep 22-26).