ListRelation

IRI: http://candidate.ottr.xyz/owl/atom/ListRelation

Available formats

Specification

@prefix : <http://candidate.ottr.xyz/owl/atom/ListRelation#> .
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix t-owl-atom: <http://candidate.ottr.xyz/owl/atom/> .

t-owl-atom:ListRelation( :xRestriction : 1 nonLiteral , :xListOperator : 1 property , <:item1, :item2> : + list )
  ::
  ( <:item2> , rdf:first , :item2 )
  ( <:item2> , rdf:rest , <> )
  ( :xRestriction , :xListOperator , <:item1, :item2> )
  ( <:item1, :item2> , rdf:first , :item1 )
  ( <:item1, :item2> , rdf:rest , <:item2> ) .

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://candidate.ottr.xyz/owl/atom/ListRelation#> .
@prefix rdf:   <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .

:xRestriction  :xListOperator  ( :item1 :item2 ) .

Source

Raw source - http://candidate.ottr.xyz/owl/atom/ListRelation:

@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-atom: <http://candidate.ottr.xyz/owl/atom/> .
@prefix t-owl-rstr: <http://candidate.ottr.xyz/owl/restriction/> .
@prefix t-owl-ax: <http://candidate.ottr.xyz/owl/axiom/> .

@prefix : <http://candidate.ottr.xyz/owl/atom/ListRelation#> .

t-owl-atom:ListRelation a ottr:Template ;
  ottr:hasParameter :pRestriction, :pListOperator, :pList .

:pRestriction   ottr:index 1;  ottr:nonLiteralVariable  :xRestriction .
:pListOperator  ottr:index 2;  ottr:propertyVariable    :xListOperator .
:pList          ottr:index 3;  ottr:listVariable        ( :item1 :item2 ) .

:xRestriction :xListOperator ( :item1 :item2 ) .