tpl-library.pizza.0.1.Partition.ttl Maven / Gradle / Ivy

Go to download

Show more of this group Show more artifacts with this name
Show all versions of lutra-api Show documentation

This Lutra submodule is intended for use as a Java library. It has dependencies to all other modules in Lutra, except those that are used for providing executable interfaces, such as command line and REST API interfaces. Lutra is the reference implementation of the OTTR framework. For more information about OTTR, see http://ottr.xyz.

The newest version!

@prefix o-docttr:  .
@prefix o-owl-ax:  .
@prefix o-pizza:   .
@prefix ottr:      .
@prefix rdf:       .

o-pizza:Partition  rdf:type  ottr:Template ;
        ottr:annotation  [ ottr:of      o-docttr:Version ;
                           ottr:values  ( o-pizza:Partition ottr:draft "0.1.2" ottr:none  )
                         ] ;
        ottr:parameters  ( [ ottr:type      ( ottr:LUB ottr:IRI ) ;
                             ottr:variable  _:b0
                           ]
                           [ ottr:type      ( ottr:NEList ottr:LUB ottr:IRI ) ;
                             ottr:variable  _:b1
                           ]
                         ) ;
        ottr:pattern     [ ottr:of      o-owl-ax:DisjointClasses ;
                           ottr:values  ( _:b1
                                        )
                         ] ;
        ottr:pattern     [ ottr:arguments  ( [ ottr:modifier  ottr:listExpand ;
                                               ottr:value     _:b1
                                             ]
                                             [ ottr:value  _:b0 ]
                                           ) ;
                           ottr:modifier   ottr:cross ;
                           ottr:of         o-owl-ax:SubClassOf
                         ] .