Solving Product Configuration Problems using Non-standard Reasoning Services

project thesis by Lukas Schweizer

Supervisor Sebastian Rudolph, Sarah Alice Gaggl
Computational Logic
1 April 2014 – 11 Juli 2014

Standard reasoning services for DL ontologies do not provide the functionality to enumerate models, since they merely are dedicated for tasks like instance retrieval, consistency checking etc. In product configuration the focus is on some specific configurations of a product, i.e. a collocation of parts according to a set of rules. Therefore it is not straight forward to ask for proper configurations (models) of a product specification, given as a DL ontology (SROIQ(D)). In this project we translate a DL ontology into an answer set program, in order to enumerate (all) models. Resulting answer sets directly correspond to product configurations and can be retranslated into proper ABoxes. This approach seems to be feasible for these types of problems.