PREFIX mottr-ver: <http://spec.ottr.xyz/mOTTR/0.1.2/>
PREFIX o-mottr: <http://spec.ottr.xyz/mOTTR/0.1.2/tpl/>
PREFIX owl: <http://www.w3.org/2002/07/owl#>
PREFIX xsd: <http://www.w3.org/2001/XMLSchema#>
PREFIX skos: <http://www.w3.org/2004/02/skos/core#>
PREFIX rdfs: <http://www.w3.org/2000/01/rdf-schema#>
PREFIX o-rottr: <http://spec.ottr.xyz/rOTTR/0.2.3/tpl/>
PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
PREFIX sh: <http://www.w3.org/ns/shacl#>
PREFIX t-pnd: <http://types.ottr.xyz/std/0.1/PunnedTypes#>
PREFIX rottr-ver: <http://spec.ottr.xyz/rOTTR/0.2.3/>
PREFIX ottr: <http://ns.ottr.xyz/0.4/>
PREFIX rottr-doc: <http://spec.ottr.xyz/rOTTR/>

t-pnd:Punned-Datatype-NamedIndividual-AnnotationProperty
        ottr:subTypeOf  owl:AnnotationProperty .

ottr:Bot  ottr:subTypeOf  t-pnd:Punned-Datatype-NamedIndividual-AnnotationProperty .

t-pnd:Punned-Datatype-NamedIndividual-AnnotationProperty
        ottr:subTypeOf  owl:NamedIndividual;
        ottr:subTypeOf  rdfs:Datatype .

ottr:Bot  ottr:subTypeOf  t-pnd:Punned-Class-AnnotationProperty .

t-pnd:Punned-Class-AnnotationProperty
        ottr:subTypeOf  owl:AnnotationProperty;
        ottr:subTypeOf  owl:Class .

t-pnd:Punned-Datatype-NamedIndividual-ObjectProperty
        ottr:subTypeOf  owl:ObjectProperty .

ottr:Bot  ottr:subTypeOf  t-pnd:Punned-Datatype-NamedIndividual-ObjectProperty .

t-pnd:Punned-Datatype-NamedIndividual-ObjectProperty
        ottr:subTypeOf  owl:NamedIndividual;
        ottr:subTypeOf  rdfs:Datatype .

ottr:Bot  ottr:subTypeOf  t-pnd:Punned-NamedIndividual-ObjectProperty .

t-pnd:Punned-NamedIndividual-ObjectProperty
        ottr:subTypeOf  owl:ObjectProperty;
        ottr:subTypeOf  owl:NamedIndividual .

ottr:Bot  ottr:subTypeOf  t-pnd:Punned-Datatype-NamedIndividual .

t-pnd:Punned-Datatype-NamedIndividual
        ottr:subTypeOf  owl:NamedIndividual;
        ottr:subTypeOf  rdfs:Datatype .

ottr:Bot  ottr:subTypeOf  t-pnd:Punned-Class-ObjectProperty .

t-pnd:Punned-Class-ObjectProperty
        ottr:subTypeOf  owl:ObjectProperty;
        ottr:subTypeOf  owl:Class .

ottr:Bot  ottr:subTypeOf  t-pnd:Punned-NamedIndividual-DatatypeProperty .

t-pnd:Punned-NamedIndividual-DatatypeProperty
        ottr:subTypeOf  owl:DatatypeProperty;
        ottr:subTypeOf  owl:NamedIndividual .

t-pnd:Punned-Class-NamedIndividual-DatatypeProperty
        ottr:subTypeOf  owl:DatatypeProperty .

ottr:Bot  ottr:subTypeOf  t-pnd:Punned-Class-NamedIndividual-DatatypeProperty .

t-pnd:Punned-Class-NamedIndividual-DatatypeProperty
        ottr:subTypeOf  owl:NamedIndividual;
        ottr:subTypeOf  owl:Class .

ottr:Bot  ottr:subTypeOf  t-pnd:Punned-NamedIndividual-AnnotationProperty .

t-pnd:Punned-NamedIndividual-AnnotationProperty
        ottr:subTypeOf  owl:AnnotationProperty;
        ottr:subTypeOf  owl:NamedIndividual .

ottr:Bot  ottr:subTypeOf  t-pnd:Punned-Datatype-DatatypeProperty .

t-pnd:Punned-Datatype-DatatypeProperty
        ottr:subTypeOf  owl:DatatypeProperty;
        ottr:subTypeOf  rdfs:Datatype .

ottr:Bot  ottr:subTypeOf  t-pnd:Punned-Datatype-AnnotationProperty .

t-pnd:Punned-Datatype-AnnotationProperty
        ottr:subTypeOf  owl:AnnotationProperty;
        ottr:subTypeOf  rdfs:Datatype .

ottr:Bot  ottr:subTypeOf  t-pnd:Punned-Class-DatatypeProperty .

t-pnd:Punned-Class-DatatypeProperty
        ottr:subTypeOf  owl:DatatypeProperty;
        ottr:subTypeOf  owl:Class .

t-pnd:Punned-Class-NamedIndividual-ObjectProperty
        ottr:subTypeOf  owl:ObjectProperty .

ottr:Bot  ottr:subTypeOf  t-pnd:Punned-Class-NamedIndividual-ObjectProperty .

t-pnd:Punned-Class-NamedIndividual-ObjectProperty
        ottr:subTypeOf  owl:NamedIndividual;
        ottr:subTypeOf  owl:Class .

t-pnd:Punned-Datatype-NamedIndividual-DatatypeProperty
        ottr:subTypeOf  owl:DatatypeProperty .

ottr:Bot  ottr:subTypeOf  t-pnd:Punned-Datatype-NamedIndividual-DatatypeProperty .

t-pnd:Punned-Datatype-NamedIndividual-DatatypeProperty
        ottr:subTypeOf  owl:NamedIndividual;
        ottr:subTypeOf  rdfs:Datatype .

t-pnd:Punned-Class-NamedIndividual-AnnotationProperty
        ottr:subTypeOf  owl:AnnotationProperty .

ottr:Bot  ottr:subTypeOf  t-pnd:Punned-Class-NamedIndividual-AnnotationProperty .

t-pnd:Punned-Class-NamedIndividual-AnnotationProperty
        ottr:subTypeOf  owl:NamedIndividual;
        ottr:subTypeOf  owl:Class .

ottr:Bot  ottr:subTypeOf  t-pnd:Punned-Datatype-ObjectProperty .

t-pnd:Punned-Datatype-ObjectProperty
        ottr:subTypeOf  owl:ObjectProperty;
        ottr:subTypeOf  rdfs:Datatype .

rottr-doc:puntypes.owl.ttl
        rdf:type          owl:Ontology;
        owl:versionIRI    rottr-ver:puntypes.owl.ttl;
        owl:versionInfo   "0.2.3";
        owl:priorVersion  <http://spec.ottr.xyz/rOTTR/0.2.2/puntypes.owl.ttl>;
        rdfs:label        "OTTR pun types";
        owl:imports       rottr-ver:types.owl.ttl .