Linked Open Vocabularies

5

results

csp:Relation(csp)0.038
n/a (use in LOD)

http://vocab.deri.ie/csp#Relation

rdfs:comment The list of all valid combinations of values of a set of variables.
csp:Fluent(csp)0.028
n/a (use in LOD)

http://vocab.deri.ie/csp#Fluent

rdfs:comment A fluent is the association of a variable name, and a subset of its domain of values.
csp:Solution(csp)0.028
n/a (use in LOD)

http://vocab.deri.ie/csp#Solution

rdfs:comment A solution of the constraint satisfaction problem.
csp:Not(csp)0.024
n/a (use in LOD)

http://vocab.deri.ie/csp#Not

rdfs:comment Models the negation of a logical sub-expression NOT(BoolExpr).
csp:isSatisfiable(csp)0.017
n/a (use in LOD)

http://vocab.deri.ie/csp#isSatisfiable

rdfs:comment supported combination of values must be satisfiable or not.

1