Skip to Main content Skip to Navigation

Formalisation automatique et sémantique de règles métiers

Cheikh Hito Kacfah Emani 1, 2
2 SOC - Service Oriented Computing
LIRIS - Laboratoire d'InfoRmatique en Image et Systèmes d'information
Abstract : This thesis focuses on automatic and semantic transformation of business rules into formal rules. These business rules are originally drafted in the form of natural language text, tables and images. Our goal is to provide to business experts a set of services allowing them to develop corpora of formal business rules. We carry out this work in the field of building engineering construction. Having formal and executable versions of the business rules enables to perform automatic compliance checking of digital mock-ups of construction projects under design.For this we made available to business experts, the two main contributions of this thesis. The first is the development of a controlled natural language, called RAINS. It allows business experts to rewrite business rules in the form of formal rules. A RAINS rule consists of terms of the business vocabulary and reserved words such as comparison predicates, negation and universal quantification markers and literals. Each RAINS rule has a unique formal semantics which is based on the standards of the Semantic Web. The second major contribution is a service for formalization of business rules. This service implements a formalized approach proposed in this thesis and called FORSA. This service offers RAINS versions of natural language business rules submitted to it. FORSA uses natural language processing tools and heuristics. To evaluate FORSA, we have set up a benchmark adapted to the formalization of business rules task. The dataset from this benchmark are from norms in the field of Construction
Complete list of metadatas

Cited literature [117 references]  Display  Hide  Download
Contributor : Abes Star :  Contact
Submitted on : Friday, April 14, 2017 - 11:37:12 AM
Last modification on : Wednesday, November 20, 2019 - 3:18:13 AM
Document(s) archivé(s) le : Saturday, July 15, 2017 - 1:05:12 PM


Version validated by the jury (STAR)


  • HAL Id : tel-01508489, version 1


Cheikh Hito Kacfah Emani. Formalisation automatique et sémantique de règles métiers. Informatique et langage [cs.CL]. Université de Lyon, 2016. Français. ⟨NNT : 2016LYSE1301⟩. ⟨tel-01508489⟩



Record views


Files downloads