@prefix datatype: <http://qudt.org/vocab/datatype/> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix qudt: <http://qudt.org/schema/qudt/> .
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix sh: <http://www.w3.org/ns/shacl#> .

qudt:BooleanEncodingType a rdfs:Class,
        owl:Class,
        sh:NodeShape ;
    rdfs:label "Boolean Encoding Type" ;
    rdfs:isDefinedBy <http://qudt.org/3.2.1/schema/datatype>,
        <http://qudt.org/3.2.1/schema/shacl/datatype> ;
    rdfs:subClassOf qudt:Encoding ;
    owl:oneOf [ rdf:first datatype:BooleanEncoding ;
            rdf:rest [ rdf:first datatype:BitEncoding ;
                    rdf:rest [ ] ] ] ;
    sh:property [ a sh:PropertyShape ;
            rdfs:isDefinedBy <http://qudt.org/3.2.1/schema/shacl/datatype> ;
            sh:in [ rdf:first datatype:BooleanEncoding ;
                    rdf:rest [ ] ] ;
            sh:path [ sh:inversePath rdf:type ] ] .