# Illustrating how we represent linear constraints.
#
# Each constraint is assigned to an owl class.
# No owl class can have more than one constraint assigned.
# When used together with an OWL ontology, the owl classes mentioned in this file
# are equivalent to associated concrete domain constraint

# Of course you can define prefixes to make your life easier:
PREFIX : <http://www.test.de>
PREFIX other: <http://www.test.de/other>

# C1a: 3*w + 2*u = 5
<http://www.test.de#C1a> :
  3 * <http://www.test.de/other#w>
  2 * <http://www.test.de/other#u>
  = 5

# C1b: 2*u + v = 3
C1b:
    2 * other:u
    1 * other.v
    = 3

# C2: 3*w -v = 2
C2:
    3 * other:w
   -1 * other:v
    = 2

# C4: 1.5*w + 1*u = 3
C4:
    1.5 * other:w
    1.0 * other.v
    = 3.00
