rule standardization

LibRT is an active participant of the Business Rules Working Group of the OMG and a contributing participant in the consortium for the SBVR (formally known as BSBR) submission and the PRR submission. The mission of the BRWG is to provide a standard business rule semantic model and syntax that allows for the exchange of rules between different tools. LibRT collaborates with several universities in the European research project REWERSE. LibRT is very pleased with this initiative since we are already working on a representation of a rulebase in XML.

Links to work products of the OMG standards in which LibRT is involved:

• Production rule RFP
• Business Semantics for Business Rule RFP
• Semantics for Business Vocabulary and Rules (SBVR) Submission

rule validation

LibRT is researching the extension of the verification engine, VALENS, with validation techniques.

rule representation

Which knowledge representation should best be used in what situations? Knowledge representation forms under research:

• Decision tables
• Decision trees
• Decision rules
• Scenarios

rule animation

How can knowledge be represented in a formal but intuitive way for experts without a background in formal logic or programming?