Pattern stOTTR 🛈 stOTTR serialisation of the template without annotation instances.
dpm:HasCharacteristicArange[
ottr:IRI ?thing,
List<owl:Class> ?types,
NEList<xsd:float> ?value_start_end_step,
owl:Class ?unit
] :: {
ottr:Triple(?thing, pmd:characteristic, _:blank505),
zipMin | ottr:Triple(_:blank505, ++(dpm:range_start, dpm:range_end, dpm:range_step), ++(_:blank502, _:blank506, _:blank507)),
o-rdf:Type(_:blank505, dpm:Range),
cross | o-rdf:Type(_:blank505, ++?types),
zipMax | dpm:HasCharacteristicNumerical(++(_:blank502, _:blank506, _:blank507), ?types, ++?value_start_end_step, ?unit)
} . 🛈 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 dpm:HasCharacteristicArange(x:argument1, (x:argument2-1, x:argument2-2), (_:argument3-1, _:argument3-2), x:argument4) RDF/wOTTR
[ ottr:of dpm:HasCharacteristicArange ;
ottr:values ( x:argument1 ( x:argument2-1 x:argument2-2 ) ( []
[]
) x:argument4 )
] . Visualisation of expanded RDF graph 🛈 Each resource node is linked to its IRI. Type relationships are not visualised, rather each node contains its type.
Hierarchical horizontal layout (dot)
http://example.ottr.xyz/argument/argument1 : LUB<ottr:IRI>
x:argument1
blank827 : LUB<rdfs:Resource>
x:argument2-1
,
x:argument2-2
, dpm:Range
http://example.ottr.xyz/argument/argument1 : LUB<ottr:IRI>->blank827 : LUB<rdfs:Resource>
pmd:characteristic
blank828 : LUB<rdfs:Resource>
blank827 : LUB<rdfs:Resource>->blank828 : LUB<rdfs:Resource>
dpm:range_start
blank829 : LUB<rdfs:Resource>
blank827 : LUB<rdfs:Resource>->blank829 : LUB<rdfs:Resource>
dpm:range_end
blank830 : LUB<rdfs:Resource>
blank827 : LUB<rdfs:Resource>->blank830 : LUB<rdfs:Resource>
dpm:range_step
blank831 : LUB<rdfs:Resource>
x:argument2-1
,
x:argument2-2
blank828 : LUB<rdfs:Resource>->blank831 : LUB<rdfs:Resource>
pmd:characteristic
blank832 : LUB<rdfs:Resource>
x:argument2-1
,
x:argument2-2
blank829 : LUB<rdfs:Resource>->blank832 : LUB<rdfs:Resource>
pmd:characteristic
argument3-1 : LUB<rdfs:Resource>
blank831 : LUB<rdfs:Resource>->argument3-1 : LUB<rdfs:Resource>
pmd:value
http://example.ottr.xyz/argument/argument4 : LUB<ottr:IRI>
x:argument4
blank831 : LUB<rdfs:Resource>->http://example.ottr.xyz/argument/argument4 : LUB<ottr:IRI>
pmd:unit
http://qudt.org/vocab/Unit : LUB<ottr:IRI>
qudt:Unit
http://example.ottr.xyz/argument/argument4 : LUB<ottr:IRI>->http://qudt.org/vocab/Unit : LUB<ottr:IRI>
rdfs:subClassOf
blank832 : LUB<rdfs:Resource>->http://example.ottr.xyz/argument/argument4 : LUB<ottr:IRI>
pmd:unit
argument3-2 : LUB<rdfs:Resource>
blank832 : LUB<rdfs:Resource>->argument3-2 : LUB<rdfs:Resource>
pmd:value
Hierarchical vertical layout (dot)
http://example.ottr.xyz/argument/argument1 : LUB<ottr:IRI>
x:argument1
blank827 : LUB<rdfs:Resource>
x:argument2-1
,
x:argument2-2
, dpm:Range
http://example.ottr.xyz/argument/argument1 : LUB<ottr:IRI>->blank827 : LUB<rdfs:Resource>
pmd:characteristic
blank828 : LUB<rdfs:Resource>
blank827 : LUB<rdfs:Resource>->blank828 : LUB<rdfs:Resource>
dpm:range_start
blank829 : LUB<rdfs:Resource>
blank827 : LUB<rdfs:Resource>->blank829 : LUB<rdfs:Resource>
dpm:range_end
blank830 : LUB<rdfs:Resource>
blank827 : LUB<rdfs:Resource>->blank830 : LUB<rdfs:Resource>
dpm:range_step
blank831 : LUB<rdfs:Resource>
x:argument2-1
,
x:argument2-2
blank828 : LUB<rdfs:Resource>->blank831 : LUB<rdfs:Resource>
pmd:characteristic
blank832 : LUB<rdfs:Resource>
x:argument2-1
,
x:argument2-2
blank829 : LUB<rdfs:Resource>->blank832 : LUB<rdfs:Resource>
pmd:characteristic
argument3-1 : LUB<rdfs:Resource>
blank831 : LUB<rdfs:Resource>->argument3-1 : LUB<rdfs:Resource>
pmd:value
http://example.ottr.xyz/argument/argument4 : LUB<ottr:IRI>
x:argument4
blank831 : LUB<rdfs:Resource>->http://example.ottr.xyz/argument/argument4 : LUB<ottr:IRI>
pmd:unit
http://qudt.org/vocab/Unit : LUB<ottr:IRI>
qudt:Unit
http://example.ottr.xyz/argument/argument4 : LUB<ottr:IRI>->http://qudt.org/vocab/Unit : LUB<ottr:IRI>
rdfs:subClassOf
blank832 : LUB<rdfs:Resource>->http://example.ottr.xyz/argument/argument4 : LUB<ottr:IRI>
pmd:unit
argument3-2 : LUB<rdfs:Resource>
blank832 : LUB<rdfs:Resource>->argument3-2 : LUB<rdfs:Resource>
pmd:value
Spring model layout (neato)
http://example.ottr.xyz/argument/argument1 : LUB<ottr:IRI>
x:argument1
blank827 : LUB<rdfs:Resource>
x:argument2-1
,
x:argument2-2
, dpm:Range
http://example.ottr.xyz/argument/argument1 : LUB<ottr:IRI>->blank827 : LUB<rdfs:Resource>
pmd:characteristic
blank828 : LUB<rdfs:Resource>
blank827 : LUB<rdfs:Resource>->blank828 : LUB<rdfs:Resource>
dpm:range_start
blank829 : LUB<rdfs:Resource>
blank827 : LUB<rdfs:Resource>->blank829 : LUB<rdfs:Resource>
dpm:range_end
blank830 : LUB<rdfs:Resource>
blank827 : LUB<rdfs:Resource>->blank830 : LUB<rdfs:Resource>
dpm:range_step
blank831 : LUB<rdfs:Resource>
x:argument2-1
,
x:argument2-2
blank828 : LUB<rdfs:Resource>->blank831 : LUB<rdfs:Resource>
pmd:characteristic
blank832 : LUB<rdfs:Resource>
x:argument2-1
,
x:argument2-2
blank829 : LUB<rdfs:Resource>->blank832 : LUB<rdfs:Resource>
pmd:characteristic
argument3-1 : LUB<rdfs:Resource>
blank831 : LUB<rdfs:Resource>->argument3-1 : LUB<rdfs:Resource>
pmd:value
http://example.ottr.xyz/argument/argument4 : LUB<ottr:IRI>
x:argument4
blank831 : LUB<rdfs:Resource>->http://example.ottr.xyz/argument/argument4 : LUB<ottr:IRI>
pmd:unit
http://qudt.org/vocab/Unit : LUB<ottr:IRI>
qudt:Unit
http://example.ottr.xyz/argument/argument4 : LUB<ottr:IRI>->http://qudt.org/vocab/Unit : LUB<ottr:IRI>
rdfs:subClassOf
blank832 : LUB<rdfs:Resource>->http://example.ottr.xyz/argument/argument4 : LUB<ottr:IRI>
pmd:unit
argument3-2 : LUB<rdfs:Resource>
blank832 : LUB<rdfs:Resource>->argument3-2 : LUB<rdfs:Resource>
pmd:value
Spring model layout (fdp)
http://example.ottr.xyz/argument/argument1 : LUB<ottr:IRI>
x:argument1
blank827 : LUB<rdfs:Resource>
x:argument2-1
,
x:argument2-2
, dpm:Range
http://example.ottr.xyz/argument/argument1 : LUB<ottr:IRI>->blank827 : LUB<rdfs:Resource>
pmd:characteristic
blank828 : LUB<rdfs:Resource>
blank827 : LUB<rdfs:Resource>->blank828 : LUB<rdfs:Resource>
dpm:range_start
blank829 : LUB<rdfs:Resource>
blank827 : LUB<rdfs:Resource>->blank829 : LUB<rdfs:Resource>
dpm:range_end
blank830 : LUB<rdfs:Resource>
blank827 : LUB<rdfs:Resource>->blank830 : LUB<rdfs:Resource>
dpm:range_step
blank831 : LUB<rdfs:Resource>
x:argument2-1
,
x:argument2-2
blank828 : LUB<rdfs:Resource>->blank831 : LUB<rdfs:Resource>
pmd:characteristic
blank832 : LUB<rdfs:Resource>
x:argument2-1
,
x:argument2-2
blank829 : LUB<rdfs:Resource>->blank832 : LUB<rdfs:Resource>
pmd:characteristic
argument3-1 : LUB<rdfs:Resource>
blank831 : LUB<rdfs:Resource>->argument3-1 : LUB<rdfs:Resource>
pmd:value
http://example.ottr.xyz/argument/argument4 : LUB<ottr:IRI>
x:argument4
blank831 : LUB<rdfs:Resource>->http://example.ottr.xyz/argument/argument4 : LUB<ottr:IRI>
pmd:unit
http://qudt.org/vocab/Unit : LUB<ottr:IRI>
qudt:Unit
http://example.ottr.xyz/argument/argument4 : LUB<ottr:IRI>->http://qudt.org/vocab/Unit : LUB<ottr:IRI>
rdfs:subClassOf
blank832 : LUB<rdfs:Resource>->http://example.ottr.xyz/argument/argument4 : LUB<ottr:IRI>
pmd:unit
argument3-2 : LUB<rdfs:Resource>
blank832 : LUB<rdfs:Resource>->argument3-2 : LUB<rdfs:Resource>
pmd:value
Radial layout (twopi)
http://example.ottr.xyz/argument/argument1 : LUB<ottr:IRI>
x:argument1
blank827 : LUB<rdfs:Resource>
x:argument2-1
,
x:argument2-2
, dpm:Range
http://example.ottr.xyz/argument/argument1 : LUB<ottr:IRI>->blank827 : LUB<rdfs:Resource>
pmd:characteristic
blank828 : LUB<rdfs:Resource>
blank827 : LUB<rdfs:Resource>->blank828 : LUB<rdfs:Resource>
dpm:range_start
blank829 : LUB<rdfs:Resource>
blank827 : LUB<rdfs:Resource>->blank829 : LUB<rdfs:Resource>
dpm:range_end
blank830 : LUB<rdfs:Resource>
blank827 : LUB<rdfs:Resource>->blank830 : LUB<rdfs:Resource>
dpm:range_step
blank831 : LUB<rdfs:Resource>
x:argument2-1
,
x:argument2-2
blank828 : LUB<rdfs:Resource>->blank831 : LUB<rdfs:Resource>
pmd:characteristic
blank832 : LUB<rdfs:Resource>
x:argument2-1
,
x:argument2-2
blank829 : LUB<rdfs:Resource>->blank832 : LUB<rdfs:Resource>
pmd:characteristic
argument3-1 : LUB<rdfs:Resource>
blank831 : LUB<rdfs:Resource>->argument3-1 : LUB<rdfs:Resource>
pmd:value
http://example.ottr.xyz/argument/argument4 : LUB<ottr:IRI>
x:argument4
blank831 : LUB<rdfs:Resource>->http://example.ottr.xyz/argument/argument4 : LUB<ottr:IRI>
pmd:unit
http://qudt.org/vocab/Unit : LUB<ottr:IRI>
qudt:Unit
http://example.ottr.xyz/argument/argument4 : LUB<ottr:IRI>->http://qudt.org/vocab/Unit : LUB<ottr:IRI>
rdfs:subClassOf
blank832 : LUB<rdfs:Resource>->http://example.ottr.xyz/argument/argument4 : LUB<ottr:IRI>
pmd:unit
argument3-2 : LUB<rdfs:Resource>
blank832 : LUB<rdfs:Resource>->argument3-2 : LUB<rdfs:Resource>
pmd:value
Circular layout (circo)
http://example.ottr.xyz/argument/argument1 : LUB<ottr:IRI>
x:argument1
blank827 : LUB<rdfs:Resource>
x:argument2-1
,
x:argument2-2
, dpm:Range
http://example.ottr.xyz/argument/argument1 : LUB<ottr:IRI>->blank827 : LUB<rdfs:Resource>
pmd:characteristic
blank828 : LUB<rdfs:Resource>
blank827 : LUB<rdfs:Resource>->blank828 : LUB<rdfs:Resource>
dpm:range_start
blank829 : LUB<rdfs:Resource>
blank827 : LUB<rdfs:Resource>->blank829 : LUB<rdfs:Resource>
dpm:range_end
blank830 : LUB<rdfs:Resource>
blank827 : LUB<rdfs:Resource>->blank830 : LUB<rdfs:Resource>
dpm:range_step
blank831 : LUB<rdfs:Resource>
x:argument2-1
,
x:argument2-2
blank828 : LUB<rdfs:Resource>->blank831 : LUB<rdfs:Resource>
pmd:characteristic
blank832 : LUB<rdfs:Resource>
x:argument2-1
,
x:argument2-2
blank829 : LUB<rdfs:Resource>->blank832 : LUB<rdfs:Resource>
pmd:characteristic
argument3-1 : LUB<rdfs:Resource>
blank831 : LUB<rdfs:Resource>->argument3-1 : LUB<rdfs:Resource>
pmd:value
http://example.ottr.xyz/argument/argument4 : LUB<ottr:IRI>
x:argument4
blank831 : LUB<rdfs:Resource>->http://example.ottr.xyz/argument/argument4 : LUB<ottr:IRI>
pmd:unit
http://qudt.org/vocab/Unit : LUB<ottr:IRI>
qudt:Unit
http://example.ottr.xyz/argument/argument4 : LUB<ottr:IRI>->http://qudt.org/vocab/Unit : LUB<ottr:IRI>
rdfs:subClassOf
blank832 : LUB<rdfs:Resource>->http://example.ottr.xyz/argument/argument4 : LUB<ottr:IRI>
pmd:unit
argument3-2 : LUB<rdfs:Resource>
blank832 : LUB<rdfs:Resource>->argument3-2 : LUB<rdfs:Resource>
pmd:value
Expanded RDF graph
x:argument1 pmd:characteristic [ rdf:type dpm:Range , x:argument2-2 , x:argument2-1 ;
dpm:range_end [ pmd:characteristic [ rdf:type x:argument2-2 , x:argument2-1 ;
pmd:unit x:argument4 ;
pmd:value []
]
] ;
dpm:range_start [ pmd:characteristic [ rdf:type x:argument2-2 , x:argument2-1 ;
pmd:unit x:argument4 ;
pmd:value []
]
] ;
dpm:range_step []
] .
x:argument4 rdfs:subClassOf qudt:Unit . 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.
dpm:HasCharacteristicArange(x:argument1, (x:argument2-1, x:argument2-2), (_:argument3-1, _:argument3-2), x:argument4)
ottr:Triple(x:argument1, pmd:characteristic, _:blank816)
zipMin | ottr:Triple(_:blank816, ++(dpm:range_start, dpm:range_end, dpm:range_step), ++(_:blank817, _:blank818, _:blank819))
cross | o-rdf:Type(_:blank816, ++(x:argument2-1, x:argument2-2))
ottr:Triple(_:blank816, rdf:type, (x:argument2-1, x:argument2-2))
o-rdf:Type(_:blank816, dpm:Range)
ottr:Triple(_:blank816, rdf:type, dpm:Range)
zipMax | dpm:HasCharacteristicNumerical(++(_:blank817, _:blank818, _:blank819), (x:argument2-1, x:argument2-2), ++(_:argument3-1, _:argument3-2), x:argument4)
ottr:Triple((_:blank817, _:blank818, _:blank819), pmd:characteristic, _:blank820)
o-owl-ax:SubClassOf(x:argument4, qudt:Unit)
ottr:Triple(x:argument4, rdfs:subClassOf, qudt:Unit)
dpm:ValueObject(_:blank820, (x:argument2-1, x:argument2-2), (_:argument3-1, _:argument3-2), x:argument4)
ottr:Triple(_:blank820, pmd:value, (_:argument3-1, _:argument3-2))
ottr:Triple(_:blank820, pmd:unit, x:argument4)
cross | o-rdf:Type(_:blank820, ++(x:argument2-1, x:argument2-2))
ottr:Triple(_:blank820, rdf:type, (x:argument2-1, x:argument2-2))
Serialisations stOTTR dpm:HasCharacteristicArange[
ottr:IRI ?thing,
List<owl:Class> ?types,
NEList<xsd:float> ?value_start_end_step,
owl:Class ?unit
] :: {
ottr:Triple(?thing, pmd:characteristic, _:blank505),
zipMin | ottr:Triple(_:blank505, ++(dpm:range_start, dpm:range_end, dpm:range_step), ++(_:blank502, _:blank506, _:blank507)),
o-rdf:Type(_:blank505, dpm:Range),
cross | o-rdf:Type(_:blank505, ++?types),
zipMax | dpm:HasCharacteristicNumerical(++(_:blank502, _:blank506, _:blank507), ?types, ++?value_start_end_step, ?unit)
} . RDF/wOTTR
dpm:HasCharacteristicArange
rdf:type ottr:Template ;
ottr:parameters ( [ ottr:name "thing" ;
ottr:type ottr:IRI ;
ottr:variable _:b0
]
[ ottr:name "types" ;
ottr:type ( rdf:List owl:Class ) ;
ottr:variable _:b1
]
[ ottr:name "value_start_end_step" ;
ottr:type ( ottr:NEList xsd:float ) ;
ottr:variable _:b2
]
[ ottr:name "unit" ;
ottr:type owl:Class ;
ottr:variable _:b3
]
) ;
ottr:pattern [ ottr:arguments ( [ ottr:modifier ottr:listExpand ;
ottr:value ( _:b4
_:b5
_:b6
)
]
[ ottr:value _:b1 ]
[ ottr:modifier ottr:listExpand ;
ottr:value _:b2
]
[ ottr:value _:b3 ]
) ;
ottr:modifier ottr:zipMax ;
ottr:of dpm:HasCharacteristicNumerical
] ;
ottr:pattern [ ottr:arguments ( [ ottr:value _:b7 ]
[ ottr:modifier ottr:listExpand ;
ottr:value ( dpm:range_start dpm:range_end dpm:range_step )
]
[ ottr:modifier ottr:listExpand ;
ottr:value ( _:b4
_:b5
_:b6
)
]
) ;
ottr:modifier ottr:zipMin ;
ottr:of ottr:Triple
] ;
ottr:pattern [ ottr:of ottr:Triple ;
ottr:values ( _:b0
pmd:characteristic
_:b7
)
] ;
ottr:pattern [ ottr:of o-rdf:Type ;
ottr:values ( _:b7
dpm:Range
)
] ;
ottr:pattern [ ottr:arguments ( [ ottr:value _:b7 ]
[ ottr:modifier ottr:listExpand ;
ottr:value _:b1
]
) ;
ottr:modifier ottr:cross ;
ottr:of o-rdf:Type
] .