@prefix owl: . @prefix rdfs: . @prefix : . :kate a :Person; :name "Kate"; :child :john. :john a :Person; :name "John"; :child :alice. :alice a :Person; :name "Alice". :child rdfs:domain :Parent; owl:inverseOf :parent. :Person owl:subclassOf [a owl:Restriction; owl:onProperty :parent; owl:cardinality 2]. :Parent owl:equivalentClass [a owl:Restriction; owl:onProperty :child; owl:minCardinality 1]. :Grandparent owl:equivalentClass [a owl:Restriction; owl:onProperty :child; owl:someValuesFrom :Parent].