Template: plmtpl:SubObjectPropertyRestriction

URI: http://rds.posccaesar.org/ontology/plm/tpl/0.1/SubObjectPropertyRestriction

Metadata

🛈 This section contains the data represented by the signature's annotation instances.

rdfs:label

Class object property restriction

ottr:status

ottr:draft

owl:versionInfo

0.1.1

dc:description

This template gathers several OTTR object-property restriction templates into one, so that different kinds of information may be recorded in a single source table: minimal, maximum, and exact cardinality, and universal restriction.

pav:createdOn

2021-09-07T20:47:11Z^^xsd:dateTime

dc:creator

https://orcid.org/0000-0002-7167-732

dc:title

Class object property restriction

Parameters

🛈 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.

Pattern

stOTTR

🛈 stOTTR serialisation of the template without annotation instances.

plmtpl:SubObjectPropertyRestriction[
    ! owl:Class ?subjectClass,
    ! owl:ObjectProperty ?OP,
    !? xsd:nonNegativeInteger ?min,
    !? xsd:nonNegativeInteger ?max,
    !? xsd:nonNegativeInteger ?exact,
    ? owl:Class ?cardinalityRestrictionClass,
    ? owl:Class ?universalRestrictionClass
] :: {
    o-owl-ax:SubObjectAllValuesFrom(?subjectClass, ?OP, ?universalRestrictionClass),
    o-owl-ax:SubObjectExactCardinality(?subjectClass, ?exact, ?OP, ?cardinalityRestrictionClass),
    o-owl-ax:SubObjectMaxCardinality(?subjectClass, ?max, ?OP, ?cardinalityRestrictionClass),
    o-owl-ax:SubObjectMinCardinality(?subjectClass, ?min, ?OP, ?cardinalityRestrictionClass)
} .

🛈 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

plmtpl:SubObjectPropertyRestriction(x:argument1, x:argument2, _:argument3, _:argument4, _:argument5, x:argument6, x:argument7)

Visualisation of expanded RDF graph

🛈 Each resource node is linked to its IRI. Type relationships are not visualised, rather each node contains its type.

Expanded RDF graph

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.

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.

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: 6
• Min. dependency depth: 3
• Max. branching: 4
• Min. branching: 2

Templates used

Vocabulary introduced

Serialisations

plmtpl:SubObjectPropertyRestriction[
    ! owl:Class ?subjectClass,
    ! owl:ObjectProperty ?OP,
    !? xsd:nonNegativeInteger ?min,
    !? xsd:nonNegativeInteger ?max,
    !? xsd:nonNegativeInteger ?exact,
    ? owl:Class ?cardinalityRestrictionClass,
    ? owl:Class ?universalRestrictionClass
]
@@o-docttr:Provenance(
    plmtpl:SubObjectPropertyRestriction,
    "2021-09-07T20:47:11Z"^^xsd:dateTime,
    none,
    (<https://orcid.org/0000-0002-7167-732>),
    none),
@@o-docttr:Signature(
    plmtpl:SubObjectPropertyRestriction,
    "Class object property restriction",
    "This template gathers several OTTR object-property restriction templates into one, so that different kinds of information may be recorded in a single source table: minimal, maximum, and exact cardinality, and universal restriction.",
    none,
    none,
    none,
    none),
@@o-docttr:Version(
    plmtpl:SubObjectPropertyRestriction,
    ottr:draft,
    "0.1.1",
    none,
    none)
 :: {
    o-owl-ax:SubObjectAllValuesFrom(?subjectClass, ?OP, ?universalRestrictionClass),
    o-owl-ax:SubObjectExactCardinality(?subjectClass, ?exact, ?OP, ?cardinalityRestrictionClass),
    o-owl-ax:SubObjectMaxCardinality(?subjectClass, ?max, ?OP, ?cardinalityRestrictionClass),
    o-owl-ax:SubObjectMinCardinality(?subjectClass, ?min, ?OP, ?cardinalityRestrictionClass)
} .

🛈 Prefixes are removed from all listings on this page for readability, but are listed here in RDF Turtle format.

@prefix ex:         <http://example.org/>.
@prefix x:          <http://example.ottr.xyz/argument/>.
@prefix ottr:       <http://ns.ottr.xyz/0.4/>.
@prefix dc:         <http://purl.org/dc/elements/1.1/>.
@prefix dcterms:    <http://purl.org/dc/terms/>.
@prefix pav:        <http://purl.org/pav/>.
@prefix vann:       <http://purl.org/vocab/vann/>.
@prefix void:       <http://rdfs.org/ns/void#>.
@prefix lis:        <http://rds.posccaesar.org/ontology/lis14/rdl/>.
@prefix listpl:     <http://rds.posccaesar.org/ontology/lis14/tpl/0.1/>.
@prefix rdl:        <http://rds.posccaesar.org/ontology/plm/rdl/>.
@prefix plmtpl:     <http://rds.posccaesar.org/ontology/plm/tpl/0.1/>.
@prefix o-owl-ax:   <http://tpl.ottr.xyz/owl/axiom/0.1/>.
@prefix o-owl-dec:  <http://tpl.ottr.xyz/owl/declaration/0.1/>.
@prefix rstr:       <http://tpl.ottr.xyz/owl/restriction/0.1/>.
@prefix o-owl-ut:   <http://tpl.ottr.xyz/owl/util/0.1/>.
@prefix o-docttr:   <http://tpl.ottr.xyz/p/docttr/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 reqtpl:     <http://w3id.org/requirement-ontology/tpl/0.1/>.
@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#>.
@prefix xml:        <http://www.w3.org/XML/1998/namespace>.
@prefix sd:         <http://www.w3.org/ns/sparql-service-description#>.
@prefix foaf:       <http://xmlns.com/foaf/0.1/>.