Template: o-owl-ut:ObjectCardinality

URI: http://tpl.ottr.xyz/owl/util/0.1/ObjectCardinality

Parameters

🛈 The parameters defined by the signature are listed here. Unfortunately parameter names are not informative; fixing it is a planned future feature. An optional parameter will accept the value ottr:none as an argument. A parameter which allows blanks will accept a blank node as argument value.

Pattern

stOTTR

🛈 stOTTR serialisation of the template without annotation instances.

o-owl-ut:ObjectCardinality[
    ottr:IRI ?blank621,
    ! ottr:IRI ?blank622,
    xsd:nonNegativeInteger ?blank623,
    owl:ObjectProperty ?blank624,
    owl:Class ?blank625
] :: {
    ottr:Triple(?blank621, owl:onClass, ?blank625),
    o-owl-ut:Cardinality(?blank621, ?blank622, ?blank623, ?blank624),
    o-rdf:Type(?blank624, owl:ObjectProperty),
    o-rdf:Type(?blank625, owl:Class)
} .

🛈 The pattern of the template is illustrated by expanding a generated instance. Below the generated instance is shown in different serialisations, and its expansion is presented in different formats.

Generated instance

o-owl-ut:ObjectCardinality(x:argument1, x:argument2, _:argument3, x:argument4, x:argument5)

[ ottr:of      o-owl-ut:ObjectCardinality ;
  ottr:values  ( x:argument1 x:argument2
                 [] 
                 x:argument4 x:argument5
               )
] .

Visualisation of expanded RDF graph

🛈 Each resource node is linked to its IRI. Type relationships are not visualised, rather each node contains its type.

Expanded RDF graph

x:argument5  rdf:type  owl:Class .

x:argument1  rdf:type   owl:Restriction ;
        x:argument2     []  ;
        owl:onClass     x:argument5 ;
        owl:onProperty  x:argument4 .

x:argument4  rdf:type  owl:ObjectProperty .

Interactive expansion

🛈 Click the list to expand/contract one list element. Click 'expand/contact all' to expand/contract all elements. Note that the interactive expansion is not correct for instances that are marked by list expanders.

Dependencies

Dependency graph

🛈 The graph shows all the templates that this template depends on. The colour of the node indicates its namespace. Each node is linked to its documentation page.

List of dependencies

🛈 The number in parenthesis is the number of instances of each template.

Depending templates

🛈 The templates in this library that depend on this template.

• o-owl-re:ObjectExactCardinality
• o-owl-re:ObjectMaxCardinality
• o-owl-re:ObjectMinCardinality

Metrics

🛈 Dependency graph metrics. Depth is the number of steps to a leaf node in the dependency graph. Branching is the number of outgoing edges from a node.

• Max. dependency depth: 3
• Min. dependency depth: 1
• Max. branching: 4
• Min. branching: 1

Templates used

Vocabulary introduced

Serialisations

o-owl-ut:ObjectCardinality[
    ottr:IRI ?blank621,
    ! ottr:IRI ?blank622,
    xsd:nonNegativeInteger ?blank623,
    owl:ObjectProperty ?blank624,
    owl:Class ?blank625
] :: {
    ottr:Triple(?blank621, owl:onClass, ?blank625),
    o-owl-ut:Cardinality(?blank621, ?blank622, ?blank623, ?blank624),
    o-rdf:Type(?blank624, owl:ObjectProperty),
    o-rdf:Type(?blank625, owl:Class)
} .

o-owl-ut:ObjectCardinality
        rdf:type         ottr:Template ;
        ottr:parameters  ( [ ottr:type      ottr:IRI ;
                             ottr:variable  _:b0
                           ]
                           [ ottr:modifier  ottr:nonBlank ;
                             ottr:type      ottr:IRI ;
                             ottr:variable  _:b1
                           ]
                           [ ottr:type      xsd:nonNegativeInteger ;
                             ottr:variable  _:b2
                           ]
                           [ ottr:type      owl:ObjectProperty ;
                             ottr:variable  _:b3
                           ]
                           [ ottr:type      owl:Class ;
                             ottr:variable  _:b4
                           ]
                         ) ;
        ottr:pattern     [ ottr:of      o-rdf:Type ;
                           ottr:values  ( _:b4
                                          owl:Class
                                        )
                         ] ;
        ottr:pattern     [ ottr:of      o-owl-ut:Cardinality ;
                           ottr:values  ( _:b0
                                          _:b1
                                          _:b2
                                          _:b3
                                        )
                         ] ;
        ottr:pattern     [ ottr:of      o-rdf:Type ;
                           ottr:values  ( _:b3
                                          owl:ObjectProperty
                                        )
                         ] ;
        ottr:pattern     [ ottr:of      ottr:Triple ;
                           ottr:values  ( _:b0
                                          owl:onClass
                                          _:b4
                                        )
                         ] .

🛈 Prefixes are removed from all listings on this page for readability, but are listed here in RDF Turtle format.

@prefix ottr:       <http://ns.ottr.xyz/0.4/>.
@prefix o-owl-ut:   <http://tpl.ottr.xyz/owl/util/0.1/>.
@prefix o-rdf:      <http://tpl.ottr.xyz/rdf/0.1/>.
@prefix rdf:        <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.
@prefix xsd:        <http://www.w3.org/2001/XMLSchema#>.
@prefix owl:        <http://www.w3.org/2002/07/owl#>.