observable:StateChangeEffectFacet leaf node


URI

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

Label

StateChangeEffectFacet

Description

A state change effect facet is a grouping of characteristics unique to the effects of actions upon observable objects where a state of the observable object is changed.

Shape Properties

Instances of observable:StateChangeEffectFacet 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:StateChangeEffectFacet
observable:newObject owl:ObjectProperty Specifies the observable object and its properties as they are after the state change effect occurred.
1 1
observable:ObservableObject
observable:ObservableObject
observable:oldObject owl:ObjectProperty Specifies the observable object and its properties as they were before the state change effect occurred.
0 1
observable:ObservableObject
observable:ObservableObject

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:StateChangeEffectFacet a owl:Class,
        sh:NodeShape ;
    rdfs:label "StateChangeEffectFacet"@en ;
    rdfs:comment "A state change effect facet is a grouping of characteristics unique to the effects of actions upon observable objects where a state of the observable object is changed."@en ;
    rdfs:subClassOf core:Facet,
        observable:DefinedEffectFacet ;
    sh:property [ sh:class observable:ObservableObject ;
            sh:maxCount 1 ;
            sh:minCount 1 ;
            sh:nodeKind sh:BlankNodeOrIRI ;
            sh:path observable:newObject ],
        [ sh:class observable:ObservableObject ;
            sh:maxCount 1 ;
            sh:nodeKind sh:BlankNodeOrIRI ;
            sh:path observable:oldObject ] ;
    sh:targetClass observable:StateChangeEffectFacet .