@prefix o-owl-ax: . @prefix o-rdf: . @prefix ottr: . @prefix owl: . @prefix rdf: . o-owl-ax:NegativeObjectPropertyAssertion rdf:type ottr:Template ; ottr:parameters ( [ ottr:type owl:NamedIndividual ; ottr:variable _:b0 ] [ ottr:type owl:ObjectProperty ; ottr:variable _:b1 ] [ ottr:type owl:NamedIndividual ; ottr:variable _:b2 ] ) ; ottr:pattern [ ottr:of o-rdf:Type ; ottr:values ( _:b3 owl:NegativePropertyAssertion ) ] ; ottr:pattern [ ottr:of ottr:Triple ; ottr:values ( _:b3 owl:assertionProperty _:b1 ) ] ; ottr:pattern [ ottr:of ottr:Triple ; ottr:values ( _:b3 owl:sourceIndividual _:b0 ) ] ; ottr:pattern [ ottr:of ottr:Triple ; ottr:values ( _:b3 owl:targetIndividual _:b2 ) ] .