@prefix o-owl-ax: . @prefix o-owl-re: . @prefix ottr: . @prefix owl: . @prefix rdf: . @prefix rdfs: . @prefix xsd: . o-owl-ax:EquivDataMinCardinality rdf:type ottr:Template ; ottr:parameters ( [ ottr:type owl:Class ; 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-re:DataMinCardinality ; ottr:values ( _:b4 _:b1 _:b2 _:b3 ) ] ; ottr:pattern [ ottr:of o-owl-ax:EquivalentClass ; ottr:values ( _:b0 _:b4 ) ] .