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