List-4

IRI: http://draft.ottr.xyz/chess/List-4

Available formats

Specification

@prefix : <http://draft.ottr.xyz/chess/List-4#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix t-owl-macro: <http://candidate.ottr.xyz/owl/macro/> .

http://draft.ottr.xyz/chess/List-4( :xListItem : 1 class , :xNextItem : 1 objectProperty , :xFirstItem : 1 objectProperty , :xLastItem : 1 objectProperty )
  ::
  t-owl-macro:ScopedDomainRange( :xNextItem , :xListItem , :xListItem )
  ( :xNextItem , rdf:type , owl:ObjectProperty )
  ( :xNextItem , rdf:type , owl:FunctionalProperty )
  ( :xNextItem , rdf:type , owl:IrreflexiveProperty )
  ( :xListItem , rdf:type , owl:Class )
  ( :xLastItem , rdfs:subPropertyOf , :xNextItem )
  ( :xFirstItem , rdfs:subPropertyOf , :xNextItem ) .

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/chess/List-4#> .
@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#> .

:xNextItem  a   owl:ObjectProperty , owl:FunctionalProperty , owl:IrreflexiveProperty .

:xListItem  a            owl:Class ;
        rdfs:subClassOf  [ a                  owl:Restriction ;
                           owl:allValuesFrom  :xListItem ;
                           owl:onProperty     :xNextItem
                         ] .

:xLastItem  rdfs:subPropertyOf  :xNextItem .

[ a                   owl:Restriction ;
  rdfs:subClassOf     :xListItem ;
  owl:onProperty      :xNextItem ;
  owl:someValuesFrom  :xListItem
] .

:xFirstItem  rdfs:subPropertyOf  :xNextItem .

Source

Raw source - http://draft.ottr.xyz/chess/List-4:

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

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

@prefix t-owl-axiom:     <http://candidate.ottr.xyz/owl/axiom/> .
@prefix t-owl-macro:     <http://candidate.ottr.xyz/owl/macro/> .
@prefix t-odp-content:   <http://candidate.ottr.xyz/odp/content/> .

@prefix :     <http://draft.ottr.xyz/chess/List-4#> .

<http://draft.ottr.xyz/chess/List-4>  a ottr:Template ;
  ottr:hasParameter :pListItem, :pNextItem, :pFirstItem, :pLastItem .

:pListItem    ottr:index 1;  ottr:classVariable           :xListItem .
:pNextItem    ottr:index 2;  ottr:objectPropertyVariable  :xNextItem .
:pFirstItem   ottr:index 3;  ottr:objectPropertyVariable  :xFirstItem .
:pLastItem    ottr:index 4;  ottr:objectPropertyVariable  :xLastItem .

:xListItem a owl:Class .

:xNextItem a owl:ObjectProperty , owl:FunctionalProperty ,
  owl:IrreflexiveProperty . 

[] ottr:templateRef t-owl-macro:ScopedDomainRange ;
   ottr:withValues ( :xNextItem :xListItem :xListItem ) .

:xFirstItem rdfs:subPropertyOf :xNextItem .
:xLastItem  rdfs:subPropertyOf :xNextItem .