The 4th International Joint Conference on Rules and Reasoning (RuleML+RR 2020)


November 6, 2020 at 6:49 PM
Report on the 4th International Joint Conference on Rules and Reasoning (RuleML+RR 2020)
Dumitru Roman (SINTEF AS / University of Oslo, Norway), General Co-chair RuleML+RR 2020
Martin Giese (University of Oslo, Norway), General Co-chair RuleML+RR 2020
Ahmet Soylu (NTNU / SINTEF AS, Norway), General Co-chair RuleML+RR 2020

The annual International Joint Conference on Rules and Reasoning (RuleML+RR) is an international conference on research, applications, languages and standards for rule technologies, rule-based programming and rule-based systems including production rules systems, logic programming rule engines, as well as business-rule engines and management systems; Semantic Web rule languages and rule standards, including RuleML (e.g., PSOA RuleML, Reaction RuleML and LegalRuleML), SWRL, RIF, Common Logic, PRR, decision rules and Decision Model and Notation (DMN), as well as Semantics of Business Vocabulary and Business Rules (SBVR); rule-based Event Processing Languages (EPLs) and technologies; and foundational research on inference rules, transformation rules, decision rules, production rules, and Event-Condition-Action (ECA) rules. In 2017, 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, and it is now the leading conference to build bridges between academia and industry in the field of Web rules and its applications, especially as part of the Semantic Technology stack. RuleML+RR is commonly listed together with and related to other major high-impact Artificial Intelligence conferences worldwide, starting with IJCAI in 2011 and 2016, ECAI in 2012, AAAI in 2013, ECAI in 2014, the AI Summit London in 2017, and GCAI in 2018 and 2019. The RuleML symposia and RR conferences have been held since 2002 and 2007, respectively. The RR conferences have been a forum for discussion and dissemination of new results on Web reasoning and rule systems, with an emphasis on rule-based approaches and languages. The RuleML symposia have been devoted to disseminating research, applications, languages, and standards for rule technologies, with attention to both theoretical and practical developments, to challenging new ideas, and to industrial applications. Building on the tradition of both, RuleML and RR, the joint conference series RuleML+RR aims at bridging academia and industry in the field of rules, and at 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 goals, RuleML+RR 2020 (http://2020.ruleml-rr.org) was organized as part of Declarative AI 2020 - Rules, Reasoning, Decisions, and Explanations (https://2020.declarativeai.net). Declarative AI 2020 was co-organised by SINTEF AS, University of Oslo, and Norwegian University of Science and Technology, under the umbrella of the SIRIUS Centre for Scalable Data Access. The event was planned to be held at Oslo, Norway; however, held virtually between 24 June - 1 July 2020 due to the COVID-19 outbreak. This first virtual-only edition of the event series attracted 380 registered participants. With its general topic "Declarative AI", the event aimed at presenting the latest advancements in AI and rules, reasoning, decisions, and explanations and their adoption in IT systems towards improving key fields such as environment, health and societies. To this end, Declarative AI 2020 brought together a range of events with related interests. In addition to RuleML+RR, the event included DecisionCAMP 2020 (https://decisioncamp2020.home.blog), and the 16th Reasoning Web Summer School (RW 2020, https://2020.declarativeai.net/events/rw-summer-school).

 RuleML+RR 2020 hosted the following sub-events:

The 14th International Rule Challenge was organized by Sotiris Moschoyiannis (University of Surrey, UK) and Jan Vanthienen (KU Leuven, Belgium). 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.

The RuleML+RR Doctoral Consortium (DC) 2020 was organized by Paul Fodor (Stony Brook University, USA) and Daniela Inclezan (Miami University, USA). The doctoral consortium was 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.

Industry track, organised by Francisco Martin-Recuerda (DNVGL, Norway), Nikolay Nikolov (SINTEF AS, Norway), and Ioan Toma (Onlim, Austria). The aim of the Industry Track was to share experiences from practitioners when applying rules to industries such as engineering, manufacturing, agriculture, energy, media, financials, telecommunications, healthcare, life sciences, government, smart cities, and cultural heritage.

The technical 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 among 30 high-quality submissions to the event. Each paper was carefully reviewed and discussed by members of the PC.

A Standards/Representations session was devoted to Prolog and RuleML (full paper by Mark Thom, Harold Boley and Theodoros Mitsikas), PSOA RuleML (invited tutorial by Theodoros Mitsikas), and LegalRuleML (invited presentation by Monica Palmirani).

This technical program was enriched with the additional contributions from the Doctoral Consortium, the Rule Challenge, and the Industry Track.

At RuleML+RR 2020 the following invited keynotes were presented by experts in the field:

Keynote by Derek Miers (Sr Director at Gartner, United Kingdom): “What The Real World Needs From Decision Management, Reasoning and AI”

Keynote by Dieter Fensel (Professor at University of Innsbruck, Austria): “Knowledge Graphs: Methodologies, Tools, and Selected Use Cases”

Keynote by Eyke Hüllermeier (Professor at Paderborn University, Germany): “Multilabel Rule Learning”

Keynote by Arild Waaler (Professor at University of Oslo, Norway): “Requirements as Rules”


RuleML+RR 2020 awarded the Best Paper Award to Tackling the DMN Challenges with cDMN: A Tight Integration of DMN and Constraint Reasoning by Bram Aerts, Simon Vandevelde, and Joost Vennekens. The winner of Best Student Paper was Benchmark for Performance Evaluation of SHACL Implementations in Graph Databases by Robert Schaffenrath, Daniel Proksch, Markus Kopp, Iacopo Albasini, Oleksandra Panasiuk, and Anna Fensel. The Best Presentation Award went to Reasoning under Uncertainty in Datalog+/- Knowledge Graphs by Luigi Bellomarini, Eleonora Laurenza, Emanuel Sallinger, and Evgeny Sherkhonov. The Best Rule Challenge Presentation Award went to Action Rules: Counterfactual explanations in Python by Lukáš Sýkora and Tomáš Kliegr.

The chairs sincerely thank the keynote speakers for their contribution to the success of the event. The chairs also thank the Program Committee members and the additional reviewers for their hard work in the careful assessment of the submitted papers. Further thanks go to 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 additional tracks and subevents, namely the Doctoral Consortium, the Rule Challenge, the Poster and Interaction Track, Industry Track, and to the chairs of all co-located Declarative AI 2020 events. The chairs finally thank the entire organization team including the Publicity, Proceedings, Sponsorship chairs, who actively contributed to the organization and the success of the event.

A special thanks also goes to Springer, for their cooperation in editing and publishing of the main proceedings and CEUR for the affiliated programs proceedings.

The RuleML+RR community will organize the 2021 joint conference as part of (the probably again virtual) Declarative AI 2021.


RuleML+RR 2020 General Chairs:
Dumitru Roman (SINTEF AS / University of Oslo, Norway)
Martin Giese (University of Oslo, Norway)
Ahmet Soylu (NTNU / SINTEF AS, Norway)

Contact info: Dumitru Roman, SINTEF AS, Oslo, Norway
Dumitru.Roman@sintef.no

Keynote Talks at RuleML+RR 2020


March 30, 2020 at 8:22 AM
Prof. Eyke Hullermeier, Univ. Padeborn, Germany: Multilabel rule learning  Prof. Dieter Fensel, STI Innsbruck, Austria: Knowledge Graphs: Methodologies, Tools, and Selected Use Cases  Derek Miers, Sr Director at Gartner, United Kingdom: What The Real World Needs From Decision Management, Reasoning and AI  Prof. Arild Waaler, Sirius Centre for Scalable Data Access, Norway: title TBA

Due to Corona virus pandemic, RuleML+RR 2020 goes virtual (free registration)


March 28, 2020 at 1:03 PM
RuleML+RR 2020, the 4th International Joint Conference on Rules and Reasoning, is the leading event in the field of rule-based reasoning. Stemming from the synergy between the well-known RuleML and RR events, one of the main goals of this conference is to build bridges between academia and industry.

RuleML+RR 2020 aims to bring together rigorous researchers and inventive practitioners, interested in the foundations and applications of rules and reasoning in academia, industry, engineering, business, finance, healthcare and other application areas. It will provide a forum for stimulating cooperation and cross-fertilization between the many different communities focused on the research, development and applications of rule-based systems.

RuleML+RR 2020 will take place online this time and will be part of Declarative AI 2020, a summit on rules, reasoning, decisions, and explanations. Its special focus this year is "Explainable Algorithmic Decision-Making". Declarative AI 2020 brings together the 4th International Joint Conference on Rules and Reasoning (RuleML+RR 2020), DecisionCAMP 2020, and the Reasoning Web Summer School (RW 2020).

Important dates:

  • Full Paper Submission Deadline: 01 May 2020
  • Conference 29 June - 1 July

For more information, see http://2020.ruleml-rr.org.

RuleML+RR 2020

by
December 31, 2019 at 4:43:36 PM
From Dec 31, 2019, 4:45 PM
To Jan 4, 2020, 4:45 PM
(Ended)
The RuleML+RR community will organize the 2020 joint conference: RuleML+RR 2020: International Joint Conference on Rules and Reasoning (https://2020.declarativeai.net), in Oslo, Norway, under the leadership of Dumitru Roman (SINTEF AS / University of Oslo, Norway), Martin Giese (University of Oslo, Norway) and Ahmet Soylu (NTNU / SINTEF AS, Norway). See you all next year at RuleML+RR 2020 in Oslo, Norway.

The 3rd International Joint Conference on Rules and Reasoning (RuleML+RR 2019)


December 31, 2019 at 4:27 PM
Report on the 3rd International Joint Conference on Rules and Reasoning (RuleML+RR 2019)
Diego Calvanese (Free University of Bozen-Bolzano, Italy), General Chair RuleML+RR 2019
Paul Fodor (Stony Brook University, USA), Program Co-chair RuleML+RR 2019 
Marco Montali (Free University of Bozen-Bolzano, Italy), Program Co-chair RuleML+RR 2019 

The annual International Joint Conference on Rules and Reasoning (RuleML+RR) is an international conference on research, applications, languages and standards for rule technologies, rule-based programming and rule-based systems including production rules systems, logic programming rule engines, as well as business-rule engines and management systems; Semantic Web rule languages and rule standards, including RuleML (e.g., Datalog+ RuleML, Reaction RuleML and LegalRuleML), SWRL, RIF, Common Logic, PRR, decision rules and Decision Model and Notation (DMN), as well as Semantics of Business Vocabulary and Business Rules (SBVR); rule-based Event Processing Languages (EPLs) and technologies; and foundational research on inference rules, transformation rules, decision rules, production rules, and Event-Condition-Action (ECA) rules. In 2017, 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, and it is now the leading conference to build bridges between academia and industry in the field of Web rules and its applications, especially as part of the Semantic Technology stack. RuleML+RR is commonly listed together with and related to other major high-impact Artificial Intelligence conferences worldwide, starting with IJCAI in 2011 and 2016, ECAI in 2012, AAAI in 2013, ECAI in 2014, the AI Summit London in 2017, and GCAI in 2018 and 2019. The RuleML symposia and RR conferences have been held since 2002 and 2007, respectively. The RR conferences have been a forum for discussion and dissemination of new results on Web reasoning and rule systems, with an emphasis on rule-based approaches and languages. The RuleML symposia have been devoted to disseminating research, applications, languages, and standards for rule technologies, with attention to both theoretical and practical developments, to challenging new ideas, and to industrial applications. Building on the tradition of both, RuleML and RR, the joint conference series RuleML+RR aims at bridging academia and industry in the field of rules, and at 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 goals, RuleML+RR 2019 (https://rulemlrr19.inf.unibz.it) was organized as part of the Bolzano Rules and Artificial INtelligence Summit (BRAIN 2019). The summit was hosted by the Free University of Bozen-Bolzano at its main site in Bolzano, 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, the summit included the 5th Global Conference on Artificial Intelligence (GCAI 2019, http://gcai2019.inf.unibz.it), the DecisionCAMP 2019 (https://decisioncamp2019.wordpress.com), and the Reasoning Web Summer School (RW 2019, https://rulemlrr19.inf.unibz.it/rw2019/).

 RuleML+RR 2019 hosted the following sub-events:

The 13th International Rule Challenge, organized by Sotiris Moschoyiannis (University of Surrey, UK) and Ahmet Soylu (Norwegian University of Science and Technology, 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.

The RuleML+RR+GCAI Doctoral Consortium (DC) 2019 , organized by Mantas Simkus (TU Wien, Austria) and Guido Governatori (Data61, Australia). The doctoral consortium was 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. The DC was organized jointly with GCAI 2019, to favor interaction and exchange of ideas among students interested in rules and reasoning, and students interesting in various facets of artificial intelligence.

Posters and Interaction, organized by Petros Stefaneas (National Technical University of Athens, Greece) and Alexander Steen (University of Luxembourg, Luxembourg). The goal of this initiative was to showcase promising, preliminary research results and implemented systems, in the form of a poster or interactive demos.

A tutorial day.

The technical program of the main track of RuleML+RR 2019 included the presentation of ten full research papers and five short papers. These contributions were carefully selected by the Program Committee among 26 high-quality submissions to the 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:

• Keynote by Marie-Laure Mugnier (University of Montpellier, France): “Existential Rules: a Study Through Chase Termination, FO-Rewritability and Boundedness”

• Keynote by Mike Gualtieri (VP and Principal Analyst, Forrester Research, USA): “The Future of Enterprise AI and Digital Decisions”

• Tutorial by Monica Palmirani (University of Bologna, Italy): “LegalRuleML and RAWE”

The keynotes were shared with GCAI 2019, consequently giving the opportunity to the RuleML+RR 2019 audience to also attend the two GCAI keynotes by Giuseppe De Giacomo (Sapienza Università di Roma, Italy) and Marlon Dumas (University of Tartu, Estonia). In addition, a shared session with DecisionCAMP 2019 provided insights on the most recent industrial trends in decision management.

RuleML+RR 2019 awarded the Best Paper Award to: Reasoning on DL-LiteR with Defeasibility in ASP, by Loris Bozzato, Thomas Eiter and Luciano Serafini. The Best Paper Runner Up was: Efficient TBox Reasoning with Value Restrictions—Introducing the Fl𝑜wer Reasoner, by Friedrich Michel, Anni-Yasmin Turhan and Benjamin Zarrieß. The Best Rule Challenge Award went to: PyIDS - Python Implementation of Interpretable Decision Sets Algorithm, by Jiri Filip and Tomas Kliegr. The Best Rule Challenge Presentation Award went to: OO-logic: a Successor of F-logic, by Jürgen Angele and Kevin Angele. The Best Poster and Interactions Award went to: Combining Conflict-Driven Clause Learning and Chronological Backtracking for Propositional Model Counting, by Sibylle Mohle and Armin Biere.

The chairs sincerely thank the keynote and tutorial speakers for their contribution to the success of the event. The chairs also thank the Program Committee members and the additional reviewers for their hard work in the careful assessment of the submitted papers. Further thanks go to 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 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, Speaker Support, and Social Program Chairs, who actively contributed to 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 Centre 248 “Foundations of Perspicuous Software Systems”, Robert Bosch GmbH, the Artificial Intelligence Journal, oXygen, Hotel Greif, Ontopic S.r.L., and Springer. A special thanks also goes to Springer, for their cooperation in editing and publishing of the main proceedings and CEUR for the affiliated programs proceedings.

The RuleML+RR community will organize the 2020 joint conference: RuleML+RR 2020: International Joint Conference on Rules and Reasoning (https://2020.declarativeai.net), in Oslo, Norway, under the leadership of Dumitru Roman (SINTEF AS / University of Oslo, Norway), Martin Giese (University of Oslo, Norway) and Ahmet Soylu (NTNU / SINTEF AS, Norway). See you all next year at RuleML+RR 2020 in Oslo, Norway.

Summit Chair (BRAIN 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)

Contact info: Paul Fodor, Computer Science Department, Stony Brook University, Stony Brook, NY 11794, USA, pfodor@cs.stonybrook.edu

2nd Workshop on Rules: Logic and Applications


December 31, 2019 at 2:41 PM

Following up on RulesLogApps 2018, the 2nd Workshop on Rules: Logic and Applications (RulesLogApps 2019), took place on Dec. 16-17, 2019, at the National Technical University of Athens, Greece. It included sessions discussing RuleML and XAI topics. Information about these and the other sessions can be found on the RulesLogApps 2019 website.

In particular, these talk slides are available from the website:

Session "RuleML and Prolog"

A Hands-on PSOA RuleML Tutorial: Relationship & Framepoint Facts and Rules (Theodoros Mitsikas)

ExosCE: A Legal Framework System for Exoskeleton Compliance (Sofia Almpani)

Data Systematics: The PSOA RuleML Metamodel Illustrated by Grailog Visualization of Wedding Atoms (Harold Boley)

*  Scryer Prolog: A modern ISO Prolog implementation written in Rust (Mark Thom)

Session "Explainable AI"

Explainable AI (Nick Bassiliades)

From Association Rules to Interpretable Classification Models - A Tutorial (Tomáš Kliegr)

Some of the speakers of RulesLogApps 2019 presented remotely. The contacts for RulesLogApps are  Sofia Almpani, Theodoros Mitsikas, and Petros Stefaneas.


Read more at: http://fsvg.math.ntua.gr/rulesworkshop2019.html

AI and The EnvironmentBook Announcement👍

by
August 29, 2019 at 7:27:00 AM
From Aug 29, 2019, 7:05 AM
To Sep 2, 2019, 7:05 AM
(Ended)
BOOK ANNOUNCEMENT Artificial Intelligence and The Environment  AI Blueprints for 16 Environmental Problems Dr. C. Mason About this Book The book contains AI blue prints for 16 different environmental problems that currently plague us - from firefighting resource planning to toxic algae bloom prediction.    see www.aiandenvironment.org for ordering information
This is the first book on AI and the Environment, available this fall.

AI and The Environment, Edited by C. Mason

Description
The book contains AI blue prints for 16 different environmental problems that currently plague us - from firefighting resource planning to toxic algae bloom prediction.  If you are hoping to use AI technology to help with the environment crisis, you have come to the right place. Scientists, educators and administrators from all different disciplines and all areas of the world are learning how to use AI technologies for the public good. Each chapter comes from a collection of papers from the first international AI and Environment workshop where pioneers used many kinds of AI together with conventional technologies together (hybrid systems) to produce blueprints to problems that plague us now.  The AI methods used here are the brick and mortar of today’s AI and includes software agents, neural nets, learning, search, genetic algorithms, integrated and hybrid AI and so on.  The AI architectures in these chapters depict compositions of computing components that are as interconnected  and interdependent as GAIA herself.    

At the end of each chapter is a Classroom Connections with Q & A for education, community and other discussion.
We're putting the AI in GAIA. G-AI-A   .  

ISBN 978-1-7335248-0-3
E-ISBN 978-1-7335248-1-0 
LOCC 2019909945
See www.aiandenviornment.org for ordering information.

RuleML+RR 2019 CALL FOR PAPERS (DEADLINE: 4./11. May)


April 4, 2019 at 8:40 AM
RuleML+RR 2019 will take place in Bolzano, Italy, on the 16-19 September 2019 and will be part of the BRAIN 2019, the Bolzano Rules and Artificial Intelligence Summit.
RuleML+RR 2019, the 3rd International Joint Conference on Rules and Reasoning, is the leading event in the field of rule-based reasoning. Stemming from the synergy between the well-known RuleML and RR events, one of the main goals of this conference is to build bridges between academia and industry.

 

RuleML+RR 2019 aims to bring together rigorous researchers and inventive practitioners, interested in the foundations and applications of rules and reasoning in academia, industry, engineering, business, finance, healthcare and other application areas. It will provide a forum for stimulating cooperation and cross-fertilization between the many different communities focused on the research, development and applications of rule-based systems.

RuleML+RR 2019 will take place in Bolzano, Italy, on the 16-19 September 2019 and will be part of the BRAIN 2019, the Bolzano Rules and Artificial Intelligence Summit. With its special focus theme on "Beneficial AI", BRAIN 2019 brings together the 3rd International Joint Conference on Rules and Reasoning (RuleML+RR 2019), DecisionCAMP 2019, the Reasoning Web Summer School (RW 2019) and The 5th Global Conference on Artificial Intelligence (GCAI 2019).

Important dates:

  • Title and Abstract submission 11 May 2019
  • Full papers submission 18 May 2019
  • Notification of acceptance 21 June 2019
  • Camera-ready submission 03 July 2019
  • Conference 16-19 Sept 2019
For more information, see http://2019.ruleml-rr.org. 

Graph-Relational Data, Ontologies, and Rules


February 12, 2019 at 10:48 PM

Combinations of the Semantic Web, Graph Databases, and Logic Programming are explored. Data are complemented by Knowledge (Ontologies and Rules). Graphs and Relations are integrated. The ensuing synergies cross-fertilize tools and techniques and contribute to eXplainable Artificial Intelligence and IT at large. As an example, representations of Cypher's Labeled Property Graphs in RDF and PSOA RuleML are discussed.

Read more...

image