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 Convention (meeting), event for researchers (not necessarily academics) to present and discuss their scholarly work. Together with academic jou ...

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 In computer science, a rule-based system is a computer system in which domain-specific knowledge is represented in the form of rules and general-purpose reasoning is used to solve problems in the domain. Two different kinds of rule-based systems ...

and

rule-based system In computer science, a rule-based system is a computer system in which domain-specific knowledge is represented in the form of rules and general-purpose reasoning is used to solve problems in the domain. Two different kinds of rule-based systems ...

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 r ...

s/ business rules management systems;

Semantic Web The Semantic Web, sometimes known as Web 3.0, is an extension of the World Wide Web through standards set by the World Wide Web Consortium (W3C). The goal of the Semantic Web is to make Internet data machine-readable. To enable the encoding o ...

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 ...

, LegalRuleML, Reaction RuleML, SWRL,

RIF The Rif (, ), also called Rif Mountains, is a geographic region in northern Morocco. It is bordered on the north by the Mediterranean Sea and Spain and on the west by the Atlantic Ocean, and is the homeland of the Rifians and the Jebala people ...

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 ...

, 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 logical 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 distinct ...

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 Rules of inference are ways of deriving conclusions from premises. They are integral parts of formal logic, serving as norms of the logical structure of valid arguments. If an argument with true premises follows a rule of inference then the co ...

decision rules A decision tree is a decision support recursive partitioning structure 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 algori ...

, 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 Novem ...

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