Partition

IRI: http://draft.ottr.xyz/pizza/Partition

Available formats

Specification

@prefix : <http://draft.ottr.xyz/pizza/Partition#> .
@prefix t-owl-axiom: <http://candidate.ottr.xyz/owl/axiom/> .

http://draft.ottr.xyz/pizza/Partition( :superclass : 1 , <:subclass> : + )
  ::
  t-owl-axiom:DisjointClasses( <:subclass> )
  X  | t-owl-axiom:SubClassOf( <:subclass> , :superclass ) .

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/pizza/Partition#> .
@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#> .

:subclass  rdfs:subClassOf  :superclass .

[ a            owl:AllDisjointClasses ;
  owl:members  ( :subclass )
] .

Source

Raw source - http://draft.ottr.xyz/pizza/Partition:

@prefix owl:       <http://www.w3.org/2002/07/owl#> .
@prefix rdf:       <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@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 :          <http://draft.ottr.xyz/pizza/Partition#> .

<http://draft.ottr.xyz/pizza/Partition> a ottr:Template ;
  ottr:withVariables ( :superclass ( :subclass ) )  .

[] ottr:templateRef <http://candidate.ottr.xyz/owl/axiom/SubClassOf> ;
   ottr:hasArgument
	[ ottr:index 1; ottr:eachValue ( :subclass ) ] ,
	[ ottr:index 2; ottr:value :superclass ] .

[] ottr:templateRef <http://candidate.ottr.xyz/owl/axiom/DisjointClasses> ;
   ottr:hasArgument
	[ ottr:index 1; ottr:value ( :subclass ) ] .