Whole version in FL (→ in a structured way, for
understandability purposes, and
embedded in HTML for the explanations).
In RDFS+OWL/Turtle (i.e, in RDFS+OWL linearized with Turtle,
by analogy with “RDF/XML”,
an expression that the W3C uses to refer to RDF linearized with XML),
the part of Sub that can be represented via OWL/Turtle
(the content is embedded in HTML within <pre>...</pre> tags or
<xmp>...</xmp> tags, since some browsers do not display Turtle files).
SPARQL update operations further defining some of the types in the Turtle file
(the content is embedded in HTML within <pre>...</pre> tags or
<xmp>...</xmp> tags, since some browsers do not display SPARQL files).