@prefix eg: . @prefix owl: . @prefix rdf: . @prefix rdfs: . eg:Thing a rdfs:Class ; rdfs:subClassOf [ a owl:Restriction ; owl:onProperty rdf:value ; owl:cardinality 2 ] . eg:s a eg:Thing ; rdf:value 1 , 2 .