inter:FailureCodesEQMapping🛈 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 | eqtype | owl:Class | no | yes | no |
| 2 | failurecodes | NEList<owl:Class> | no | yes | no |
🛈 stOTTR serialisation of the template without annotation instances.
inter:FailureCodesEQMapping[
owl:Class ?eqtype,
NEList<owl:Class> ?failurecodes
] :: {
iso-tmp:EQhasOnlyFailures(?eqtype, ?failurecodes),
cross | iso-tmp:EQhasSomeFailure(?eqtype, ++?failurecodes)
} .🛈 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.
inter:FailureCodesEQMapping(x:argument1, (x:argument2-1, x:argument2-2))RDF/wOTTR
[ ottr:of inter:FailureCodesEQMapping ; ottr:values ( x:argument1 ( x:argument2-1 x:argument2-2 ) ) ] .
🛈 Each resource node is linked to its IRI. Type relationships are not visualised, rather each node contains its type.
fmea:hasFailure rdf:type owl:ObjectProperty .
x:argument1 rdfs:subClassOf [ rdf:type owl:Restriction ;
owl:onProperty fmea:hasFailure ;
owl:someValuesFrom x:argument2-2
] ;
rdfs:subClassOf [ rdf:type owl:Restriction ;
owl:onProperty fmea:hasFailure ;
owl:someValuesFrom x:argument2-1
] ;
rdfs:subClassOf [ rdf:type owl:Restriction ;
owl:allValuesFrom [ rdf:type owl:Class ;
owl:unionOf ( x:argument2-1 x:argument2-2 )
] ;
owl:onProperty fmea:hasFailure
] .
x:argument2-1 rdf:type owl:Class .
x:argument2-2 rdf:type owl:Class .🛈 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.
inter:FailureCodesEQMapping(x:argument1, (x:argument2-1, x:argument2-2))iso-tmp:EQhasOnlyFailures(x:argument1, (x:argument2-1, x:argument2-2))macro:SubObjectAllValuesFromUnion(x:argument1, fmea:hasFailure, (x:argument2-1, x:argument2-2))o-owl-ax:SubObjectAllValuesFrom(x:argument1, fmea:hasFailure, _:blank886)o-owl-ax:SubClassOf(x:argument1, _:blank887)ottr:Triple(x:argument1, rdfs:subClassOf, _:blank887)o-owl-re:ObjectAllValuesFrom(_:blank887, fmea:hasFailure, _:blank886)o-owl-re:AllValuesFrom(_:blank887, fmea:hasFailure, _:blank886)o-owl-ut:ValueRestriction(_:blank887, owl:allValuesFrom, fmea:hasFailure, _:blank886)ottr:Triple(_:blank887, owl:allValuesFrom, _:blank886)ottr:Triple(_:blank887, owl:onProperty, fmea:hasFailure)o-rdf:Type(_:blank887, owl:Restriction)ottr:Triple(_:blank887, rdf:type, owl:Restriction)o-rdf:Type(fmea:hasFailure, owl:ObjectProperty)ottr:Triple(fmea:hasFailure, rdf:type, owl:ObjectProperty)o-rdf:Type(_:blank886, owl:Class)ottr:Triple(_:blank886, rdf:type, owl:Class)o-owl-re:ObjectUnionOf(_:blank886, (x:argument2-1, x:argument2-2))o-owl-ut:TypedListRelation(_:blank886, owl:Class, owl:unionOf, (x:argument2-1, x:argument2-2))o-owl-ut:ListRelation(_:blank886, owl:unionOf, (x:argument2-1, x:argument2-2))ottr:Triple(_:blank886, owl:unionOf, (x:argument2-1, x:argument2-2))o-rdf:Type(_:blank886, owl:Class)ottr:Triple(_:blank886, rdf:type, owl:Class)cross | iso-tmp:EQhasSomeFailure(x:argument1, ++(x:argument2-1, x:argument2-2))o-owl-ax:SubObjectSomeValuesFrom(x:argument1, fmea:hasFailure, (x:argument2-1, x:argument2-2))o-owl-ax:SubClassOf(x:argument1, _:blank888)ottr:Triple(x:argument1, rdfs:subClassOf, _:blank888)o-owl-re:ObjectSomeValuesFrom(_:blank888, fmea:hasFailure, (x:argument2-1, x:argument2-2))o-owl-re:SomeValuesFrom(_:blank888, fmea:hasFailure, (x:argument2-1, x:argument2-2))o-owl-ut:ValueRestriction(_:blank888, owl:someValuesFrom, fmea:hasFailure, (x:argument2-1, x:argument2-2))ottr:Triple(_:blank888, owl:someValuesFrom, (x:argument2-1, x:argument2-2))ottr:Triple(_:blank888, owl:onProperty, fmea:hasFailure)o-rdf:Type(_:blank888, owl:Restriction)ottr:Triple(_:blank888, rdf:type, owl:Restriction)o-rdf:Type(fmea:hasFailure, owl:ObjectProperty)ottr:Triple(fmea:hasFailure, rdf:type, owl:ObjectProperty)o-rdf:Type((x:argument2-1, x:argument2-2), owl:Class)ottr:Triple((x:argument2-1, x:argument2-2), 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
|
inter:FailureCodesEQMapping[
owl:Class ?eqtype,
NEList<owl:Class> ?failurecodes
] :: {
iso-tmp:EQhasOnlyFailures(?eqtype, ?failurecodes),
cross | iso-tmp:EQhasSomeFailure(?eqtype, ++?failurecodes)
} .
inter:FailureCodesEQMapping
rdf:type ottr:Template ;
ottr:parameters ( [ ottr:type owl:Class ;
ottr:variable _:b0
]
[ ottr:type ( ottr:NEList owl:Class ) ;
ottr:variable _:b1
]
) ;
ottr:pattern [ ottr:arguments ( [ ottr:value _:b0 ]
[ ottr:modifier ottr:listExpand ;
ottr:value _:b1
]
) ;
ottr:modifier ottr:cross ;
ottr:of iso-tmp:EQhasSomeFailure
] ;
ottr:pattern [ ottr:of iso-tmp:EQhasOnlyFailures ;
ottr:values ( _:b0
_:b1
)
] .🛈 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 inter: <http://tpl.ottr.xyz/p/asset-maintenance/interface/0.1/>. @prefix iso-tmp: <http://tpl.ottr.xyz/p/asset-maintenance/iso14224/0.1/>. @prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>. @prefix owl: <http://www.w3.org/2002/07/owl#>.