An Approach for Automatic Formalization of Business Rules - CNRS - Centre national de la recherche scientifique Accéder directement au contenu
Communication Dans Un Congrès Année : 2016

An Approach for Automatic Formalization of Business Rules

Résumé

This paper presents an approach that aims to suggest to Construction experts a formal representation of given requirements. When available as formal expressions, requirements are suitable for automatic compliance checking. The goal of conformity checking is to answer the question " which components of a building project are non-compliant to a set of construction rules? ". When we consider both the size and the complexity of corpora of construction requirements, a computer-aided compliance checking process would be beneficial for experts. Such checking process requires a formal representation of building projects and construction rules. Nowadays, there are various tools for the formal designing of building products obeying to the Industry Foundation Classes (IFC) standard (e.g. Revit Building of Autodesk, ArchiCAD by Graphisoft, and ACTIVe3d by ARCHIMEN GROUP). On the other hand, to the best of our knowledge, there isn't any tool which allows business experts to convert automatically and in a formal language, construction rules written in natural language. We propose an approach which intends to convert automatically natural language requirements into formal expressions. This approach relies on the IfcOWL ontology and represents formal rules as SPARQL queries using the RAINS language as an interim result. RAINS is a controlled natural language (CNL), whose sentences can be transformed automatically into SPARQL queries, and as a CNL it hides the complexity of formal languages.
Fichier principal
Vignette du fichier
2016_cib_w78_Kacfah v1.3.pdf (692.78 Ko) Télécharger le fichier
Origine : Fichiers éditeurs autorisés sur une archive ouverte
Loading...

Dates et versions

hal-01396916 , version 1 (15-11-2016)

Identifiants

  • HAL Id : hal-01396916 , version 1

Citer

Cheikh Kacfah Emani, Catarina Ferreira da Silva, Bruno Fiès, Alain Zarli, Parisa Ghodous. An Approach for Automatic Formalization of Business Rules. Proc. of the 33rd CIB W78 (International Council for Research and Innovation in Building and Construction) Conference 2016, Oct 2016, Brisbane, Australia. pp.11. ⟨hal-01396916⟩
268 Consultations
215 Téléchargements

Partager

Gmail Facebook X LinkedIn More