CSP - A vocabulary to represent Constraint Satisfaction Problems.

RDF/XML version of this vocabulary. Turtle version of this vocabulary.

Last update:

29 June 2011

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

Classes: And | BoolExpr | Fluent | Not | Or | Relation | Solution


Properties: and | isSatisfiable | not | or | supports | val | var | variable

Overview diagram

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 con gurations that an automaker can sell and constitutes a central part of the company's information system.

Classes

Class: csp:And

AndModels a conjunctive logical sub-expression AND (BoolExpr1 BoolExpr2 ... BoolExprn).

URI:
http://vocab.deri.ie/csp#And
Properties include:
csp:and
Superclass:
csp:BoolExpr
Disjoint with:
csp:Or, csp:Not

Class: csp:BoolExpr

Boolean expressionA Boolean expression.

URI:
http://vocab.deri.ie/csp#BoolExpr
Used with:
csp:and, csp:or, csp:not
Subclasses:
csp:Fluent, csp:And, csp:Or, csp:Not

Class: csp:Fluent

FluentA fluent is the association of a variable name and a subset of its domain of values.

URI:
http://vocab.deri.ie/csp#Fluent
Properties include:
csp:var, csp:val
Superclass:
csp:BoolExpr

Class: csp:Not

NotModels the negation of a logical sub-expression NOT(BoolExpr).

URI:
http://vocab.deri.ie/csp#Not
Properties include:
csp:not
Superclass:
csp:BoolExpr
Disjoint with:
csp:And, csp:Or

Class: csp:Or

OrModels a disjunctive logical sub-expression OR (BoolExpr1 BoolExpr2 ... BoolExprn).

URI:
http://vocab.deri.ie/csp#Or
Properties include:
csp:or
Superclass:
csp:BoolExpr
Disjoint with:
csp:And, csp:Not

Class: csp:Relation

RelationThe list of all valid combinations of values of a set of variables.

URI:
http://vocab.deri.ie/csp#Relation
Properties include:
csp:isSatisfiable, csp:supports

Class: csp:Solution

SolutionA solution of the constraint satisfaction problem.

URI:
http://vocab.deri.ie/csp#Solution
Properties include:
csp:variable

Properties

Property: csp:and

andLinks a logical conjunction operator to its arguments.

URI:
http://vocab.deri.ie/csp#and
Domain:
csp:And
Range:
csp:BoolExpr

Property: csp:isSatisfiable

is satisfiableBoolean flag indicating for a relation if each supported combination of values must be satisfiable or not.

URI:
http://vocab.deri.ie/csp#isSatisfiable
Domain:
csp:Relation

Property: csp:not

notLinks a logical negation operator to its argument.

URI:
http://vocab.deri.ie/csp#not
Domain:
csp:Not
Range:
csp:BoolExpr

Property: csp:or

orLinks a logical disjunction operator to its arguments.

URI:
http://vocab.deri.ie/csp#or
Domain:
csp:Or
Range:
csp:BoolExpr

Property: csp:supports

supportsSpecifies all supported value combinations in the relation.

URI:
http://vocab.deri.ie/csp#supports
Domain:
csp:Relation
Range:
rdfs:Resource

Property: csp:val

has valueA value associated with a fluent.

URI:
http://vocab.deri.ie/csp#val
Domain:
csp:Fluent
Range:
rdfs:Resource

Property: csp:var

has variableThe variable associated with a fluent.

URI:
http://vocab.deri.ie/csp#var
Domain:
csp:Fluent
Range:
rdfs:Resource

Property: csp:variable

variableA variable can be seen as a function associating a value to an object, and is therefore modelled as an RDF property that points to one (or many) value(s).

URI:
http://vocab.deri.ie/csp#variable
Domain:
csp:Solution
Range:
rdfs:Resource