partOf

IRI: http://draft.ottr.xyz/o2/partOf

Available formats

Specification

@prefix : <http://draft.ottr.xyz/o2/partOf#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix partOf: <http://www.ontologydesignpatterns.org/cp/owl/partof.owl#> .
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .

http://draft.ottr.xyz/o2/partOf( :Whole : 1 , :Part : 1 )
  ::
  ( :Part , rdf:type , owl:Class )
  ( _:b1 , rdf:type , owl:Restriction )
  ( _:b1 , owl:onProperty , partOf:hasPart )
  ( _:b1 , owl:someValuesFrom , :Part )
  ( :Whole , rdf:type , owl:Class )
  ( :Whole , rdfs:subClassOf , _:b1 ) .

Direct dependency templates

Templates instantiated in the body of this template:

This template contains no template instances.

Diagram of pattern

RDF graph visualisation of the expanded body:

Pattern

The pattern the template represents, i.e., the expanded template body.

@prefix :      <http://draft.ottr.xyz/o2/partOf#> .
@prefix partOf: <http://www.ontologydesignpatterns.org/cp/owl/partof.owl#> .
@prefix rdf:   <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix owl:   <http://www.w3.org/2002/07/owl#> .
@prefix rdfs:  <http://www.w3.org/2000/01/rdf-schema#> .

:Part   a       owl:Class .

:Whole  a                owl:Class ;
        rdfs:subClassOf  [ a                   owl:Restriction ;
                           owl:onProperty      partOf:hasPart ;
                           owl:someValuesFrom  :Part
                         ] .

Source

Raw source - http://draft.ottr.xyz/o2/partOf:

@prefix owl:       <http://www.w3.org/2002/07/owl#> .
@prefix rdf:       <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix xsd:       <http://www.w3.org/2001/XMLSchema#> .
@prefix rdfs:      <http://www.w3.org/2000/01/rdf-schema#> .

@prefix dc:        <http://purl.org/dc/terms/> .
@prefix skos:      <http://www.w3.org/2004/02/skos/core#> .
@prefix vann:      <http://purl.org/vocab/vann/> .

@prefix ottr:         <http://ns.ottr.xyz/templates#> .
@prefix :       <http://draft.ottr.xyz/o2/partOf#> .
@prefix partOf: <http://www.ontologydesignpatterns.org/cp/owl/partof.owl#> .

# head:
<http://draft.ottr.xyz/o2/partOf> a owl:Ontology , ottr:Template ;
    owl:imports <http://www.ontologydesignpatterns.org/cp/owl/partof.owl> ;
    ottr:hasParameter :pWhole, :pPart .

:pWhole ottr:index 1; ottr:variable :Whole .
:pPart  ottr:index 2; ottr:variable :Part .

# body:
:Part  a owl:Class .
:Whole a owl:Class ;
    rdfs:subClassOf [ a owl:Restriction ;
	owl:onProperty partOf:hasPart ;
	owl:someValuesFrom :Part ] .