@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .

@prefix ottr: <http://ns.ottr.xyz/templates#> .

@prefix t-owl-atom: <http://candidate.ottr.xyz/owl/atom/> .
@prefix t-owl-rstr: <http://candidate.ottr.xyz/owl/restriction/> .
@prefix t-owl-ax: <http://candidate.ottr.xyz/owl/axiom/> .

@prefix :     <http://candidate.ottr.xyz/owl/restriction/ExactCardinality#> .

t-owl-rstr:ExactCardinality a ottr:Template ;
    ottr:hasParameter :pRestriction, :pCardinality, :pProperty .

:pRestriction       ottr:index 1;  ottr:nonLiteralVariable  :xRestriction .
:pCardinality       ottr:index 2;  ottr:literalVariable     "97"^^xsd:nonNegativeInteger .
:pProperty          ottr:index 3;  ottr:propertyVariable    :xProperty .

[] ottr:templateRef t-owl-atom:Cardinality ;
    ottr:withValues ( :xRestriction owl:cardinality "97"^^xsd:nonNegativeInteger :xProperty ) .