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