@prefix o-docttr: <http://tpl.ottr.xyz/p/docttr/0.1/> .
@prefix o-owl-ax: <http://tpl.ottr.xyz/owl/axiom/0.1/> .
@prefix o-owl-ma: <http://tpl.ottr.xyz/owl/macro/0.1/> .
@prefix ottr:     <http://ns.ottr.xyz/0.4/> .
@prefix owl:      <http://www.w3.org/2002/07/owl#> .
@prefix rdf:      <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .

o-owl-ma:ClassPartition
        rdf:type         ottr:Template ;
        ottr:annotation  [ ottr:of      o-docttr:Provenance ;
                           ottr:values  ( o-owl-ma:ClassPartition "2020-09-02T00:00:00Z"^^<http://www.w3.org/2001/XMLSchema#dateTime> ottr:none ( <http://folk.uio.no/martige/foaf.rdf#me> ) ottr:none )
                         ] ;
        ottr:annotation  [ ottr:of      o-docttr:Signature ;
                           ottr:values  ( o-owl-ma:ClassPartition ottr:none "A logical partitioning of OWL classes." ottr:none ottr:none ( <http://ontologydesignpatterns.org/wiki/Submissions:Partition> ) ottr:none )
                         ] ;
        ottr:annotation  [ ottr:of      o-docttr:Version ;
                           ottr:values  ( o-owl-ma:ClassPartition ottr:draft "0.1.1" ottr:none ottr:none )
                         ] ;
        ottr:parameters  ( [ ottr:type      owl:Class ;
                             ottr:variable  _:b0
                           ]
                           [ ottr:type      ( ottr:NEList owl:Class ) ;
                             ottr:variable  _:b1
                           ]
                         ) ;
        ottr:pattern     [ ottr:of      o-owl-ax:DisjointClasses ;
                           ottr:values  ( _:b1
                                        )
                         ] ;
        ottr:pattern     [ ottr:of      o-owl-ax:EquivObjectUnionOf ;
                           ottr:values  ( _:b0
                                          _:b1
                                        )
                         ] .