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

RuleML+RR 2018 Report


January 24, 2019 at 3:06 PM
The 2nd International Joint Conference on Rules and Reasoning RuleML+RR 2018 was held on September 18-21, 2018, at campus Belval of the University of Luxembourg. The conference was organised as one of several collocated events of the Luxembourg Logic for AI Summit 2018, which was substantially supported by the Luxembourg National Research Fund (FNR, RESCOM/18/12426287).

The Luxembourg Logic for AI Summit 2018 (LuxLogAI 2018, September 17-26, 2018) summit had a special theme: tools and methods for responsible AI. The summit brought together a number of events, including (besides RuleML+RR 2018):

  • the 4th Global Conference on Artificial Intelligence (GCAI 2018), a young international conference series covering all topics in AI;
  • DecisionCAMP 2018, a renowned event series in the field of business rules and decision management technology;
  • the 14th Reasoning Web Summer School (RW 2018), a high-level educational initiative devoted to reasoning techniques related to the semantic web, linked data and knowledge graph application scenarios;
  • MIning and REasoning with legal texts (MIREL 2018), an international workshop in the field of legal reasoning;
  • Deduktionstreffen 2018, the annual meeting of the deduction systems chapter of the German Gesellschaft für Informatik;
  • AI: Truth or Dare, a public round table discussion on responsible AI and the European future with high profile panelists from politics, industry and academia;
  • AI and Art, a combination of art exhibitions,  cultural events and discussion sessions;
  • a workshop on self-organising systems and a tutorial on advanced belief change and default entailment.

LuxLogAI 2018 featured a stellar line-up of eleven internationally recognized invited speakers, complemented by regular presentations of research papers.

RuleML+ RR 2018 provided a rich programme, with five keynote talks, two tutorials, a regular program together with several sub-events: an industry track, the 12th International Rule Challenge 2018 , a doctoral consortium and a poster session.

The five keynote presenters were:

  • Hannah Bast (University of Freiburg) presenting  "Efficient and Convenient Search on Very Large Knowledge Bases"
  • Georg Gottlob (University of Oxford) presenting "Vadalog: A Language and System for Knowledge Graphs"
  • Guido Governatori (Data61/CSIRO) presenting  "Modal Rules: Extending Defeasible Logic with Modal Operators"
  • Valeria de Paiva (Nuance Communications) presenting "Bridging Trouble”
  • Philipp Slusallek (Saarland University/DFKI) presenting "Understanding the World with AI: Training and Validating Autonomous Systems Using Synthetic Data"

Gottlob, de Paiva and Slusallek were each a joint GCAI keynote.

The two tutorials were:

  • LegalRuleML, by Guido Governatori (Data61/CSIRO) and Monica Palmirani (Bologna University)
  • Logic and Smart Contracts, by Bob Kowalski (Imperial College London), Miguel Calejo (logicalcontracts.com) and Fariba Sadri (Imperial College London)

The regular program included ten full research papers and twelve technical communication papers selected from thirty-three submissions. The presentations were grouped in seven sessions: description logic; KR systems and applications;  ontological reasoning; benchmarking; reasoning with modalities; complex event processing; rule system and applications. Presentation abstracts and a selection of slides are available on-line: https://easychair.org/smart-program/LuxLogAI2018/

Information on the various LuxLogAI conference proceedings, including the Springer LNCS proceedings of RuleML+RR 2018, are available at: https://luxlogai.uni.lu/proceedings/

The Doctoral Consortium (DC) consisted of four papers, one of which, the winner of the DC best paper award, was presented as a full research paper and is contained in the RuleML+RR 2018 proceedings. The six presentations and demos of the Rule Challenge addressed diverse areas, like air traffic control regulations, the British Succession to the Crown Act 2013', rule mining and ontologies.  The industry track consisted of four invited presentations on the topic of rule languages and AI in industry. It was followed by the highly successful public round table discussion event  AI: Truth or Dare at KPMG Luxembourg devoted to Responsible Artificial Intelligence and the European future. This public round table was perhaps one of the main highlights of the LuxLogAI conference. The panel consisted of nine experts in AI from politics, industry and academia, like for instance Viviane Reding, former vice president of the European Union. The event had repercussion in the media, see https://today.rtl.lu/media/vox-pops/1243397.html. The poster session of RuleML+RR was combined with that of the Deduktionstreffen, and consisted of seven poster presentations.

