# Illustrating how we represent the other concrete domain
#
# 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>

# C1 : v = 4
C1 : v = 4

# C2 : v > 4
C1 : v > 4

# C3 : v + 5 = w
C3 : v + 5 = w

# other IRIs:

C4 : other:v + 3 = other:w

other:C : v + 3 = other:w

<www.test.de#C5> : <www.test.de#size> + 4 = <www.other.de#largerSize>


