Template: o-pizza:NamedPizza

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

stOTTR serialisation

o-pizza:NamedPizza[owl:Class ?blank1115, ? owl:NamedIndividual ?blank1116, NEList<ottr:IRI> ?blank1117] :: {
    o-owl-ax:SubClassOf(?blank1115, pz:NamedPizza),
    o-owl-ax:SubObjectAllValuesFrom(?blank1115, pz:hasTopping, _:blank1118),
    o-owl-ax:SubObjectHasValue(?blank1115, pz:hasCountryOfOrigin, ?blank1116),
    cross | o-owl-ax:SubObjectSomeValuesFrom(?blank1115, pz:hasTopping, ++?blank1117),
    o-owl-re:ObjectUnionOf(_:blank1118, ?blank1117)
} .

Pattern

🛈 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

stOTTR
o-pizza:NamedPizza(x:argument1, x:argument2, (x:argument3-1, x:argument3-2, x:argument3-3))
RDF/wOTTR
[ ottr:of      o-pizza:NamedPizza ;
  ottr:values  ( x:argument1 x:argument2 ( x:argument3-1 x:argument3-2 x:argument3-3 ) )
] .

Visualisation of expanded RDF graph

🛈 Each resource node is linked to its IRI.

%3 blank1262 : LUB<rdfs:Resource> owl:Restriction http://www.co-ode.org/ontologies/pizza/pizza.owl#hasTopping : LUB<ottr:IRI> owl:ObjectProperty pz:hasTopping blank1262 : LUB<rdfs:Resource>->http://www.co-ode.org/ontologies/pizza/pizza.owl#hasTopping : LUB<ottr:IRI> owl:onProperty http://example.ottr.xyz/argument/argument3-2 : LUB<ottr:IRI> owl:Class x:argument3-2 blank1262 : LUB<rdfs:Resource>->http://example.ottr.xyz/argument/argument3-2 : LUB<ottr:IRI> owl:someValuesFrom http://example.ottr.xyz/argument/argument1 : LUB<ottr:IRI> x:argument1 http://example.ottr.xyz/argument/argument1 : LUB<ottr:IRI>->blank1262 : LUB<rdfs:Resource> rdfs:subClassOf http://www.co-ode.org/ontologies/pizza/pizza.owl#NamedPizza : LUB<ottr:IRI> pz:NamedPizza http://example.ottr.xyz/argument/argument1 : LUB<ottr:IRI>->http://www.co-ode.org/ontologies/pizza/pizza.owl#NamedPizza : LUB<ottr:IRI> rdfs:subClassOf blank1265 : LUB<rdfs:Resource> owl:Restriction http://example.ottr.xyz/argument/argument1 : LUB<ottr:IRI>->blank1265 : LUB<rdfs:Resource> rdfs:subClassOf blank1264 : LUB<rdfs:Resource> owl:Restriction http://example.ottr.xyz/argument/argument1 : LUB<ottr:IRI>->blank1264 : LUB<rdfs:Resource> rdfs:subClassOf blank1263 : LUB<rdfs:Resource> owl:Restriction http://example.ottr.xyz/argument/argument1 : LUB<ottr:IRI>->blank1263 : LUB<rdfs:Resource> rdfs:subClassOf blank1266 : LUB<rdfs:Resource> owl:Restriction http://example.ottr.xyz/argument/argument1 : LUB<ottr:IRI>->blank1266 : LUB<rdfs:Resource> rdfs:subClassOf http://example.ottr.xyz/argument/argument2 : LUB<ottr:IRI> x:argument2 blank1265 : LUB<rdfs:Resource>->http://example.ottr.xyz/argument/argument2 : LUB<ottr:IRI> owl:hasValue http://www.co-ode.org/ontologies/pizza/pizza.owl#hasCountryOfOrigin : LUB<ottr:IRI> owl:ObjectProperty pz:hasCountryOfOrigin blank1265 : LUB<rdfs:Resource>->http://www.co-ode.org/ontologies/pizza/pizza.owl#hasCountryOfOrigin : LUB<ottr:IRI> owl:onProperty blank1264 : LUB<rdfs:Resource>->http://www.co-ode.org/ontologies/pizza/pizza.owl#hasTopping : LUB<ottr:IRI> owl:onProperty http://example.ottr.xyz/argument/argument3-1 : LUB<ottr:IRI> owl:Class x:argument3-1 blank1264 : LUB<rdfs:Resource>->http://example.ottr.xyz/argument/argument3-1 : LUB<ottr:IRI> owl:someValuesFrom blank1263 : LUB<rdfs:Resource>->http://www.co-ode.org/ontologies/pizza/pizza.owl#hasTopping : LUB<ottr:IRI> owl:onProperty http://example.ottr.xyz/argument/argument3-3 : LUB<ottr:IRI> owl:Class x:argument3-3 blank1263 : LUB<rdfs:Resource>->http://example.ottr.xyz/argument/argument3-3 : LUB<ottr:IRI> owl:someValuesFrom blank1266 : LUB<rdfs:Resource>->http://www.co-ode.org/ontologies/pizza/pizza.owl#hasTopping : LUB<ottr:IRI> owl:onProperty blank1261 : LUB<rdfs:Resource> owl:Class blank1266 : LUB<rdfs:Resource>->blank1261 : LUB<rdfs:Resource> owl:allValuesFrom <http://example.ottr.xyz/argument/argument3-1 : LUB<ottr:IRI>, http://example.ottr.xyz/argument/argument3-2 : LUB<ottr:IRI>, http://example.ottr.xyz/argument/argument3-3 : LUB<ottr:IRI>>(id: 72) rdf:List blank1261 : LUB<rdfs:Resource>-><http://example.ottr.xyz/argument/argument3-1 : LUB<ottr:IRI>, http://example.ottr.xyz/argument/argument3-2 : LUB<ottr:IRI>, http://example.ottr.xyz/argument/argument3-3 : LUB<ottr:IRI>>(id: 72) owl:unionOf <http://example.ottr.xyz/argument/argument3-1 : LUB<ottr:IRI>, http://example.ottr.xyz/argument/argument3-2 : LUB<ottr:IRI>, http://example.ottr.xyz/argument/argument3-3 : LUB<ottr:IRI>>(id: 72)->http://example.ottr.xyz/argument/argument3-1 : LUB<ottr:IRI> 1 <http://example.ottr.xyz/argument/argument3-1 : LUB<ottr:IRI>, http://example.ottr.xyz/argument/argument3-2 : LUB<ottr:IRI>, http://example.ottr.xyz/argument/argument3-3 : LUB<ottr:IRI>>(id: 72)->http://example.ottr.xyz/argument/argument3-2 : LUB<ottr:IRI> 2 <http://example.ottr.xyz/argument/argument3-1 : LUB<ottr:IRI>, http://example.ottr.xyz/argument/argument3-2 : LUB<ottr:IRI>, http://example.ottr.xyz/argument/argument3-3 : LUB<ottr:IRI>>(id: 72)->http://example.ottr.xyz/argument/argument3-3 : LUB<ottr:IRI> 3

