:hasTransition leaf node


Label

has Transition

Description

Relates a state to a transition (i.e. a message) that creates a new state.

Usage

DOMAINPROPERTYRANGE
owl:Thing (inferred) :hasTransition owl:Thing (inferred)

Implementation

@prefix : <http://ethon.consensys.net/> .
@prefix ns: <http://www.w3.org/2003/06/sw-vocab-status/ns#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .

:hasTransition a owl:ObjectProperty ;
    rdfs:label "has Transition"@en ;
    :suggestedStringRepresentation "hasTransition" ;
    rdfs:comment "Relates a state to a transition (i.e. a message) that creates a new state."@en ;
    rdfs:subPropertyOf :StateObjectProperty ;
    ns:term_status "unstable" .