The
REWERSE Rule
Markup Language
A markup language is a Encoding, text-encoding system which specifies the structure and formatting of a document and potentially the relationships among its parts. Markup can control the display of a document or enrich its content to facilitate au ...
(R2ML) is developed by th
REWERSE Working Group I1for the purpose of rules interchange between different systems and tools.
Scope
* An
XML
Extensible Markup Language (XML) is a markup language and file format for storing, transmitting, and reconstructing data. It defines a set of rules for encoding electronic document, documents in a format that is both human-readable and Machine-r ...
based rule language;
* Support for: integrity rules, derivation rules, production rules and reaction rules;{{citation needed, date=October 2019, reason=need an in-context explanation of the different types of repulse supported. I have removed the speculative wikilinks for now.
* Integrate functional languages (such as
OCL) with
Datalog
Datalog is a declarative logic programming language. While it is syntactically a subset of Prolog, Datalog generally uses a bottom-up rather than top-down evaluation model. This difference yields significantly different behavior and properties ...
languages (such as
SWRL);
* Serialization and interchange of rules by specific software tools;
* Integrating rule
reasoning
Reason is the capacity of consciously applying logic by drawing valid conclusions from new or existing information, with the aim of seeking the truth. It is associated with such characteristically human activities as philosophy, religion, scien ...
with actual server side technologies;
* Deploying, publishing and communicating rules in a network.
Design principles
* Modeled using
MDA;
* Rule concepts defined with the help of
MOF/
UML;
* Required to accommodate:
** Web naming concepts, such as
URI
Uri may refer to:
Places
* Canton of Uri, a canton in Switzerland
* Úri, a village and commune in Hungary
* Uri, Iran, a village in East Azerbaijan Province
* Uri, Jammu and Kashmir, a town in India
* Uri (island), off Malakula Island in V ...
s and
XML
Extensible Markup Language (XML) is a markup language and file format for storing, transmitting, and reconstructing data. It defines a set of rules for encoding electronic document, documents in a format that is both human-readable and Machine-r ...
namespaces;
** The ontological distinction between objects and data values;
** The
datatype
In computer science and computer programming, a data type (or simply type) is a collection or grouping of data values, usually specified by a set of possible values, a set of allowed operations on these values, and/or a representation of these ...
concepts of
RDF and user-defined datatypes;
* Actions (following OMG PRR submission);
* Events;
*
EBNF abstract syntax;
*
XML
Extensible Markup Language (XML) is a markup language and file format for storing, transmitting, and reconstructing data. It defines a set of rules for encoding electronic document, documents in a format that is both human-readable and Machine-r ...
based concrete syntax validated by an
XML Schema
An XML schema is a description of a type of XML document, typically expressed in terms of constraints on the structure and content of documents of that type, above and beyond the basic syntactical constraints imposed by XML itself. These constrai ...
;
* Allowing different semantics for rules.
See also
*
Ontology (computer science)
In information science, an ontology encompasses a representation, formal naming, and definitions of the categories, properties, and relations between the concepts, data, or entities that pertain to one, many, or all domains of discourse. More ...
*
Business rules A business rule defines or constrains some aspect of a business. It may be expressed to specify an action to be taken when certain conditions are true or may be phrased so it can only resolve to either true or false. Business rules are intended to a ...
*
Business rules approach Business rules are abstractions of the policies and practices of a business organization. In computer software development, the business rules approach is a development methodology where rules are in a form that is used by, but does not have to be ...
*
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 ...
*
Semantic Web Rule Language
The Semantic Web Rule Language (SWRL) is a proposed language for the Semantic Web that can be used to express rules as well as logic, combining OWL DL or OWL Lite with a subset of the Rule Markup Language (itself a subset of Datalog).
The speci ...
*
External links
REWERSERule Interchange Format WGRuleML
Rule engines
XML markup languages
Knowledge representation languages