RuleML+RR 2023 18th-20th September in Oslo, Norway (part of DeclarativeAI and co-located with DecisionCAMP and the 19th Reasoning Web Summer School) The RuleML+RR 2023 conference is part of the event “Declarative AI: Rules, Reasoning, Decisions, and Explanations” and is co-located with DecisionCAMP 2023 and the Reasoning Web Summer School. It features the RuleChallenge and a Doctoral Consortium as associated events. The 7th International Joint Conference on Rules and Reasoning (RuleML+RR 2023) is the leading international joint conference in the field of rule-based reasoning. One of the main goals of RuleML+RR is to build bridges between academia and industry in the area of semantic reasoning. See https://2023.declarativeai.net/ <https://2022.declarativeai.net/> . We are looking for high-quality papers related to theoretical advances, novel technologies, and artificial intelligence applications that involve rule-based representation and reasoning. Important dates for the RuleML+RR conference * May 20th, 2023: Title and abstract submission * May 27th, 2023: Paper submission deadline * July 1st, 2023: Notification of acceptance * September 18th-20th, 2023: Conference RuleML+RR 2023 Program Chairs * Anna Fensel, Wageningen University, the Netherlands (anna.fensel(a)wur.nl) * Ana Ozaki, University of Bergen, Norway (ana.ozaki(a)uib.no) Topics RuleML+RR welcomes research from all areas of Rules and Reasoning. The topics of the conference include, but are not limited to: ###Ontology/Semantic Web - Vocabularies, ontologies, and business rules - Ontology-based mediated query answering - Rules for knowledge graphs creation and interoperation - Rules for knowledge graph embeddings and ontology learning - Rule-based data integration - Data management and data interoperability for web data - Distributed agent-based systems for the web ###Rules for AI and AI for Rules - Rule-based approaches to natural language processing - Applications of rule technologies with explainable AI (xAI) elements - Machine learning approaches involving rules - Explainable AI approaches based on rules - FAIRness approaches based on rules - Rule-based approaches for intelligent systems and intelligent information access ###Rules and Reasoning / Logics - Non-classical logics and the web - Description Logics, existential rules - Higher-order and modal rules - Constraint programming - Logic programming, ASP, and datalog - Rule based argumentation - Rule-based approaches to agents and multi-agent systems - Reasoning with incomplete, inconsistent and uncertain data - Non-monotonic, common-sense, and closed-world reasoning - Inconsistency-tolerant rule reasoning ###Technical Aspects of Rule Systems / Rule Technology - Streaming data and complex event processing - Web reasoning and distributed rule inference and execution - Scalability and expressive power of logics for the Semantic Web - Scalability and expressive power of logics for rules - Data quality and benchmarks ###Rules and Interoperability - Rule markup languages, rule interchange formats, and rule standards - Rule-based policies, reputation, and trust - Rules and human language technology ###System Descriptions, Applications and Experiences of Ontologies and Rules in: - Climate change monitoring, mitigation & adaptation - Environmental protection - Agriculture and agri-food - Healthcare and life sciences - Equity and social welfare - Law, regulation, and finance - Digital Twins - Industrial contexts - Production & business rule systems . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Main conference track High-quality papers related to theoretical advances, novel technologies, and artificial intelligence applications concerning explainable algorithmic decision-making that involve rule-based representation and reasoning are solicited. We accept the following submission formats for papers: * Long papers (up to 15 pages in LNCS style including references) * Short papers (up to 8 pages in LNCS style including references) Long papers should present original and significant research and/or development results. Short papers should concisely describe general results or specific applications, systems, or position statements. All submissions must be prepared in Springer's LNCS style (http://www.springer.com/comp/lncs/authors.html). Submissions to the RuleML+RR conference Submitted papers must not substantially overlap with papers that have been published or that are simultaneously submitted to a journal or a conference/workshop with formal proceedings. Double submission to a workshop with informal proceedings is allowed. Papers put on arXiv are also allowed as long as they are not refereed (i.e., formally reviewed by peers). Papers can be submitted using EasyChair https://easychair.org/conferences/?conf=declarativeai23 Publication The conference proceedings will be published by Springer in the Lecture Notes in Computer Science series (LNCS) after the conference. The best paper will be awarded the RuleML+RR Harold Boley Distinguished Paper award. A selection of the best accepted papers (2-6) of RuleML+RR 2023 will be invited for submission to the Journal of Theory and Practice of Logic Programming (TPLP). . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . The Doctoral Consortium The RuleML+RR Doctoral Consortium 2023 is an initiative to attract and promote student research in Artificial Intelligence, especially research on rule-based formalisms and reasoning in such formalisms. It offers students close contact with leading experts in the field, as well as the opportunity to present and discuss their ideas in a dynamic and friendly setting. The DC is organized as part of Declarative AI 2023: Rules, Reasoning, Decisions, and Explanations (Oslo, 18-20 September 2023). We invite PhD students at an early or intermediate stage of their PhD studies, as well as exceptional master’s students who are interested in pursuing a PhD, to submit papers describing their research on any of the topics of RuleML+RR 2023. Papers should range between 8 and 15 pages, be written in English, and follow the CEUR-WS.org format. They are submitted electronically in PDF together with a maximum 2 page-long CV by 20 May 2023 (title and abstract) and 27 May 2023 (full paper and CV) through the link https://easychair.org/conferences/?conf=declarativeai2023. Further details can be found at https://2023.declarativeai.net/events/ruleml-rr/ruleml-rr-doctoral-consorti… . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Rule Challenge The 17th International Rule Challenge is one of the highlights of the RuleML+RR conference and creates friendly competition among innovative rule-oriented tools, prototypes and applications, aimed at research, industry, and government. In the 2023 edition of the challenge we give the opportunity to not only present results on self-introduced challenges but also to describe open challenges to be addressed by the community. Particularly, we welcome two kinds of submissions: 1. Challenge proposals: Papers describing open challenges, interesting problems from academia or industry, and benchmarks which are of interest for the community and can be solved by rule-based approaches, including task description, datasets, and evaluation criteria. 1. Challenge solutions: Papers supplying benchmarking or comparison results for rule engines, rule-based machine learning techniques, illustrating rule- and model-driven engineering, reporting on case studies and industrial experiences, and realizing mobile deployment of rule-based reasoning. Specific challenges for this year are listed below from contributors: - Rule Engines Benchmarking, submitted by Kevin Angele, Semantic Technology Institute, University of Innsbruck, Austria. <https://drive.google.com/file/d/1zd-UsBGUtVTwuty6_IHq5QuEu2bFT5j-/view?usp=share_link> The best challenge paper will be awarded the RuleML+RR Rule Challenge award 2023. The assessment criteria include originality, creativity together with feasibility. More information: https://2023.declarativeai.net/events/ruleml-rr/ruleml-rr-rule-challenge