https://cacontology.projectvic.org/grooming#GroomingTemporalValidationShape
Validates temporal consistency in grooming behaviors with gUFO integration.
Instances of cacontology-grooming:GroomingBehavior can have the following properties:
PROPERTY |
MIN COUNT |
MAX COUNT |
TYPE |
|
|---|---|---|---|---|
| cacontology-grooming:GroomingBehavior | ||||
| 0 | 1 |
xsd:string
|
||
| 0 | 1 |
xsd:string
|
||
| 1 | 1 |
xsd:string
|
||
| 1 |
xsd:double
|
|||
| cacontology-grooming:groomingStage | 1 | 1 |
xsd:string
|
|
| 1 |
xsd:string
|
|||
| 1 |
xsd:dateTimeStamp
|
|||
| 1 |
xsd:dateTimeStamp
|
|||
| 0 | 1 |
xsd:dateTime
|
||
| 0 | 1 |
xsd:dateTime
|
||
@prefix cacontology-grooming: <https://cacontology.projectvic.org/grooming#> .
@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#> .
cacontology-grooming:GroomingTemporalValidationShape a sh:NodeShape ;
rdfs:label "Grooming Temporal Validation Shape"@en ;
rdfs:comment "Validates temporal consistency in grooming behaviors with gUFO integration."@en ;
sh:sparql [ sh:message "Start time must be before end time when both are specified (gUFO temporal consistency)"@en ;
sh:prefixes [ sh:declare [ sh:namespace "https://ontology.unifiedcyberontology.org/uco/core/"^^xsd:anyURI ;
sh:prefix "uco-core" ] ] ;
sh:select """
SELECT $this
WHERE {
$this uco-core:startTime ?start ;
uco-core:endTime ?end .
FILTER (?start >= ?end)
}
""" ],
[ sh:message "gUFO temporal boundaries must be consistent with UCO temporal properties"@en ;
sh:prefixes [ sh:declare [ sh:namespace "http://purl.org/nemo/gufo#"^^xsd:anyURI ;
sh:prefix "gufo" ],
[ sh:namespace "https://ontology.unifiedcyberontology.org/uco/core/"^^xsd:anyURI ;
sh:prefix "uco-core" ] ] ;
sh:select """
SELECT $this
WHERE {
$this gufo:hasBeginPointInXSDDateTimeStamp ?gufoBegin ;
uco-core:startTime ?ucoStart .
FILTER (?gufoBegin != ?ucoStart)
}
""" ] ;
sh:targetClass cacontology-grooming:GroomingBehavior .