ScopedDomainRange

IRI: http://candidate.ottr.xyz/owl/macro/ScopedDomainRange

Available formats

Specification

@prefix : <http://candidate.ottr.xyz/owl/macro/ScopedDomainRange#> .
@prefix t-owl-macro: <http://candidate.ottr.xyz/owl/macro/> .

t-owl-macro:ScopedDomainRange( :xProperty : 1 objectProperty , :xDomain : 1 class , :xRange : 1 nonLiteral )
  ::
  t-owl-macro:ScopedDomain( :xProperty , :xDomain , :xRange )
  t-owl-macro:ScopedRange( :xProperty , :xDomain , :xRange ) .

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://candidate.ottr.xyz/owl/macro/ScopedDomainRange#> .
@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#> .

[ a                   owl:Restriction ;
  rdfs:subClassOf     :xDomain ;
  owl:onProperty      :xProperty ;
  owl:someValuesFrom  :xRange
] .

:xDomain  rdfs:subClassOf  [ a                  owl:Restriction ;
                             owl:allValuesFrom  :xRange ;
                             owl:onProperty     :xProperty
                           ] .

Source

Raw source - http://candidate.ottr.xyz/owl/macro/ScopedDomainRange:

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

@prefix :     <http://candidate.ottr.xyz/owl/macro/ScopedDomainRange#> .

t-owl-macro:ScopedDomainRange  a ottr:Template ;
  ottr:hasParameter :pProperty, :pDomain, :pRange .

:pProperty    ottr:index 1;  ottr:objectPropertyVariable  :xProperty .
:pDomain      ottr:index 2;  ottr:classVariable           :xDomain .
:pRange       ottr:index 3;  ottr:nonLiteralVariable      :xRange .

[ ] ottr:templateRef t-owl-macro:ScopedDomain ;
  ottr:withValues ( :xProperty :xDomain :xRange ) .

[ ] ottr:templateRef t-owl-macro:ScopedRange ;
  ottr:withValues ( :xProperty :xDomain :xRange ) .