http://tpl.ottr.xyz/p/asset-maintenance/fmea/0.2/MalfunctionsAtFunctionalLocation
🛈 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 | malatfuncloc | owl:Class | no | yes | no |
2 | funcloc | owl:NamedIndividual | no | yes | no |
3 | expected | owl:Class | no | yes | no |
4 | unexpected | owl:Class | no | yes | no |
🛈 stOTTR serialisation of the template without annotation instances.
<http://tpl.ottr.xyz/p/asset-maintenance/fmea/0.2/MalfunctionsAtFunctionalLocation>[ owl:Class ?malatfuncloc, owl:NamedIndividual ?funcloc, owl:Class ?expected, owl:Class ?unexpected ] :: { o-owl-ax:DisjointUnion(?malatfuncloc, (?expected, ?unexpected)), o-owl-ax:SubClassOf(?malatfuncloc, fmea:Malfunction), <http://tpl.ottr.xyz/p/asset-maintenance/fmea/0.2/ExpectedMalfunction>(?expected, ?malatfuncloc), <http://tpl.ottr.xyz/p/asset-maintenance/fmea/0.2/UnexpectedMalfunction>(?unexpected, ?malatfuncloc), tmp2:AtFunctionalLocation(?malatfuncloc, ?funcloc) } .
🛈 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.
<http://tpl.ottr.xyz/p/asset-maintenance/fmea/0.2/MalfunctionsAtFunctionalLocation>(x:argument1, x:argument2, x:argument3, x:argument4)RDF/wOTTR
[ ottr:of <http://tpl.ottr.xyz/p/asset-maintenance/fmea/0.2/MalfunctionsAtFunctionalLocation> ; ottr:values ( x:argument1 x:argument2 x:argument3 x:argument4 ) ] .
🛈 Each resource node is linked to its IRI. Type relationships are not visualised, rather each node contains its type.
x:argument3 rdfs:subClassOf fmea:ExpectedMalfunction , x:argument1 . x:argument1 rdf:type owl:Class ; rdfs:subClassOf fmea:Malfunction ; owl:equivalentClass [ rdf:type owl:Restriction , owl:Class ; owl:onProperty fmea:atFunctionalLocation ; owl:someValuesFrom [ rdf:type owl:Class ; owl:oneOf ( x:argument2 ) ] ] ; owl:equivalentClass [ rdf:type owl:Class ; owl:unionOf ( x:argument3 x:argument4 ) ] . fmea:atFunctionalLocation rdf:type owl:ObjectProperty . [ rdf:type owl:AllDisjointClasses ; owl:members ( x:argument3 x:argument4 ) ] . x:argument4 rdfs:subClassOf fmea:UnexpectedMalfunction , x:argument1 .
🛈 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.
<http://tpl.ottr.xyz/p/asset-maintenance/fmea/0.2/MalfunctionsAtFunctionalLocation>(x:argument1, x:argument2, x:argument3, x:argument4)
o-owl-ax:DisjointUnion(x:argument1, (x:argument3, x:argument4))
o-owl-ax:DisjointClasses((x:argument3, x:argument4))
o-owl-ut:TypedListRelation(_:blank583, owl:AllDisjointClasses, owl:members, (x:argument3, x:argument4))
o-owl-ut:ListRelation(_:blank583, owl:members, (x:argument3, x:argument4))
ottr:Triple(_:blank583, owl:members, (x:argument3, x:argument4))
o-rdf:Type(_:blank583, owl:AllDisjointClasses)
ottr:Triple(_:blank583, rdf:type, owl:AllDisjointClasses)
o-owl-ax:EquivObjectUnionOf(x:argument1, (x:argument3, x:argument4))
o-owl-ax:EquivalentClass(x:argument1, _:blank584)
ottr:Triple(x:argument1, owl:equivalentClass, _:blank584)
o-rdf:Type(_:blank584, owl:Class)
ottr:Triple(_:blank584, rdf:type, owl:Class)
o-rdf:Type(x:argument1, owl:Class)
ottr:Triple(x:argument1, rdf:type, owl:Class)
o-owl-re:ObjectUnionOf(_:blank584, (x:argument3, x:argument4))
o-owl-ut:TypedListRelation(_:blank584, owl:Class, owl:unionOf, (x:argument3, x:argument4))
o-owl-ut:ListRelation(_:blank584, owl:unionOf, (x:argument3, x:argument4))
ottr:Triple(_:blank584, owl:unionOf, (x:argument3, x:argument4))
o-rdf:Type(_:blank584, owl:Class)
ottr:Triple(_:blank584, rdf:type, owl:Class)
o-rdf:Type(x:argument1, owl:Class)
ottr:Triple(x:argument1, rdf:type, owl:Class)
o-owl-ax:SubClassOf(x:argument1, fmea:Malfunction)
ottr:Triple(x:argument1, rdfs:subClassOf, fmea:Malfunction)
<http://tpl.ottr.xyz/p/asset-maintenance/fmea/0.2/ExpectedMalfunction>(x:argument3, x:argument1)
o-owl-ax:SubClassOf(x:argument3, x:argument1)
ottr:Triple(x:argument3, rdfs:subClassOf, x:argument1)
o-owl-ax:SubClassOf(x:argument3, fmea:ExpectedMalfunction)
ottr:Triple(x:argument3, rdfs:subClassOf, fmea:ExpectedMalfunction)
<http://tpl.ottr.xyz/p/asset-maintenance/fmea/0.2/UnexpectedMalfunction>(x:argument4, x:argument1)
o-owl-ax:SubClassOf(x:argument4, x:argument1)
ottr:Triple(x:argument4, rdfs:subClassOf, x:argument1)
o-owl-ax:SubClassOf(x:argument4, fmea:UnexpectedMalfunction)
ottr:Triple(x:argument4, rdfs:subClassOf, fmea:UnexpectedMalfunction)
tmp2:AtFunctionalLocation(x:argument1, x:argument2)
o-owl-ax:EquivObjectSomeValuesFrom(x:argument1, fmea:atFunctionalLocation, _:blank585)
o-owl-ax:EquivalentClass(x:argument1, _:blank586)
ottr:Triple(x:argument1, owl:equivalentClass, _:blank586)
o-rdf:Type(_:blank586, owl:Class)
ottr:Triple(_:blank586, rdf:type, owl:Class)
o-rdf:Type(x:argument1, owl:Class)
ottr:Triple(x:argument1, rdf:type, owl:Class)
o-owl-re:ObjectSomeValuesFrom(_:blank586, fmea:atFunctionalLocation, _:blank585)
o-owl-re:SomeValuesFrom(_:blank586, fmea:atFunctionalLocation, _:blank585)
o-owl-ut:ValueRestriction(_:blank586, owl:someValuesFrom, fmea:atFunctionalLocation, _:blank585)
ottr:Triple(_:blank586, owl:someValuesFrom, _:blank585)
ottr:Triple(_:blank586, owl:onProperty, fmea:atFunctionalLocation)
o-rdf:Type(_:blank586, owl:Restriction)
ottr:Triple(_:blank586, rdf:type, owl:Restriction)
o-rdf:Type(fmea:atFunctionalLocation, owl:ObjectProperty)
ottr:Triple(fmea:atFunctionalLocation, rdf:type, owl:ObjectProperty)
o-rdf:Type(_:blank585, owl:Class)
ottr:Triple(_:blank585, rdf:type, owl:Class)
o-owl-re:ObjectOneOf(_:blank585, (x:argument2))
o-owl-ut:TypedListRelation(_:blank585, owl:Class, owl:oneOf, (x:argument2))
o-owl-ut:ListRelation(_:blank585, owl:oneOf, (x:argument2))
ottr:Triple(_:blank585, owl:oneOf, (x:argument2))
o-rdf:Type(_:blank585, owl:Class)
ottr:Triple(_:blank585, 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.
🛈 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
|
<http://tpl.ottr.xyz/p/asset-maintenance/fmea/0.2/MalfunctionsAtFunctionalLocation>[ owl:Class ?malatfuncloc, owl:NamedIndividual ?funcloc, owl:Class ?expected, owl:Class ?unexpected ] :: { o-owl-ax:DisjointUnion(?malatfuncloc, (?expected, ?unexpected)), o-owl-ax:SubClassOf(?malatfuncloc, fmea:Malfunction), <http://tpl.ottr.xyz/p/asset-maintenance/fmea/0.2/ExpectedMalfunction>(?expected, ?malatfuncloc), <http://tpl.ottr.xyz/p/asset-maintenance/fmea/0.2/UnexpectedMalfunction>(?unexpected, ?malatfuncloc), tmp2:AtFunctionalLocation(?malatfuncloc, ?funcloc) } .
<http://tpl.ottr.xyz/p/asset-maintenance/fmea/0.2/MalfunctionsAtFunctionalLocation> rdf:type ottr:Template ; ottr:parameters ( [ ottr:type owl:Class ; ottr:variable _:b0 ] [ ottr:type owl:NamedIndividual ; ottr:variable _:b1 ] [ ottr:type owl:Class ; ottr:variable _:b2 ] [ ottr:type owl:Class ; ottr:variable _:b3 ] ) ; ottr:pattern [ ottr:of <http://tpl.ottr.xyz/p/asset-maintenance/fmea/0.2/UnexpectedMalfunction> ; ottr:values ( _:b3 _:b0 ) ] ; ottr:pattern [ ottr:of tmp2:AtFunctionalLocation ; ottr:values ( _:b0 _:b1 ) ] ; ottr:pattern [ ottr:of o-owl-ax:SubClassOf ; ottr:values ( _:b0 fmea:Malfunction ) ] ; ottr:pattern [ ottr:of <http://tpl.ottr.xyz/p/asset-maintenance/fmea/0.2/ExpectedMalfunction> ; ottr:values ( _:b2 _:b0 ) ] ; ottr:pattern [ ottr:of o-owl-ax:DisjointUnion ; ottr:values ( _:b0 ( _:b2 _:b3 ) ) ] .
🛈 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 ottr: <http://ns.ottr.xyz/0.4/>. @prefix o-owl-ax: <http://tpl.ottr.xyz/owl/axiom/0.1/>. @prefix tmp2: <http://tpl.ottr.xyz/p/asset-maintenance/general/0.2/>. @prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>. @prefix owl: <http://www.w3.org/2002/07/owl#>.