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