@prefix : .
@prefix rdf: .
@prefix owl: .
_:ont a owl:Ontology .
:p rdf:type owl:ObjectProperty .
:c rdf:type owl:Class .
:x rdf:type owl:NamedIndividual .
:y rdf:type owl:NamedIndividual .
:x :p :y.
:y rdf:type :c.
:x :p _:y.
_:y rdf:type :c.
:z rdf:type _:x.
_:x rdf:type owl:Restriction.
_:x owl:onProperty :p.
_:x owl:someValuesFrom :c .