tpl-library.owl.axiom.0.1.DifferentIndividuals.html Maven / Gradle / Ivy
Show all versions of lutra-api Show documentation
Template: ax:DifferentIndividuals Template: ax:DifferentIndividuals
URI: http://tpl.ottr.xyz/owl/axiom/0.1/DifferentIndividuals
stOTTR serialisation
o-owl-ax:DifferentIndividuals[NEList<ottr:IRI> ?blank913] :: {
o-owl-ut:TypedListRelation(_:blank914, owl:AllDifferent, owl:members, ?blank913)
} .Pattern
🛈 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
stOTTRo-owl-ax:DifferentIndividuals((x:argument1-1, x:argument1-2, x:argument1-3))
RDF/wOTTR
[ ottr:of ax:DifferentIndividuals ;
ottr:values ( ( x:argument1-1 x:argument1-2 x:argument1-3 ) )
] .
Visualisation of expanded RDF graph
🛈 Each resource node is linked to its IRI.
Expanded RDF graph
[ a owl:AllDifferent ;
owl:members ( x:argument1-1 x:argument1-2 x:argument1-3 )
] .
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.
o-owl-ax:DifferentIndividuals((x:argument1-1, x:argument1-2, x:argument1-3))
o-owl-ut:TypedListRelation(_:blank1397, owl:AllDifferent, owl:members, (x:argument1-1, x:argument1-2, x:argument1-3))
ottr:Triple(_:blank1397, rdf:type, owl:AllDifferent)o-owl-ut:ListRelation(_:blank1397, owl:members, (x:argument1-1, x:argument1-2, x:argument1-3))
ottr:Triple(_:blank1397, owl:members, (x:argument1-1, x:argument1-2, x:argument1-3))Dependencies
Dependency graph
🛈 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.
List of dependencies
🛈 The number in parenthesis is the number of instances of each template.
ax:DifferentIndividuals
o-owl-ut:TypedListRelation (1)
ottr:Triple (1)o-owl-ut:ListRelation (1)
ottr:Triple (1)Depending templates
🛈 The templates in this library that depend on this template.
None found.
Metrics
🛈 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.
- Max. dependency depth: 3
- Min. dependency depth: 2
- Max. branching: 2
- Min. branching: 1
Templates used
Direct dependencies- Number of instances: 1
- Templates used: (1 templates)
Complete expansion- Number of instances: 5
- Templates used: (4 templates)
Vocabulary introduced
Direct dependencies- Namespaces introduced: (1)
- owl:
http://www.w3.org/2002/07/owl#
Complete expansion- Namespaces introduced: (2)
- rdf:
http://www.w3.org/1999/02/22-rdf-syntax-ns# - owl:
http://www.w3.org/2002/07/owl#
Serialisations
stOTTR
o-owl-ax:DifferentIndividuals[NEList<ottr:IRI> ?blank913] :: {
o-owl-ut:TypedListRelation(_:blank914, owl:AllDifferent, owl:members, ?blank913)
} .RDF/wOTTR
o-owl-ax:DifferentIndividuals
a ottr:Template ;
ottr:parameters ( [ ottr:type ( ottr:NEList ottr:IRI ) ;
ottr:variable _:b0
]
) ;
ottr:pattern [ ottr:of o-owl-ut:TypedListRelation ;
ottr:values ( []
owl:AllDifferent owl:members
_:b0
)
] .Prefixes
🛈 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 x: <http://example.ottr.xyz/argument/>.
@prefix ottr: <http://ns.ottr.xyz/0.4/>.
@prefix pav: <http://purl.org/pav/>.
@prefix ax: <http://tpl.ottr.xyz/owl/axiom/0.1/>.
@prefix o-owl-ax: <http://tpl.ottr.xyz/owl/axiom/0.1/>.
@prefix o-owl-ma: <http://tpl.ottr.xyz/owl/macro/0.1/>.
@prefix rstr: <http://tpl.ottr.xyz/owl/restriction/0.1/>.
@prefix o-owl-re: <http://tpl.ottr.xyz/owl/restriction/0.1/>.
@prefix o-owl-ut: <http://tpl.ottr.xyz/owl/util/0.1/>.
@prefix fmea-tmp: <http://tpl.ottr.xyz/p/asset-maintenance/fmea/0.2/>.
@prefix tmp1: <http://tpl.ottr.xyz/p/asset-maintenance/general/0.1/>.
@prefix tmp2: <http://tpl.ottr.xyz/p/asset-maintenance/general/0.2/>.
@prefix tmp: <http://tpl.ottr.xyz/p/asset-maintenance/general/0.2/>.
@prefix inter: <http://tpl.ottr.xyz/p/asset-maintenance/interface/0.2/>.
@prefix iso-tmp: <http://tpl.ottr.xyz/p/asset-maintenance/iso14224/0.2/>.
@prefix macro: <http://tpl.ottr.xyz/p/asset-maintenance/owl/macro/0.1/>.
@prefix ont: <http://tpl.ottr.xyz/p/asset-maintenance/owl/ontology/0.1/>.
@prefix wo-tmp: <http://tpl.ottr.xyz/p/asset-maintenance/work-orders/0.1/>.
@prefix o-pizza: <http://tpl.ottr.xyz/pizza/0.1/>.
@prefix o-rdf: <http://tpl.ottr.xyz/rdf/0.1/>.
@prefix o-rdfs: <http://tpl.ottr.xyz/rdfs/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 rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix xsd: <http://www.w3.org/2001/XMLSchema#>.
@prefix owl: <http://www.w3.org/2002/07/owl#>.
@prefix skos: <http://www.w3.org/2004/02/skos/core#>.