core:Assertion


URI

https://ontology.unifiedcyberontology.org/uco/core/Assertion

Label

Assertion

Description

An assertion is a statement declared to be true.

Superclasses (2)

Target Classes (1)

Shape Properties

Instances of core:Assertion can have the following properties:

PROPERTY

MIN COUNT

MAX COUNT

TYPE

core:Assertion
core:statement xsd:string
core:UcoObject
core:createdBy 1 core:IdentityAbstraction
core:description xsd:string
core:externalReference 0 core:ExternalReference
core:hasFacet core:Facet
core:modifiedTime xsd:dateTime
core:name 1 xsd:string
core:objectCreatedTime 1 xsd:dateTime
core:objectMarking core:MarkingDefinitionAbstraction
core:specVersion 1 xsd:string
core:tag xsd:string

Implementation

@prefix core: <https://ontology.unifiedcyberontology.org/uco/core/> .
@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#> .

core:Assertion a owl:Class,
        sh:NodeShape ;
    rdfs:label "Assertion"@en ;
    rdfs:comment "An assertion is a statement declared to be true."@en ;
    rdfs:subClassOf core:UcoObject ;
    sh:property [ sh:datatype xsd:string ;
            sh:nodeKind sh:Literal ;
            sh:path core:statement ] ;
    sh:targetClass core:Assertion .