R2ML
Encyclopedia
The REWERSE Rule Markup Language
(R2ML) is developed by the REWERSE Working Group I1 for the purpose of rules interchange between different systems and tools.
Markup language
A markup language is a modern system for annotating a text in a way that is syntactically distinguishable from that text. The idea and terminology evolved from the "marking up" of manuscripts, i.e. the revision instructions by editors, traditionally written with a blue pencil on authors' manuscripts...
(R2ML) is developed by the REWERSE Working Group I1 for the purpose of rules interchange between different systems and tools.
Scope
- An XMLXMLExtensible Markup Language is a set of rules for encoding documents in machine-readable form. It is defined in the XML 1.0 Specification produced by the W3C, and several other related specifications, all gratis open standards....
based rule language; - Support for: Integrity rules, Derivation rules, Production rules and Reaction rules;
- Integrate functional languages (such as OCLObject Constraint LanguageThe Object Constraint Language is a declarative language for describing rules that apply to Unified Modeling Language models developed at IBM and now part of the UML standard. Initially, OCL was only a formal specification language extension to UML. OCL may now be used with any Meta-Object...
) with DatalogDatalogDatalog is a query and rule language for deductive databases that syntactically is a subset of Prolog. Its origins date back to the beginning of logic programming, but it became prominent as a separate area around 1977 when Hervé Gallaire and Jack Minker organized a workshop on logic and databases...
languages (such as SWRL); - Serialization and interchange of rules by specific software tools;
- Integrating rule reasoning with actual server side technologies;
- Deploying, publishing and communicating rules in a network.
Design principles
- Modeled using MDAModel-driven architectureModel-driven architecture is a software design approach for the development of software systems. It provides a set of guidelines for the structuring of specifications, which are expressed as models. Model-driven architecture is a kind of domain engineering, and supports model-driven engineering of...
; - RuleRuleRule, ruler, ruling usually refers to standards for activities. They may refer to:- Human activity :* Business rule, a rule pertaining to the structure or behavior internal to an organization* Game rules, rules that define how a game is played...
concepts defined with the help of MOFMeta-Object FacilityThe Meta-Object Facility is an Object Management Group standard for model-driven engineering. The official reference page may be found at OMG's website.- Overview :...
/UMLUnified Modeling LanguageUnified Modeling Language is a standardized general-purpose modeling language in the field of object-oriented software engineering. The standard is managed, and was created, by the Object Management Group...
; - Required to accommodate:
- Web naming concepts, such as URIUniform Resource IdentifierIn computing, a uniform resource identifier is a string of characters used to identify a name or a resource on the Internet. Such identification enables interaction with representations of the resource over a network using specific protocols...
s and XMLXMLExtensible Markup Language is a set of rules for encoding documents in machine-readable form. It is defined in the XML 1.0 Specification produced by the W3C, and several other related specifications, all gratis open standards....
namespaces; - The ontological distinction between objects and data values;
- The datatype concepts of RDFResource Description FrameworkThe Resource Description Framework is a family of World Wide Web Consortium specifications originally designed as a metadata data model...
and user-defined datatypes;
- Web naming concepts, such as URI
- Actions (following OMG PRR submission);
- Events;
- EBNF abstract syntax;
- XMLXMLExtensible Markup Language is a set of rules for encoding documents in machine-readable form. It is defined in the XML 1.0 Specification produced by the W3C, and several other related specifications, all gratis open standards....
based concrete syntax validated by an XML Schema; - Allowing different semantics for rules.
See also
- Ontology (computer science)Ontology (computer science)In computer science and information science, an ontology formally represents knowledge as a set of concepts within a domain, and the relationships between those concepts. It can be used to reason about the entities within that domain and may be used to describe the domain.In theory, an ontology is...
- Business rules
- Business rules approachBusiness rules approachBusiness rules are abstractions of the policies and practices of a business organization. The Business Rules Approach is a development methodology where rules are in a form that is used by, but does not have to be embedded in, business process management systems.The Business Rules Approach...
- RuleMLRuleMLThe 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...
- Semantic Web Rule Language