The LuxLogAI conference dinner took place on a boat on the Moselle river during a cruise in the evening. Artist Egberdien van der Torre gave an art performance, and Yolanda Spinola-Elias (University of Seville) held a dinner speech entitled “An AI+A serendipity?”. She explained that Artificial Intelligence and Art confluences and conjunctions may not rely only on a serendipity process, but on a deeply intentional Art, Science, Technology and Society creative research system. Meta, multi and/or interdisciplinary creative processes were some of the issues that “AI and Art” covered during LuxLogAI 2018 in order to provide a wide perspective of AI impact in Art and vice versa.

LuxLogAI attracted a total of 224 registered participants. Of these 224 participants, approx. 100 attended RuleML+RR and GCAI.

The conference produced several award winners:

  • The LuxLogAI/GCAI best student paper award was given to Ruin Silva, Francisco S. Melo and Manuela Veloso, for their paper “What if the world were different? Gradient-based exploration for new optimal policies”.
  • The winners of the RuleML+RR best paper award were Stathis Delivorias, Michel Leclere, Marie-Laure Mugnier and Federico Ulliana, for their paper entitled “On the k-Boundedness for Existential Rules".
  • The winners of the RuleML+RR Best rule challenge demo were Theodoros Mitsikas, Sofia Almpani, Petros Stefaneas, Panayiotis Frangos and Iakovos Ouranos  for their presentation entitled “Formalizing Air Traffic Control Regulations in PSOA RuleML”.
  • The winner of the RuleML+RR best poster award was Lukas Grätz, for his contribution entitled “Concepts as Modalities in Description Logics”.

A selection of the papers with the highest reviewing scores were invited to submit an extended version of their papers to the Special issue on “Logic Rules and Reasoning” of the Journal of Theory and Practice of Logic Programming (TPLP).

A special thanks goes to all sponsors of RuleML+RR 2018 and LuxLogAI 2018: Binarypark; the Computer Science and Communications (CSC) Research Unit at the University of Luxembourg; the Department of Mathematics and Computer Science at the University of Calabria; the Interdisciplinary Centre for Security, Reliability and Trust (SnT) and the Interdisciplinary Lab for Intelligent and Adaptive Systems (ILIAS) at the University of Luxembourg; LogicalContracts; the Luxembourg National Research Fund (FNR); oXygen; and Springer. A special thanks also goes to the publisher, Springer, for their cooperation in editing and publishing the conference proceedings, and to the CEUR voluntary organisation and EasyChair Publications for providing the facility to publish the proceedings of the conference sub-events.

The 3nd Int'l Joint Conference on Rules and Reasoning is planned as part of the second edition of the Logic for AI Summit. It will take place in Bolzano in Italy in September 2019.

PSOA RuleML Explained with Blockchain Examples


December 6, 2018 at 2:55 PM
Grailog Visualizations, Herbrand Models, and PSOATransRun Queries

The PSOA RuleML language and its PSOATransRun engine provide cross-paradigm deductive querying. Knowledge representation in PSOA RuleML is explored with a progression of data and rules built from relations (tables), objects (graphs), as well as their systematic integration and extension. All kinds of data from this PSOA systematics are visualized by generalized (hyper)graphs in an extended Grailog. Building on relational Herbrand models, object-centered and object-relational Herbrand models are presented as a novel model-theoretic semantics for such data and rules. Comprehensive PSOATransRun query & answer pairs for the same PSOA knowledge bases exemplify the proof-theoretic semantics. General notions are illustrated by varieties of transitive closure as high-level knowledge about blockchains like Gridcoin and Chia Network.

Read more...

Knowledge Authoring for Rule-based Reasoning,


October 29, 2018 at 9:40 AM
Modern knowledge bases have matured to the extent of being capable of complex reasoning at scale. Unfortunately, wide deployment of this technology is still hindered by the fact that specifying the requisite knowledge requires skills that most domain experts do not have, and skilled knowledge engineers are in short supply. A way around this problem could be to acquire knowledge from text.

The current knowledge acquisition technologies for information extraction are not up to the task because logic reasoning systems are extremely sensitive to errors in the acquired knowledge, and existing techniques lack the required accuracy by too large of a margin. Because of the enormous complexity of the problem, controlled natural languages (CNLs) were proposed in the past, but even they lack high enough accuracy. Instead of tackling the general problem of text understanding, our interest is in a related, but different, area of knowledge authoring—a technology designed to enable domain experts to manually create formalized knowledge using CNL. Our KALM system approach adopts and formalizes the FrameNet methodology for representing the meaning, enables incrementally-learnable and explainable semantic parsing, and harnesses rich knowledge graphs like BabelNet in the quest to obtain unique, disambiguated meaning of CNL sentences. Our experiments show that this approach is 95.6% accurate in standardizing the semantic relations extracted from CNL sentences—far superior to alternative systems.

For more information, see KALM Code and KALM short presentation.