partof

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

Available formats

Specification

@prefix : <http://draft.ottr.xyz/i18/partof#> .
@prefix partOf: <http://www.ontologydesignpatterns.org/cp/owl/partof.owl#> .
@prefix t-owl-axiom: <http://candidate.ottr.xyz/owl/axiom/> .

http://draft.ottr.xyz/i18/partof( :Whole : 1 class , :Part : 1 class )
  ::
  t-owl-axiom:SubObjectSomeValuesFrom( :Whole , partOf:hasPart , :Part ) .

Direct dependency templates

Templates instantiated in the body of this template:

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/i18/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  rdfs:subClassOf  [ a                   owl:Restriction ;
                           owl:onProperty      partOf:hasPart ;
                           owl:someValuesFrom  :Part
                         ] .

:Part   a       owl:Class .

partOf:hasPart  a  owl:ObjectProperty .

Source

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

@prefix :      <http://draft.ottr.xyz/i18/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/i18/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:
[] ottr:templateRef <http://candidate.ottr.xyz/owl/axiom/SubObjectSomeValuesFrom> ; 
   ottr:withValues ( :Whole partOf:hasPart :Part ) .