tpl-library.owl.axiom.0.1.EquivDataMinCardinality.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-owl-ax:  .
@prefix o-owl-re:  .
@prefix ottr:      .
@prefix owl:       .
@prefix rdf:       .
@prefix rdfs:      .
@prefix xsd:       .

o-owl-ax:EquivDataMinCardinality
        rdf:type         ottr:Template ;
        ottr:parameters  ( [ ottr:type      owl:Class ;
                             ottr:variable  _:b0
                           ]
                           [ ottr:type      xsd:nonNegativeInteger ;
                             ottr:variable  _:b1
                           ]
                           [ ottr:type      owl:DatatypeProperty ;
                             ottr:variable  _:b2
                           ]
                           [ ottr:type      rdfs:Datatype ;
                             ottr:variable  _:b3
                           ]
                         ) ;
        ottr:pattern     [ ottr:of      o-owl-re:DataMinCardinality ;
                           ottr:values  ( _:b4
                                          _:b1
                                          _:b2
                                          _:b3
                                        )
                         ] ;
        ottr:pattern     [ ottr:of      o-owl-ax:EquivalentClass ;
                           ottr:values  ( _:b0
                                          _:b4
                                        )
                         ] .