Unified Configuration Knowledge Representation Using Weight Constraint Rules
Timo Soininen, Juha Tiihonen, Reijo Sulonen · 2000
Abstract. In this paper we present an approach to formally defin-ing different conceptualizations of configuration knowledge, mod-eling configuration knowledge, and implementing the configuration task on the basis of the formalization. The approach is based on a weight constraint rule language and its efficient implementation de-signed for representing different aspects of configuration knowledge uniformly and compactly. The use of the language to represent con-figuration knowledge is demonstrated through formalizing a unified configuration ontology. The language allows a compact and simple formalization. The complexity of the configuration task defined by the formalization is shown to be NP-complete. 1