Template: o-owl-ma:ClassPartition

URI: http://tpl.ottr.xyz/owl/macro/0.1/ClassPartition

Metadata

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

ottr:status

ottr:draft

owl:versionInfo

0.1.1

dc:description

A logical partitioning of OWL classes.

pav:createdOn

2020-09-02T00:00:00Z^^xsd:dateTime

dc:creator

http://folk.uio.no/martige/foaf.rdf#me

rdfs:seeAlso

http://ontologydesignpatterns.org/wiki/Submissions:Partition

o-owl-ma:ClassPartition
        rdfs:seeAlso     <http://ontologydesignpatterns.org/wiki/Submissions:Partition> ;
        ottr:status      ottr:draft ;
        dc:creator       <http://folk.uio.no/martige/foaf.rdf#me> ;
        dc:description   "A logical partitioning of OWL classes." ;
        pav:createdOn    "2020-09-02T00:00:00Z"^^<http://www.w3.org/2001/XMLSchema#dateTime> ;
        owl:versionInfo  "0.1.1" .

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.

o-owl-ma:ClassPartition[
    owl:Class ?blank1202,
    NEList<owl:Class> ?blank1203
] :: {
    o-owl-ax:DisjointClasses(?blank1203),
    o-owl-ax:EquivObjectUnionOf(?blank1202, ?blank1203)
} .

🛈 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

o-owl-ma:ClassPartition(x:argument1, (x:argument2-1, x:argument2-2))

[ ottr:of      o-owl-ma:ClassPartition ;
  ottr:values  ( x:argument1 ( x:argument2-1 x:argument2-2 ) )
] .

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

x:argument1  a               owl:Class ;
        owl:equivalentClass  [ a            owl:Class ;
                               owl:unionOf  ( x:argument2-1 x:argument2-2 )
                             ] .

[ a            owl:AllDisjointClasses ;
  owl:members  ( x:argument2-1 x:argument2-2 )
] .

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

Templates used

Vocabulary introduced

Serialisations

o-owl-ma:ClassPartition[
    owl:Class ?blank1202,
    NEList<owl:Class> ?blank1203
]
@@o-docttr:Provenance(
    o-owl-ma:ClassPartition,
    "2020-09-02T00:00:00Z"^^xsd:dateTime,
    none,
    (<http://folk.uio.no/martige/foaf.rdf#me>),
    none),
@@o-docttr:Signature(
    o-owl-ma:ClassPartition,
    none,
    "A logical partitioning of OWL classes.",
    none,
    none,
    (<http://ontologydesignpatterns.org/wiki/Submissions:Partition>),
    none),
@@o-docttr:Version(
    o-owl-ma:ClassPartition,
    ottr:draft,
    "0.1.1",
    none,
    none)
 :: {
    o-owl-ax:DisjointClasses(?blank1203),
    o-owl-ax:EquivObjectUnionOf(?blank1202, ?blank1203)
} .

o-owl-ma:ClassPartition
        a                ottr:Template ;
        ottr:annotation  [ ottr:of      o-docttr:Signature ;
                           ottr:values  ( o-owl-ma:ClassPartition ottr:none "A logical partitioning of OWL classes." ottr:none ottr:none ( <http://ontologydesignpatterns.org/wiki/Submissions:Partition> ) ottr:none )
                         ] ;
        ottr:annotation  [ ottr:of      o-docttr:Version ;
                           ottr:values  ( o-owl-ma:ClassPartition ottr:draft "0.1.1" ottr:none ottr:none )
                         ] ;
        ottr:annotation  [ ottr:of      o-docttr:Provenance ;
                           ottr:values  ( o-owl-ma:ClassPartition "2020-09-02T00:00:00Z"^^<http://www.w3.org/2001/XMLSchema#dateTime> ottr:none ( <http://folk.uio.no/martige/foaf.rdf#me> ) ottr:none )
                         ] ;
        ottr:parameters  ( [ ottr:type      owl:Class ;
                             ottr:variable  _:b0
                           ]
                           [ ottr:type      ( ottr:NEList owl:Class ) ;
                             ottr:variable  _:b1
                           ]
                         ) ;
        ottr:pattern     [ ottr:of      o-owl-ax:DisjointClasses ;
                           ottr:values  ( _:b1
                                        )
                         ] ;
        ottr:pattern     [ ottr:of      o-owl-ax:EquivObjectUnionOf ;
                           ottr:values  ( _:b0
                                          _:b1
                                        )
                         ] .

🛈 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 dc:         <http://purl.org/dc/elements/1.1/>.
@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-dec:  <http://tpl.ottr.xyz/owl/declaration/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-docttr:   <http://tpl.ottr.xyz/p/docttr/0.1/>.
@prefix o-pizza:    <http://tpl.ottr.xyz/p/pizza/0.2/>.
@prefix o-rdf:      <http://tpl.ottr.xyz/rdf/0.1/>.
@prefix o-rdfs:     <http://tpl.ottr.xyz/rdfs/0.2/>.
@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#>.