tpl-library.owl.macro.0.1.ClassPartition.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.

There is a newer version: 0.6.19

Show newest version

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

o-owl-ma:ClassPartition
        a                ottr:Template ;
        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 (  ) 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:annotation  [ ottr:of      o-docttr:Provenance ;
                           ottr:values  ( o-owl-ma:ClassPartition "2020-09-02T00:00:00Z"^^ 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      ax:EquivObjectUnionOf ;
                           ottr:values  ( _:b0
                                          _:b1
                                        )
                         ] ;
        ottr:pattern     [ ottr:of      ax:DisjointClasses ;
                           ottr:values  ( _:b1
                                        )
                         ] .