Expanded RDF graph

x:argument3-1  a  owl:Class .

pz:hasTopping  a  owl:ObjectProperty .

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

x:argument3-2  a  owl:Class .

x:argument3-3  a  owl:Class .

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

o-pizza:NamedPizza(x:argument1, x:argument2, (x:argument3-1, x:argument3-2, x:argument3-3))
o-owl-ax:SubClassOf(x:argument1, pz:NamedPizza)ottr:Triple(x:argument1, rdfs:subClassOf, pz:NamedPizza)
o-owl-ax:SubObjectAllValuesFrom(x:argument1, pz:hasTopping, _:blank1251)
o-owl-ax:SubClassOf(x:argument1, _:blank1254)ottr:Triple(x:argument1, rdfs:subClassOf, _:blank1254)
o-owl-re:ObjectAllValuesFrom(_:blank1254, pz:hasTopping, _:blank1251)ottr:Triple(pz:hasTopping, rdf:type, owl:ObjectProperty)ottr:Triple(_:blank1251, rdf:type, owl:Class)
o-owl-re:AllValuesFrom(_:blank1254, pz:hasTopping, _:blank1251)
o-owl-ut:ValueRestriction(_:blank1254, owl:allValuesFrom, pz:hasTopping, _:blank1251)ottr:Triple(_:blank1254, owl:onProperty, pz:hasTopping)ottr:Triple(_:blank1254, rdf:type, owl:Restriction)ottr:Triple(_:blank1254, owl:allValuesFrom, _:blank1251)
o-owl-ax:SubObjectHasValue(x:argument1, pz:hasCountryOfOrigin, x:argument2)
o-owl-ax:SubClassOf(x:argument1, _:blank1253)ottr:Triple(x:argument1, rdfs:subClassOf, _:blank1253)
o-owl-re:ObjectHasValue(_:blank1253, pz:hasCountryOfOrigin, x:argument2)ottr:Triple(pz:hasCountryOfOrigin, rdf:type, owl:ObjectProperty)
o-owl-re:HasValue(_:blank1253, pz:hasCountryOfOrigin, x:argument2)
o-owl-ut:ValueRestriction(_:blank1253, owl:hasValue, pz:hasCountryOfOrigin, x:argument2)ottr:Triple(_:blank1253, owl:onProperty, pz:hasCountryOfOrigin)ottr:Triple(_:blank1253, rdf:type, owl:Restriction)ottr:Triple(_:blank1253, owl:hasValue, x:argument2)
cross | o-owl-ax:SubObjectSomeValuesFrom(x:argument1, pz:hasTopping, ++(x:argument3-1, x:argument3-2, x:argument3-3))
o-owl-ax:SubClassOf(x:argument1, _:blank1252)ottr:Triple(x:argument1, rdfs:subClassOf, _:blank1252)
o-owl-re:ObjectSomeValuesFrom(_:blank1252, pz:hasTopping, (x:argument3-1, x:argument3-2, x:argument3-3))ottr:Triple(pz:hasTopping, rdf:type, owl:ObjectProperty)ottr:Triple((x:argument3-1, x:argument3-2, x:argument3-3), rdf:type, owl:Class)
o-owl-re:SomeValuesFrom(_:blank1252, pz:hasTopping, (x:argument3-1, x:argument3-2, x:argument3-3))
o-owl-ut:ValueRestriction(_:blank1252, owl:someValuesFrom, pz:hasTopping, (x:argument3-1, x:argument3-2, x:argument3-3))ottr:Triple(_:blank1252, owl:onProperty, pz:hasTopping)ottr:Triple(_:blank1252, rdf:type, owl:Restriction)ottr:Triple(_:blank1252, owl:someValuesFrom, (x:argument3-1, x:argument3-2, x:argument3-3))
o-owl-re:ObjectUnionOf(_:blank1251, (x:argument3-1, x:argument3-2, x:argument3-3))
o-owl-ut:TypedListRelation(_:blank1251, owl:Class, owl:unionOf, (x:argument3-1, x:argument3-2, x:argument3-3))ottr:Triple(_:blank1251, rdf:type, owl:Class)
o-owl-ut:ListRelation(_:blank1251, owl:unionOf, (x:argument3-1, x:argument3-2, x:argument3-3))ottr:Triple(_:blank1251, owl:unionOf, (x:argument3-1, x:argument3-2, x:argument3-3))

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.

