CSP - A vocabulary to represent Constraint Satisfaction Problems.

Classes

And
Boolean expression
Fluent
Not
Or
Relation
Solution

And^c back to ToC or Class ToC

IRI: http://vocab.deri.ie/csp#And

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

has super-classes: Boolean expression^c
is in domain of: and^op
is disjoint with: Not^c, Or^c

Boolean expression^c back to ToC or Class ToC

IRI: http://vocab.deri.ie/csp#BoolExpr

A Boolean expression.

has sub-classes: And^c, Fluent^c, Not^c, Or^c
is in range of: and^op, not^op, or^op

Fluent^c back to ToC or Class ToC

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

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

has super-classes: Boolean expression^c
is in domain of: has value^op, has variable^op

Not^c back to ToC or Class ToC

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

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

has super-classes: Boolean expression^c
is in domain of: not^op
is disjoint with: And^c, Or^c

Or^c back to ToC or Class ToC

IRI: http://vocab.deri.ie/csp#Or

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

has super-classes: Boolean expression^c
is in domain of: or^op
is disjoint with: And^c, Not^c

Relation^c back to ToC or Class ToC

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

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

is in domain of: is satisfiable, supports^op

Solution^c back to ToC or Class ToC

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

A solution of the constraint satisfaction problem.

is in domain of: variable^op

and^op back to ToC or Object Property ToC

IRI: http://vocab.deri.ie/csp#and

Links a logical conjunction operator to its arguments.

has domain: And^c
has range: Boolean expression^c

has value^op back to ToC or Object Property ToC

IRI: http://vocab.deri.ie/csp#val

A value associated with a fluent.

has domain: Fluent^c
has range: resource^c

has variable^op back to ToC or Object Property ToC

IRI: http://vocab.deri.ie/csp#var

The variable associated with a fluent.

has domain: Fluent^c
has range: resource^c

not^op back to ToC or Object Property ToC

IRI: http://vocab.deri.ie/csp#not

Links a logical negation operator to its argument.

has domain: Not^c
has range: Boolean expression^c

or^op back to ToC or Object Property ToC

IRI: http://vocab.deri.ie/csp#or

Links a logical disjunction operator to its arguments.

has domain: Or^c
has range: Boolean expression^c

supports^op back to ToC or Object Property ToC

IRI: http://vocab.deri.ie/csp#supports

Specifies all supported value combinations in the relation.

has domain: Relation^c
has range: resource^c

variable^op back to ToC or Object Property ToC

IRI: http://vocab.deri.ie/csp#variable

A 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).

has domain: Solution^c
has range: resource^c

Named Individuals

alepas
csp
d e r i%2 c%20 n u i%20 galway
fbadra
fpservant
rdf
renault
ttl

alepasⁿⁱ back to ToC or Named Individual ToC

IRI: http://vocab.deri.ie/csp#alepas

belongs to: person^c

cspⁿⁱ back to ToC or Named Individual ToC

IRI: http://vocab.deri.ie/csp

belongs to: semantic asset^c

d e r i%2 c%20 n u i%20 galwayⁿⁱ back to ToC or Named Individual ToC

IRI: http://vocab.deri.ie/csp#DERI%2C%20NUI%20Galway

belongs to: agent^c

fbadraⁿⁱ back to ToC or Named Individual ToC

IRI: http://vocab.deri.ie/csp#fbadra

belongs to: person^c

fpservantⁿⁱ back to ToC or Named Individual ToC

IRI: http://vocab.deri.ie/csp#fpservant

belongs to: person^c

rdfⁿⁱ back to ToC or Named Individual ToC

IRI: http://vocab.deri.ie/csp#rdf

belongs to: semantic distribution^c

renaultⁿⁱ back to ToC or Named Individual ToC

IRI: http://vocab.deri.ie/csp#Renault

belongs to: agent^c

ttlⁿⁱ back to ToC or Named Individual ToC

IRI: http://vocab.deri.ie/csp#ttl

belongs to: semantic distribution^c

Annotation Properties

access u r l
file format
homepage
is satisfiable
mbox
member
name
status

access u r l^ap back to ToC or Annotation Property ToC

IRI: http://www.w3.org/ns/adms#accessURL

file format^ap back to ToC or Annotation Property ToC

IRI: http://purl.org/dc/terms/FileFormat

homepage^ap back to ToC or Annotation Property ToC

IRI: http://xmlns.com/foaf/0.1/homepage

is satisfiable^ap back to ToC or Annotation Property ToC

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

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

has domain: Relation^c

mbox^ap back to ToC or Annotation Property ToC

IRI: http://xmlns.com/foaf/0.1/mbox

member^ap back to ToC or Annotation Property ToC

IRI: http://xmlns.com/foaf/0.1/member

name^ap back to ToC or Annotation Property ToC

IRI: http://xmlns.com/foaf/0.1/name

status^ap back to ToC or Annotation Property ToC

IRI: http://www.w3.org/ns/adms#status

Namespace Declarations back to ToC

default namespace: http://vocab.deri.ie/csp#
adms: http://www.w3.org/ns/adms#
assettype: http://purl.org/adms/assettype/
csp: http://vocab.deri.ie/csp#
dc: http://purl.org/dc/elements/1.1/
foaf: http://xmlns.com/foaf/0.1/
owl: http://www.w3.org/2002/07/owl#
rdf: http://www.w3.org/1999/02/22-rdf-syntax-ns#
rdfs: http://www.w3.org/2000/01/rdf-schema#
status: http://purl.org/adms/status/
terms: http://purl.org/dc/terms/
vann: http://purl.org/vocab/vann/
vocab-deri-ie: http://vocab.deri.ie/
xsd: http://www.w3.org/2001/XMLSchema#

This HTML document was obtained by processing the OWL ontology source code through LODE, Live OWL Documentation Environment, developed by Silvio Peroni.

CSP - A vocabulary to represent Constraint Satisfaction Problems.

Table of Content

Classes

Andc back to ToC or Class ToC

Boolean expressionc back to ToC or Class ToC

Fluentc back to ToC or Class ToC

Notc back to ToC or Class ToC

Orc back to ToC or Class ToC

Relationc back to ToC or Class ToC

Solutionc back to ToC or Class ToC

Object Properties

andop back to ToC or Object Property ToC

has valueop back to ToC or Object Property ToC

has variableop back to ToC or Object Property ToC

notop back to ToC or Object Property ToC

orop back to ToC or Object Property ToC

supportsop back to ToC or Object Property ToC

variableop back to ToC or Object Property ToC

Named Individuals

alepasni back to ToC or Named Individual ToC

cspni back to ToC or Named Individual ToC

d e r i%2 c%20 n u i%20 galwayni back to ToC or Named Individual ToC

fbadrani back to ToC or Named Individual ToC

fpservantni back to ToC or Named Individual ToC

rdfni back to ToC or Named Individual ToC

renaultni back to ToC or Named Individual ToC

ttlni back to ToC or Named Individual ToC