Namespace URI:
http://vocab.deri.ie/csp#
Abstract
A vocabulary to represent Constraint Satisfaction Problems (CSPs) in which constraints are expressed by Boolean expressions on fluents.
All terms at a glance
This vocabulary is used to represent the main Product Range Specification (PRS) objects of the car manufacturer Renault.
PRS is used to specify the set of all possible car congurations that an automaker can sell and constitutes a central part of the company's information system.