%3 o-pizza:NamedPizza o-pizza:NamedPizza ax:SubClassOf ax:SubClassOf o-pizza:NamedPizza->ax:SubClassOf ax:SubObjectAllValuesFrom ax:SubObjectAllValuesFrom o-pizza:NamedPizza->ax:SubObjectAllValuesFrom ax:SubObjectHasValue ax:SubObjectHasValue o-pizza:NamedPizza->ax:SubObjectHasValue ax:SubObjectSomeValuesFrom ax:SubObjectSomeValuesFrom o-pizza:NamedPizza->ax:SubObjectSomeValuesFrom rstr:ObjectUnionOf rstr:ObjectUnionOf o-pizza:NamedPizza->rstr:ObjectUnionOf ottr:Triple ottr:Triple ax:SubClassOf->ottr:Triple ax:SubObjectAllValuesFrom->ax:SubClassOf rstr:ObjectAllValuesFrom rstr:ObjectAllValuesFrom ax:SubObjectAllValuesFrom->rstr:ObjectAllValuesFrom ax:SubObjectHasValue->ax:SubClassOf rstr:ObjectHasValue rstr:ObjectHasValue ax:SubObjectHasValue->rstr:ObjectHasValue ax:SubObjectSomeValuesFrom->ax:SubClassOf rstr:ObjectSomeValuesFrom rstr:ObjectSomeValuesFrom ax:SubObjectSomeValuesFrom->rstr:ObjectSomeValuesFrom o-owl-ut:TypedListRelation o-owl-ut:TypedListRelation rstr:ObjectUnionOf->o-owl-ut:TypedListRelation rstr:ObjectAllValuesFrom->ottr:Triple rstr:AllValuesFrom rstr:AllValuesFrom rstr:ObjectAllValuesFrom->rstr:AllValuesFrom o-owl-ut:ValueRestriction o-owl-ut:ValueRestriction rstr:AllValuesFrom->o-owl-ut:ValueRestriction o-owl-ut:ValueRestriction->ottr:Triple rstr:ObjectHasValue->ottr:Triple rstr:HasValue rstr:HasValue rstr:ObjectHasValue->rstr:HasValue rstr:HasValue->o-owl-ut:ValueRestriction rstr:ObjectSomeValuesFrom->ottr:Triple rstr:SomeValuesFrom rstr:SomeValuesFrom rstr:ObjectSomeValuesFrom->rstr:SomeValuesFrom rstr:SomeValuesFrom->o-owl-ut:ValueRestriction o-owl-ut:TypedListRelation->ottr:Triple o-owl-ut:ListRelation o-owl-ut:ListRelation o-owl-ut:TypedListRelation->o-owl-ut:ListRelation o-owl-ut:ListRelation->ottr:Triple

