observable:MutexFacet leaf node

core:Facet
- observable:MutexFacet

URI

https://unifiedcyberontology.org/ontology/uco/observable#MutexFacet

Label

MutexFacet

Description

A mutex facet is a grouping of characteristics unique to a mechanism that enforces limits on access to a resource when there are many threads of execution. A mutex is designed to enforce a mutual exclusion concurrency control policy, and with a variety of possible methods there exists multiple unique implementations for different applications. [based on https://en.wikipedia.org/wiki/Lock_(computer_science)]

Superclasses (1)

core:Facet

Shapes (1)

observable:MutexFacet

Shape Properties

Instances of observable:MutexFacet can have the following properties:

PROPERTY	PROPERTY TYPE	DESCRIPTION	MIN COUNT	MAX COUNT	VALUE CONSTRAINTS	LOCAL TYPE (type defined for property on this class)	GLOBAL RANGE (type range for property globally)
observable:MutexFacet
observable:isNamed	owl:DatatypeProperty		1	1		xsd:boolean	xsd:boolean

Implementation

@prefix core: <https://unifiedcyberontology.org/ontology/uco/core#> .
@prefix observable: <https://unifiedcyberontology.org/ontology/uco/observable#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@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#> .

observable:MutexFacet a owl:Class,
        sh:NodeShape ;
    rdfs:label "MutexFacet"@en ;
    rdfs:comment "A mutex facet is a grouping of characteristics unique to a mechanism that enforces limits on access to a resource when there are many threads of execution. A mutex is designed to enforce a mutual exclusion concurrency control policy, and with a variety of possible methods there exists multiple unique implementations for different applications. [based on https://en.wikipedia.org/wiki/Lock_(computer_science)]"@en ;
    rdfs:subClassOf core:Facet ;
    sh:property [ sh:datatype xsd:boolean ;
            sh:maxCount 1 ;
            sh:minCount 1 ;
            sh:nodeKind sh:Literal ;
            sh:path observable:isNamed ] ;
    sh:targetClass observable:MutexFacet .