@prefix o-docttr: .
@prefix o-owl-ax: .
@prefix o-owl-re: .
@prefix o-pizza: .
@prefix ottr: .
@prefix owl: .
@prefix pz: .
@prefix rdf: .
o-pizza:NamedPizza rdf:type ottr:Template ;
ottr:annotation [ ottr:of o-docttr:Version ;
ottr:values ( o-pizza:NamedPizza ottr:draft "0.1.3" ottr:none )
] ;
ottr:parameters ( [ ottr:type owl:Class ;
ottr:variable _:b0
]
[ ottr:modifier ottr:optional ;
ottr:type owl:NamedIndividual ;
ottr:variable _:b1
]
[ ottr:type ( ottr:NEList owl:Class ) ;
ottr:variable _:b2
]
) ;
ottr:pattern [ ottr:of o-owl-ax:SubObjectHasValue ;
ottr:values ( _:b0
pz:hasCountryOfOrigin
_:b1
)
] ;
ottr:pattern [ ottr:of o-owl-re:ObjectUnionOf ;
ottr:values ( _:b3
_:b2
)
] ;
ottr:pattern [ ottr:of o-owl-ax:SubClassOf ;
ottr:values ( _:b0
pz:NamedPizza
)
] ;
ottr:pattern [ ottr:arguments ( [ ottr:value _:b0 ]
[ ottr:value pz:hasTopping ]
[ ottr:modifier ottr:listExpand ;
ottr:value _:b2
]
) ;
ottr:modifier ottr:cross ;
ottr:of o-owl-ax:SubObjectSomeValuesFrom
] ;
ottr:pattern [ ottr:of o-owl-ax:SubObjectAllValuesFrom ;
ottr:values ( _:b0
pz:hasTopping
_:b3
)
] .