List of dependencies

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

o-pizza:NamedPizza
ax:SubClassOf (1)ottr:Triple (1)
ax:SubObjectAllValuesFrom (1)
ax:SubClassOf (1)ottr:Triple (1)
rstr:ObjectAllValuesFrom (1)ottr:Triple (2)
rstr:AllValuesFrom (1)
o-owl-ut:ValueRestriction (1)ottr:Triple (3)
ax:SubObjectHasValue (1)
ax:SubClassOf (1)ottr:Triple (1)
rstr:ObjectHasValue (1)ottr:Triple (1)
rstr:HasValue (1)
o-owl-ut:ValueRestriction (1)ottr:Triple (3)
ax:SubObjectSomeValuesFrom (1)
ax:SubClassOf (1)ottr:Triple (1)
rstr:ObjectSomeValuesFrom (1)ottr:Triple (2)
rstr:SomeValuesFrom (1)
o-owl-ut:ValueRestriction (1)ottr:Triple (3)
rstr:ObjectUnionOf (1)
o-owl-ut:TypedListRelation (1)ottr:Triple (1)
o-owl-ut:ListRelation (1)ottr:Triple (1)

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.

Templates used

Direct dependenciesComplete expansion

Vocabulary introduced

Direct dependenciesComplete expansion

Serialisations

stOTTR

o-pizza:NamedPizza[owl:Class ?blank1115, ? owl:NamedIndividual ?blank1116, NEList<ottr:IRI> ?blank1117] :: {
    o-owl-ax:SubClassOf(?blank1115, pz:NamedPizza),
    o-owl-ax:SubObjectAllValuesFrom(?blank1115, pz:hasTopping, _:blank1118),
    o-owl-ax:SubObjectHasValue(?blank1115, pz:hasCountryOfOrigin, ?blank1116),
    cross | o-owl-ax:SubObjectSomeValuesFrom(?blank1115, pz:hasTopping, ++?blank1117),
    o-owl-re:ObjectUnionOf(_:blank1118, ?blank1117)
} .

