https://ontology.unifiedcyberontology.org/uco/observable/MutexFacet
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)]
Instances of observable:MutexFacet can have the following properties:
| PROPERTY | TYPE | DESCRIPTION | RANGE |
|---|---|---|---|
| From class owl:Thing | |||
| types:threadNextItem | owl:ObjectProperty | The link to a next item in a thread. | owl:Thing |
| types:threadPreviousItem | owl:ObjectProperty | A direct link to a previous item in a thread. | owl:Thing |
By the associated SHACL property shapes, instances of observable:MutexFacet can have the following properties:
PROPERTY |
PROPERTY TYPE |
DESCRIPTION |
MIN COUNT |
MAX COUNT |
LOCAL RANGE |
GLOBAL RANGE |
|
|---|---|---|---|---|---|---|---|
| observable:MutexFacet | |||||||
| observable:isNamed | owl:DatatypeProperty |
|
1 |
xsd:boolean
|
xsd:boolean
|
||
| observable:mutexName | owl:DatatypeProperty |
Specifies the name identifier for a specific instance of a mechanism that enforces limits on access to a resource when there are many threads of execution .
|
1 |
xsd:string
|
xsd:string
|
||
@prefix core: <https://ontology.unifiedcyberontology.org/uco/core/> .
@prefix observable: <https://ontology.unifiedcyberontology.org/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:nodeKind sh:Literal ;
sh:path observable:isNamed ],
[ sh:datatype xsd:string ;
sh:maxCount 1 ;
sh:nodeKind sh:Literal ;
sh:path observable:mutexName ] ;
sh:targetClass observable:MutexFacet .