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.

The newest version!

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

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"^^ ottr:none (  ) 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 (  ) 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
                                        )
                         ] .