@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#> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .

qudt:Rule a rdfs:Class,
        owl:Class,
        sh:NodeShape ;
    rdfs:label "Rule" ;
    rdfs:isDefinedBy <http://qudt.org/3.2.1/schema/qudt>,
        <http://qudt.org/3.2.1/schema/shacl/qudt> ;
    rdfs:subClassOf [ a owl:Restriction ;
            owl:allValuesFrom qudt:RuleType ;
            owl:onProperty qudt:ruleType ],
        [ a owl:Restriction ;
            owl:minCardinality "0"^^xsd:nonNegativeInteger ;
            owl:onProperty qudt:rationale ],
        [ a owl:Restriction ;
            owl:allValuesFrom rdf:HTML ;
            owl:onProperty qudt:rationale ],
        qudt:Concept,
        qudt:Verifiable ;
    sh:property qudt:Rule-example,
        qudt:Rule-rationale,
        qudt:Rule-ruleType .