@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 1]
    .

# Should remain untouched
my:Bumps a rdfs:Class
    ; rdfs:subClassOf [owl:onProperty my:flarn; owl:minCardinality 2]
    .

# Conforms to the specification
my:x a my:Mumps
    ; my:spoo 17
    .

# Doesn't conform (2 spoo's) - one should get deleted as they are of different type!
my:y a my:Mumps
    ; my:spoo 17
    ; my:spoo "42"
    .