Ontology for the description of customizable products. It models the configuration process as the traversal of a graph of partially defined products, or "Configurations" @en

A vocabulary to represent Constraint Satisfaction Problems (CSPs) in which constraints are expressed by Boolean expressions on fluents.