@prefix o-owl-re: .
@prefix o-owl-ut: .
@prefix ottr: .
@prefix owl: .
@prefix rdf: .
@prefix rdfs: .
@prefix xsd: .
o-owl-re:DataMaxCardinality
rdf:type ottr:Template ;
ottr:parameters ( [ ottr:type ottr:IRI ;
ottr:variable _:b0
]
[ ottr:type xsd:nonNegativeInteger ;
ottr:variable _:b1
]
[ ottr:type owl:DatatypeProperty ;
ottr:variable _:b2
]
[ ottr:type rdfs:Datatype ;
ottr:variable _:b3
]
) ;
ottr:pattern [ ottr:of o-owl-ut:DataCardinality ;
ottr:values ( _:b0
owl:maxQualifiedCardinality
_:b1
_:b2
_:b3
)
] .