RuleML Symposium
Encyclopedia
The annual International Symposium on Rules (RuleML) is an international conference on research, applications, languages and standards for rule technologies. It is a conference in the field of rule-based programming and rule-based systems
including production rules systems
, logic programming rule engines
, and business rules engines
/business rules management systems; Semantic Web
rule languages and rule standards (e.g., RuleML
, SWRL
, RIF
, PRR
, SBVR
); rule-based event processing languages (EPLs) and technologies
; and research on inference
rules, transformation rules
, decision rules
, production rules
, and ECA rules
. RuleML is commonly listed together with and related to other major general Artificial Intelligence conferences worldwide.
A list of RuleML conferences/symposia and the contents of their proceedings (2004-2009, 2002) is provided online by the DBLP computer science bibliography project at the University of Trier
.
The RuleML International Rule Challenge has been held since 2007.
Accepted demos of the previous RuleML Challenges are published in the growing demo pool and a list of demo papers is provide online. The RuleML International Rule Challenges have been published with additional CEUR Workshop Proceedings.
Rule-based system
In computer science, rule-based systems are used as a way to store and manipulate knowledge to interpret information in a useful way. They are often used in artificial intelligence applications and research.-Applications:...
including production rules systems
Production system
A production system is a computer program typically used to provide some form of artificial intelligence, which consists primarily of a set of rules about behavior. These rules, termed productions, are a basic representation found useful in automated planning, expert systems and action selection...
, logic programming rule engines
Logic programming
Logic programming is, in its broadest sense, the use of mathematical logic for computer programming. In this view of logic programming, which can be traced at least as far back as John McCarthy's [1958] advice-taker proposal, logic is used as a purely declarative representation language, and a...
, and business rules engines
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 , company policy , or other sources...
/business rules management systems; Semantic Web
Semantic Web
The Semantic Web is a collaborative movement led by the World Wide Web Consortium that promotes common formats for data on the World Wide Web. By encouraging the inclusion of semantic content in web pages, the Semantic Web aims at converting the current web of unstructured documents into a "web of...
rule languages and rule standards (e.g., RuleML
RuleML
The Rule Markup Language is a markup language developed to express both forward and backward rules in XML for deduction, rewriting, and further inferential-transformational tasks...
, SWRL
SWRL
SWRL is a proposal for a Semantic Web rules-language, combining sublanguages of the OWL Web Ontology Language with those of the Rule Markup Language ....
, RIF
Rule Interchange Format
The Rule Interchange Format is a W3C Recommendation. RIF is part of the infrastructure for the semantic web, along with SPARQL, RDF and OWL...
, PRR
Production Rule Representation
The Production Rule Representation is a proposed standard of the Object Management Group to provide a vendor-neutral rule-model representation in UML for production rules as used in forward-chaining rule engines.- History :...
, SBVR
Semantics of Business Vocabulary and Business Rules
The Semantics of Business Vocabulary and Business Rules is an adopted standard of the Object Management Group intended to be the basis for formal and detailed natural language declarative description of a complex entity, such as a business...
); rule-based event processing languages (EPLs) and technologies
Complex Event Processing
Complex event processing consists of processing many events happening across all the layers of an organization, identifying the most meaningful events within the event cloud, analyzing their impact, and taking subsequent action in real time....
; and research on inference
Inference
Inference is the act or process of deriving logical conclusions from premises known or assumed to be true. The conclusion drawn is also called an idiomatic. The laws of valid inference are studied in the field of logic.Human inference Inference is the act or process of deriving logical conclusions...
rules, transformation rules
Rule of inference
In logic, a rule of inference, inference rule, or transformation rule is the act of drawing a conclusion based on the form of premises interpreted as a function which takes premises, analyses their syntax, and returns a conclusion...
, decision rules
Decision rules
A set of decision rules is the verbal equivalent of a graphical decision tree, which specifies class membership based on a hierarchical sequence of decisions...
, production rules
Production rule
Production rule may refer to:*For production rules used in business rule engines, cognitive modeling and artificial intelligence, see production system*For production rules that expand nodes in formal grammars, see formal grammar-See also:...
, and ECA rules
Event condition action
Event Condition Action is a short-cut for referring to the structure of active rules in event driven architecture and active database systems.Such a rule traditionally consisted of three parts:...
. RuleML is commonly listed together with and related to other major general Artificial Intelligence conferences worldwide.
History and past events
The 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, and international symposia since 2007.- RuleML-2012: Six International Web Rule Symposium
- RuleML-2011: Fifth International Web Rule Symposium
- RuleML-2010: Fourth International Web Rule Symposium
- Special Semantic Rules track at SemTech 2010
- RuleML-2009: Third International Symposium on Rules, Applications and Interoperability
- RuleML-2008: Second International Symposium on Rule Interchange and Applications
- RuleML-2007: First International Symposium on Rule Interchange and Applications
- RuleML-2006: Second International Conference on Rules and Rule Markup Languages for the Web
- Special Workshop on Reaction Rules
- 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
A list of RuleML conferences/symposia and the contents of their proceedings (2004-2009, 2002) is provided online by the DBLP computer science bibliography project at the University of Trier
University of Trier
The University of Trier , in the German city of Trier, was founded in 1473. Closed in 1798 by order of the then French administration in Trier, the university was re-established in 1970 after a hiatus of some 172 years. The new university campus is located on top of the Tarforst heights, an urban...
.
RuleML International Rule Challenge
The International Rule Challenge is one of the highlights of 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.The RuleML International Rule Challenge has been held since 2007.
- 5th RuleML-2011 International Rule Challenge
- 4th RuleML-2010 International Rule Challenge
- 3rd RuleML-2009 International Rule Challenge
- 2nd RuleML-2008 International Rule Challenge
- 1st RuleML-2007 International Rule Challenge
Accepted demos of the previous RuleML Challenges are published in the growing demo pool and a list of demo papers is provide online. The RuleML International Rule Challenges have been published with additional CEUR Workshop Proceedings.