Formalization of natural language regulations through SBVR structured english

  • Authors:
  • François Lévy;Adeline Nazarenko

  • Affiliations:
  • Sorbonne Paris Cité, LIPN, CNRS, (UMR 7030), Université Paris 13, Villetaneuse, France;Sorbonne Paris Cité, LIPN, CNRS, (UMR 7030), Université Paris 13, Villetaneuse, France

  • Venue:
  • RuleML'13 Proceedings of the 7th international conference on Theory, Practice, and Applications of Rules on the Web
  • Year:
  • 2013

Quantified Score

Hi-index 0.00

Visualization

Abstract

This paper presents an original use of SBVR to help building a set of business rules out of regulatory documents. The formalization is analyzed as a three-step process, in which SBVR-SE stands in an intermediate position between the Natural Language on the one hand and the formal language on the other hand. The rules are extracted, clarified and simplified at the general regulatory level (expert task) before being refined according to the business application (engineer task). A methodology for these first two steps is described, with different operations composing each step. It is illustrated with examples from the literature and from the Ontorule use cases.