RDF/wOTTR

o-pizza:NamedPizza  a    ottr:Template ;
        ottr:parameters  ( [ ottr:type      owl:Class ;
                             ottr:variable  _:b0
                           ]
                           [ ottr:modifier  ottr:optional ;
                             ottr:type      owl:NamedIndividual ;
                             ottr:variable  _:b1
                           ]
                           [ ottr:type      ( ottr:NEList ottr:IRI ) ;
                             ottr:variable  _:b2
                           ]
                         ) ;
        ottr:pattern     [ ottr:of      o-owl-ax:SubObjectAllValuesFrom ;
                           ottr:values  ( _:b0
                                          pz:hasTopping
                                          _:b3
                                        )
                         ] ;
        ottr:pattern     [ ottr:of      o-owl-ax:SubObjectHasValue ;
                           ottr:values  ( _:b0
                                          pz:hasCountryOfOrigin
                                          _:b1
                                        )
                         ] ;
        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      rstr:ObjectUnionOf ;
                           ottr:values  ( _:b3
                                          _:b2
                                        )
                         ] ;
        ottr:pattern     [ ottr:of      o-owl-ax:SubClassOf ;
                           ottr:values  ( _:b0
                                          pz:NamedPizza
                                        )
                         ] .

Prefixes

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

@prefix fmea:       <http://example.com/ns/asset-maintenance/fmea/>.
@prefix x:          <http://example.ottr.xyz/argument/>.
@prefix ottr:       <http://ns.ottr.xyz/0.4/>.
@prefix pav:        <http://purl.org/pav/>.
@prefix ax:         <http://tpl.ottr.xyz/owl/axiom/0.1/>.
@prefix o-owl-ax:   <http://tpl.ottr.xyz/owl/axiom/0.1/>.
@prefix o-owl-ma:   <http://tpl.ottr.xyz/owl/macro/0.1/>.
@prefix rstr:       <http://tpl.ottr.xyz/owl/restriction/0.1/>.
@prefix o-owl-re:   <http://tpl.ottr.xyz/owl/restriction/0.1/>.
@prefix o-owl-ut:   <http://tpl.ottr.xyz/owl/util/0.1/>.
@prefix fmea-tmp:   <http://tpl.ottr.xyz/p/asset-maintenance/fmea/0.2/>.
@prefix tmp1:       <http://tpl.ottr.xyz/p/asset-maintenance/general/0.1/>.
@prefix tmp2:       <http://tpl.ottr.xyz/p/asset-maintenance/general/0.2/>.
@prefix tmp:        <http://tpl.ottr.xyz/p/asset-maintenance/general/0.2/>.
@prefix inter:      <http://tpl.ottr.xyz/p/asset-maintenance/interface/0.2/>.
@prefix iso-tmp:    <http://tpl.ottr.xyz/p/asset-maintenance/iso14224/0.2/>.
@prefix macro:      <http://tpl.ottr.xyz/p/asset-maintenance/owl/macro/0.1/>.
@prefix ont:        <http://tpl.ottr.xyz/p/asset-maintenance/owl/ontology/0.1/>.
@prefix wo-tmp:     <http://tpl.ottr.xyz/p/asset-maintenance/work-orders/0.1/>.
@prefix o-pizza:    <http://tpl.ottr.xyz/pizza/0.1/>.
@prefix o-rdf:      <http://tpl.ottr.xyz/rdf/0.1/>.
@prefix o-rdfs:     <http://tpl.ottr.xyz/rdfs/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 rdfs:       <http://www.w3.org/2000/01/rdf-schema#>.
@prefix xsd:        <http://www.w3.org/2001/XMLSchema#>.
@prefix owl:        <http://www.w3.org/2002/07/owl#>.
@prefix skos:       <http://www.w3.org/2004/02/skos/core#>.