Solving Product Configuration Problems using Non-standard Reasoning Services

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche
Toggle side column

Solving Product Configuration Problems using Non-standard Reasoning Services

Studienarbeit von Lukas Schweizer
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.