The annual International Web Rule Symposium (RuleML) is an international

academic conference An academic conference or scientific conference (also congress, symposium, workshop, or meeting) is an event for researchers (not necessarily academics) to present and discuss their scholarly work. Together with academic or scientific journals an ...

on research, applications, languages and standards for rule technologies. Since 2017 it is organised as International Joint Conference on Rules and Reasoning (RuleML+RR). It is a conference in the field of

rule-based programming Logic programming is a programming paradigm which is largely based on formal logic. Any program written in a logic programming language is a set of sentences in logical form, expressing facts and rules about some problem domain. Major logic prog ...

and

rule-based system In computer science, a rule-based system is used to store and manipulate knowledge to interpret information in a useful way. It is often used in artificial intelligence applications and research. Normally, the term ''rule-based system'' is appli ...

s including production rules systems, logic programming rule engines, and

business rules engine A business rules engine is a software system that executes one or more business rules in a runtime production environment. The rules might come from legal regulation ("An employee can be fired for any reason or no reason but not for an illegal rea ...

business rules management systems Business is the practice of making one's living or making money by producing or buying and selling products (such as goods and services). It is also "any activity or enterprise entered into for profit." Having a business name does not separat ...

; Semantic Web rule languages and rule standards (e.g.,

RuleML RuleML is a global initiative, led by a non-profit organization RuleML Inc., that is devoted to advancing research and industry standards design activities in the technical area of rules that are semantic and highly inter-operable. The standards d ...

, LegalRuleML, Reaction RuleML, SWRL,

RIF The Rif or Riff (, ), also called Rif Mountains, is a geographic region in northern Morocco. This mountainous and fertile area is bordered by Cape Spartel and Tangier to the west, by Berkane and the Moulouya River to the east, by the Mediterrane ...

Common Logic Common Logic (CL) is a framework for a family of logic languages, based on first-order logic, intended to facilitate the exchange and transmission of knowledge in computer-based systems. The CL definition permits and encourages the development o ...

, PRR,

Decision Model and Notation In business analysis, the Decision Model and Notation (DMN) is a standard published by the Object Management Group.OMG standard "Decision Model and Notation (DMN)"current version/ref> It is a standard approach for describing and modeling repeatable ...

(DMN),

SBVR The Semantics of Business Vocabulary and Business Rules (SBVR) is an adopted standard of the Object Management Group (OMG) intended to be the basis for formal and detailed natural language declarative description of a complex entity, such as a bus ...

); rule-based event processing languages (EPLs) and technologies; and research on

inference Inferences are steps in reasoning, moving from premises to logical consequences; etymologically, the word '' infer'' means to "carry forward". Inference is theoretically traditionally divided into deduction and induction, a distinction that in ...

rules,

constraint handling rules Constraint Handling Rules (CHR) is a declarative, rule-based programming language, introduced in 1991 by Thom Frühwirth at the time with European Computer-Industry Research Centre (ECRC) in Munich, Germany.Thom Frühwirth. ''Theory and Practice ...

transformation rules In the philosophy of logic, a rule of inference, inference rule or transformation rule is a logical form consisting of a function which takes premises, analyzes their syntax, and returns a conclusion (or conclusions). For example, the rule of i ...

decision rules A decision tree is a decision support tool that uses a tree-like model of decisions and their possible consequences, including chance event outcomes, resource costs, and utility. It is one way to display an algorithm that only contains condit ...

, production rules, and ECA rules. RuleML+RR is 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 other Artificial Intelligence conferences worldwide.See, e.g.
Core conference ranking

History

The RuleML conference series has been held without interruption since 2002. The RuleML Symposium has evolved from an annual series of first international workshops since 2002, international conferences in 2005 and 2006, to the premier International Symposium for the Web rules community since 2007. Since 2017 it is joint with the Web Reasoning and Rule Systems conference series to the new International Joint Conference on Rules and Reasoning (RuleML+RR).

International Rule Challenge

The International Rule Challenge has been held since 2007 at the RuleML Symposium. It calls for submissions of benchmarks/evaluations, demos, case studies / use cases, experience reports, best practice solutions (e.g. design patterns, reference architectures, models), rule-based implementations/ tools/ applications, demonstrations engineering methods, implementations of rule standards and industrial problem statements. It also hosts a rule base competition.

RuleML Doctoral Consortium

Since 2011 the RuleML symposium organizes a Doctoral Consortium for PhD students. Since 2017 also th
Reasoning Web Summer Schools
are co-located with the RuleML+RR conference.

List of RuleML Editions

RuleML+RR 2023: Seventh International Joint Conference on Rules and Reasoning

RuleML+RR 2022: Sixth International Joint Conference on Rules and Reasoning

RuleML+RR 2021: Fifth International Joint Conference on Rules and Reasoning

RuleML-2015: Ninth International Web Rule Symposium

Special Semantic Rules track at SemTech 2010

RuleML-2005: First International Conference on Rules and Rule Markup Languages for the Semantic Web
* RuleML-2004: Third International Workshop on Rules and Rule Markup Languages for the Semantic Web

RuleML-2003: Second International Workshop on Rules and Rule Markup Languages for the Semantic Web
-->
RuleML-2002: First International Workshop on Rule Markup Languages for Business Rules on the Semantic Web

References

External links

List of RuleML conferences and symposia

DBLP DBLP is a computer science bibliography website. Starting in 1993 at Universität Trier in Germany, it grew from a small collection of HTML files and became an organization hosting a database and logic programming bibliography site. Since Nove ...

. Retrieved 2020-12-24. Web-related conferences Artificial intelligence conferences Academic conferences Computer conferences {{compu-conference-stub