@prefix eye:     <http://jena.hpl.hp.com/Eyeball#>.
@prefix rdf:     <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.
@prefix rdfs:    <http://www.w3.org/2000/01/rdf-schema#>.
@prefix dc:      <http://purl.org/dc/elements/1.1/>.
@prefix dcterms: <http://purl.org/dc/terms/>.
@prefix dcmi:    <http://purl.org/dc/dcmitype/>.
@prefix owl:     <http://www.w3.org/2002/07/owl#>.
@prefix my:      <http://my.domain.com/> .


my:Mumps a rdfs:Class
    ; rdfs:subClassOf [owl:onProperty my:spoo; owl:cardinality 4]
    .

# Doesn't conform (no spoo's) - add 4
my:x a my:Mumps
    .

# Doesn't conform (2 spoo's) - add 2
my:y a my:Mumps
    ; my:spoo 17
    ; my:spoo "42"
    .