Integration of Ontologies and Constraint Satisfaction Problems for Product Configuration

M. Mohammad Amini (1) , T. Coudert (1) , Élise Vareilles (2) , Michel Aldanondo (3)

1 ENIT - Ecole Nationale d'Ingénieurs de Tarbes
2 ISAE-SUPAERO - Institut Supérieur de l'Aéronautique et de l'Espace
3 CGI - Centre Génie Industriel

In this work, the domain is a product or system configuration. We focus on ontologies, Constraint Satisfaction Problems (CSPs), and their integration. The aim is to capitalize knowledge and define mechanisms that will permit reasoning to find configuration problem solutions regarding customers' requirements. On one hand, an ontology is used to formalize and capitalize knowledge about products or systems structure including concepts, systems, subsystems, components, relationships, attributes, and their possible values. Protégé 5.5.0 is used to create the ontology. On the other hand, we used CSPs to formalize the relationships between attributes values or between concepts that are allowed or forbidden. CSPs (restricted to compatibility tables) are translated into rules to be integrated into the ontology using the SWRL. Therefore, we defined a filtering algorithm based on arc consistency to restrict the domains by removing inconsistent values. First, related works on ontologies, CSPs are presented. The formalization of the ontology, CSPs, and their translation into SWRL rules and their use are presented. Finally, an illustrative application based on the configuration of a simplified bike is presented.

Mots clés: Product configuration; Knowledge; Ontology; Constraints Satisfaction Problem; Engineering management; Conferences; Wheels; Ontologies; Industrial engineering; Filtering algorithms; Cognition

Domaines: Sciences de l'ingénieur [physics]

M. Mohammad Amini, T. Coudert, Élise Vareilles, Michel Aldanondo. Integration of Ontologies and Constraint Satisfaction Problems for Product Configuration. IEEM 2021 - International Conference on Industrial Engineering and Engineering Management, Dec 2021, Singapore, France. pp.578-582, ⟨10.1109/IEEM50564.2021.9672918⟩. ⟨hal-03536894⟩