@prefix eg: .
@prefix owl: .
@prefix rdf: .
@prefix rdfs: .
eg:SuperThing
a rdfs:Class ;
rdfs:label "SuperThing" ;
rdfs:subClassOf [
a owl:Restriction ;
owl:onProperty rdf:value ;
owl:minCardinality 1
] .
eg:Thing
a rdfs:Class ;
rdfs:label "Thing" ;
rdfs:subClassOf eg:SuperThing .
eg:s
a eg:Thing .