o-owl-ax:EquivalentObjectProperty
🛈 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 | blank726 | owl:ObjectProperty | no | yes | no |
2 | blank727 | owl:ObjectProperty | no | yes | no |
🛈 stOTTR serialisation of the template without annotation instances.
o-owl-ax:EquivalentObjectProperty[ owl:ObjectProperty ?blank726, owl:ObjectProperty ?blank727 ] :: { o-owl-ax:EquivalentProperty(?blank726, ?blank727), o-rdf:Type(?blank726, owl:ObjectProperty), o-rdf:Type(?blank727, owl:ObjectProperty) } .
🛈 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-owl-ax:EquivalentObjectProperty(x:argument1, x:argument2)RDF/wOTTR
[ ottr:of o-owl-ax:EquivalentObjectProperty ; ottr:values ( x:argument1 x:argument2 ) ] .
🛈 Each resource node is linked to its IRI. Type relationships are not visualised, rather each node contains its type.
x:argument2 rdf:type owl:ObjectProperty . x:argument1 rdf:type owl:ObjectProperty ; owl:equivalentProperty x:argument2 .
🛈 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-owl-ax:EquivalentObjectProperty(x:argument1, x:argument2)
o-owl-ax:EquivalentProperty(x:argument1, x:argument2)
ottr:Triple(x:argument1, owl:equivalentProperty, x:argument2)
o-rdf:Type(x:argument1, owl:ObjectProperty)
ottr:Triple(x:argument1, rdf:type, owl:ObjectProperty)
o-rdf:Type(x:argument2, owl:ObjectProperty)
ottr:Triple(x:argument2, rdf:type, owl:ObjectProperty)
🛈 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-owl-ax:EquivalentObjectProperty[ owl:ObjectProperty ?blank726, owl:ObjectProperty ?blank727 ] :: { o-owl-ax:EquivalentProperty(?blank726, ?blank727), o-rdf:Type(?blank726, owl:ObjectProperty), o-rdf:Type(?blank727, owl:ObjectProperty) } .
o-owl-ax:EquivalentObjectProperty rdf:type ottr:Template ; ottr:parameters ( [ ottr:type owl:ObjectProperty ; ottr:variable _:b0 ] [ ottr:type owl:ObjectProperty ; ottr:variable _:b1 ] ) ; ottr:pattern [ ottr:of o-owl-ax:EquivalentProperty ; ottr:values ( _:b0 _:b1 ) ] ; ottr:pattern [ ottr:of o-rdf:Type ; ottr:values ( _:b1 owl:ObjectProperty ) ] ; ottr:pattern [ ottr:of o-rdf:Type ; ottr:values ( _:b0 owl:ObjectProperty ) ] .
🛈 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-rdf: <http://tpl.ottr.xyz/rdf/0.1/>. @prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>. @prefix owl: <http://www.w3.org/2002/07/owl#>.