o-pizza:NamedPizza
🛈 This section contains the data represented by the signature's annotation instances.
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 .
🛈 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.
Index | Name | Type | Optional | Blanks allowed | Default value |
---|---|---|---|---|---|
1 | blank524 | owl:Class | no | yes | no |
2 | blank525 | owl:NamedIndividual | yes | yes | no |
3 | blank526 | NEList<owl:Class> | no | yes | no |
🛈 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.
o-pizza:NamedPizza(x:argument1, x:argument2, (x:argument3-1, x:argument3-2))RDF/wOTTR
[ ottr:of o-pizza:NamedPizza ; ottr:values ( x:argument1 x:argument2 ( x:argument3-1 x:argument3-2 ) ) ] .
🛈 Each resource node is linked to its IRI. Type relationships are not visualised, rather each node contains its type.
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 .
🛈 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))
o-owl-ax:SubClassOf(x:argument1, pz:NamedPizza)
ottr:Triple(x:argument1, rdfs:subClassOf, pz:NamedPizza)
o-owl-ax:SubObjectAllValuesFrom(x:argument1, pz:hasTopping, _:blank634)
o-owl-ax:SubClassOf(x:argument1, _:blank635)
ottr:Triple(x:argument1, rdfs:subClassOf, _:blank635)
o-owl-re:ObjectAllValuesFrom(_:blank635, pz:hasTopping, _:blank634)
o-owl-re:AllValuesFrom(_:blank635, pz:hasTopping, _:blank634)
o-owl-ut:ValueRestriction(_:blank635, owl:allValuesFrom, pz:hasTopping, _:blank634)
ottr:Triple(_:blank635, owl:allValuesFrom, _:blank634)
ottr:Triple(_:blank635, owl:onProperty, pz:hasTopping)
o-rdf:Type(_:blank635, owl:Restriction)
ottr:Triple(_:blank635, rdf:type, owl:Restriction)
o-rdf:Type(pz:hasTopping, owl:ObjectProperty)
ottr:Triple(pz:hasTopping, rdf:type, owl:ObjectProperty)
o-rdf:Type(_:blank634, owl:Class)
ottr:Triple(_:blank634, rdf:type, owl:Class)
o-owl-ax:SubObjectHasValue(x:argument1, pz:hasCountryOfOrigin, x:argument2)
o-owl-ax:SubClassOf(x:argument1, _:blank636)
ottr:Triple(x:argument1, rdfs:subClassOf, _:blank636)
o-owl-re:ObjectHasValue(_:blank636, pz:hasCountryOfOrigin, x:argument2)
o-owl-re:HasValue(_:blank636, pz:hasCountryOfOrigin, x:argument2)
o-owl-ut:ValueRestriction(_:blank636, owl:hasValue, pz:hasCountryOfOrigin, x:argument2)
ottr:Triple(_:blank636, owl:hasValue, x:argument2)
ottr:Triple(_:blank636, owl:onProperty, pz:hasCountryOfOrigin)
o-rdf:Type(_:blank636, owl:Restriction)
ottr:Triple(_:blank636, rdf:type, owl:Restriction)
o-rdf:Type(pz:hasCountryOfOrigin, owl:ObjectProperty)
ottr:Triple(pz:hasCountryOfOrigin, rdf:type, owl:ObjectProperty)
cross | o-owl-ax:SubObjectSomeValuesFrom(x:argument1, pz:hasTopping, ++(x:argument3-1, x:argument3-2))
o-owl-ax:SubClassOf(x:argument1, _:blank637)
ottr:Triple(x:argument1, rdfs:subClassOf, _:blank637)
o-owl-re:ObjectSomeValuesFrom(_:blank637, pz:hasTopping, (x:argument3-1, x:argument3-2))
o-owl-re:SomeValuesFrom(_:blank637, pz:hasTopping, (x:argument3-1, x:argument3-2))
o-owl-ut:ValueRestriction(_:blank637, owl:someValuesFrom, pz:hasTopping, (x:argument3-1, x:argument3-2))
ottr:Triple(_:blank637, owl:someValuesFrom, (x:argument3-1, x:argument3-2))
ottr:Triple(_:blank637, owl:onProperty, pz:hasTopping)
o-rdf:Type(_:blank637, owl:Restriction)
ottr:Triple(_:blank637, rdf:type, owl:Restriction)
o-rdf:Type(pz:hasTopping, owl:ObjectProperty)
ottr:Triple(pz:hasTopping, rdf:type, owl:ObjectProperty)
o-rdf:Type((x:argument3-1, x:argument3-2), owl:Class)
ottr:Triple((x:argument3-1, x:argument3-2), rdf:type, owl:Class)
o-owl-re:ObjectUnionOf(_:blank634, (x:argument3-1, x:argument3-2))
o-owl-ut:TypedListRelation(_:blank634, owl:Class, owl:unionOf, (x:argument3-1, x:argument3-2))
o-owl-ut:ListRelation(_:blank634, owl:unionOf, (x:argument3-1, x:argument3-2))
ottr:Triple(_:blank634, owl:unionOf, (x:argument3-1, x:argument3-2))
o-rdf:Type(_:blank634, owl:Class)
ottr:Triple(_:blank634, rdf:type, owl:Class)
🛈 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.
🛈 The number in parenthesis is the number of instances of each template.
🛈 The templates in this library that depend on this template.
None found.
🛈 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.
Direct dependencies
| Complete expansion
|
Direct dependencies
| Complete expansion
|
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#>.