@prefix dcterms: <http://purl.org/dc/terms/> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix s4dmgt: <https://saref.etsi.org/saref4dmgt/> .
@prefix skos: <http://www.w3.org/2004/02/skos/core#> .

s4dmgt:DeviceModuleActivated a s4dmgt:DeviceModuleState .

s4dmgt:DeviceModuleDeactivated a s4dmgt:DeviceModuleState .

<https://saref.etsi.org/saref4dmgt/v1.1.1/> dcterms:references s4dmgt:DeviceModuleState ;
    dcterms:subject s4dmgt:DeviceModuleState .

s4dmgt:DeviceModuleState a owl:Class ;
    rdfs:label "Device Module State"@en ;
    dcterms:isReferencedBy <https://saref.etsi.org/saref4dmgt/v1.1.1/> ;
    rdfs:comment "State of a DeviceModule"@en ;
    rdfs:isDefinedBy <https://saref.etsi.org/saref4dmgt/v1.1.1/> ;
    rdfs:seeAlso <https://saref.etsi.org/saref4dmgt/v1.1.1/> ;
    rdfs:subClassOf s4dmgt:DeviceManagementState ;
    owl:disjointWith s4dmgt:DevicePackageState ;
    skos:hiddenLabel "DeviceModuleState" .