Template: o-pizza:NamedPizza

URI: http://tpl.ottr.xyz/pizza/0.1/NamedPizza

Metadata

🛈 This section contains the data represented by the signature's annotation instances.

ottr:status

ottr:draft

owl:versionInfo

0.1.3

inverse of pav:hasPreviousVersion

http://tpl.ottr.xyz/p/pizza/0.2/NamedPizza

o-pizza:NamedPizza  ottr:status  ottr:draft ;
        owl:versionInfo  "0.1.3" .

<http://tpl.ottr.xyz/p/pizza/0.2/NamedPizza>
        pav:hasPreviousVersion  o-pizza:NamedPizza .

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-pizza:NamedPizza[
    owl:Class ?blank524,
    ? owl:NamedIndividual ?blank525,
    NEList<owl:Class> ?blank526
] :: {
    o-owl-ax:SubClassOf(?blank524, pz:NamedPizza),
    o-owl-ax:SubObjectAllValuesFrom(?blank524, pz:hasTopping, _:blank576),
    o-owl-ax:SubObjectHasValue(?blank524, pz:hasCountryOfOrigin, ?blank525),
    cross | o-owl-ax:SubObjectSomeValuesFrom(?blank524, pz:hasTopping, ++?blank526),
    o-owl-re:ObjectUnionOf(_:blank576, ?blank526)
} .

🛈 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-pizza:NamedPizza(x:argument1, x:argument2, (x:argument3-1, x:argument3-2))

[ ottr:of      o-pizza:NamedPizza ;
  ottr:values  ( x:argument1 x:argument2 ( x:argument3-1 x:argument3-2 ) )
] .

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:argument3-1  rdf:type  owl:Class .

pz:hasTopping  rdf:type  owl:ObjectProperty .

x:argument1  rdfs:subClassOf  pz:NamedPizza ;
        rdfs:subClassOf  [ rdf:type            owl:Restriction ;
                           owl:onProperty      pz:hasTopping ;
                           owl:someValuesFrom  x:argument3-2
                         ] ;
        rdfs:subClassOf  [ rdf:type            owl:Restriction ;
                           owl:onProperty      pz:hasTopping ;
                           owl:someValuesFrom  x:argument3-1
                         ] ;
        rdfs:subClassOf  [ rdf:type        owl:Restriction ;
                           owl:hasValue    x:argument2 ;
                           owl:onProperty  pz:hasCountryOfOrigin
                         ] ;
        rdfs:subClassOf  [ rdf:type           owl:Restriction ;
                           owl:allValuesFrom  [ rdf:type     owl:Class ;
                                                owl:unionOf  ( x:argument3-1 x:argument3-2 )
                                              ] ;
                           owl:onProperty     pz:hasTopping
                         ] .

x:argument3-2  rdf:type  owl:Class .

pz:hasCountryOfOrigin
        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.

None found.

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: 6
• Min. dependency depth: 2
• Max. branching: 5
• Min. branching: 1

Templates used

Vocabulary introduced

Serialisations

o-pizza:NamedPizza[
    owl:Class ?blank524,
    ? owl:NamedIndividual ?blank525,
    NEList<owl:Class> ?blank526
]
@@o-docttr:Version(
    o-pizza:NamedPizza,
    ottr:draft,
    "0.1.3",
    none,
    <http://tpl.ottr.xyz/p/pizza/0.2/NamedPizza>)
 :: {
    o-owl-ax:SubClassOf(?blank524, pz:NamedPizza),
    o-owl-ax:SubObjectAllValuesFrom(?blank524, pz:hasTopping, _:blank576),
    o-owl-ax:SubObjectHasValue(?blank524, pz:hasCountryOfOrigin, ?blank525),
    cross | o-owl-ax:SubObjectSomeValuesFrom(?blank524, pz:hasTopping, ++?blank526),
    o-owl-re:ObjectUnionOf(_:blank576, ?blank526)
} .

o-pizza:NamedPizza  rdf:type  ottr:Template ;
        ottr:annotation  [ ottr:of      o-docttr:Version ;
                           ottr:values  ( o-pizza:NamedPizza ottr:draft "0.1.3" ottr:none <http://tpl.ottr.xyz/p/pizza/0.2/NamedPizza> )
                         ] ;
        ottr:parameters  ( [ ottr:type      owl:Class ;
                             ottr:variable  _:b0
                           ]
                           [ ottr:modifier  ottr:optional ;
                             ottr:type      owl:NamedIndividual ;
                             ottr:variable  _:b1
                           ]
                           [ ottr:type      ( ottr:NEList owl:Class ) ;
                             ottr:variable  _:b2
                           ]
                         ) ;
        ottr:pattern     [ ottr:arguments  ( [ ottr:value  _:b0 ]
                                             [ ottr:value  pz:hasTopping ]
                                             [ ottr:modifier  ottr:listExpand ;
                                               ottr:value     _:b2
                                             ]
                                           ) ;
                           ottr:modifier   ottr:cross ;
                           ottr:of         o-owl-ax:SubObjectSomeValuesFrom
                         ] ;
        ottr:pattern     [ ottr:of      o-owl-ax:SubObjectHasValue ;
                           ottr:values  ( _:b0
                                          pz:hasCountryOfOrigin
                                          _:b1
                                        )
                         ] ;
        ottr:pattern     [ ottr:of      o-owl-re:ObjectUnionOf ;
                           ottr:values  ( _:b3
                                          _:b2
                                        )
                         ] ;
        ottr:pattern     [ ottr:of      o-owl-ax:SubClassOf ;
                           ottr:values  ( _:b0
                                          pz:NamedPizza
                                        )
                         ] ;
        ottr:pattern     [ ottr:of      o-owl-ax:SubObjectAllValuesFrom ;
                           ottr:values  ( _:b0
                                          pz:hasTopping
                                          _:b3
                                        )
                         ] .

🛈 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-ax:   <http://tpl.ottr.xyz/owl/axiom/0.1/>.
@prefix o-owl-re:   <http://tpl.ottr.xyz/owl/restriction/0.1/>.
@prefix o-docttr:   <http://tpl.ottr.xyz/p/docttr/0.1/>.
@prefix o-pizza:    <http://tpl.ottr.xyz/pizza/0.1/>.
@prefix pz:         <http://www.co-ode.org/ontologies/pizza/pizza.owl#>.
@prefix rdf:        <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.
@prefix owl:        <http://www.w3.org/2002/07/owl#>.