partof

IRI: http://draft.ottr.xyz/i17/partof

Available formats

Specification

@prefix : <http://draft.ottr.xyz/i17/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/i17/partof( :Whole : 1 class , :Part : 1 class )
  ::
  ( :Whole , rdf:type , owl:Class )
  ( :Whole , rdfs:subClassOf , _:b1 )
  ( :Part , rdf:type , owl:Class )
  ( _:b1 , rdf:type , owl:Restriction )
  ( _:b1 , owl:onProperty , partOf:hasPart )
  ( _:b1 , owl:someValuesFrom , :Part ) .

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/i17/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#> .

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

:Part   a       owl:Class .

Source

Raw source - http://draft.ottr.xyz/i17/partof:

@prefix :      <http://draft.ottr.xyz/i17/partof#> .

@prefix ottr:   <http://ns.ottr.xyz/templates#> .

@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 xml:   <http://www.w3.org/XML/1998/namespace> .
@prefix xsd:   <http://www.w3.org/2001/XMLSchema#> .
@prefix rdfs:  <http://www.w3.org/2000/01/rdf-schema#> .

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

# head:
:pWhole    ottr:index 1; ottr:classVariable       :Whole .
:pPart     ottr:index 2; ottr:classVariable       :Part .

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