1. Home
  2. Entities
  3. Properties
  4. http://ethon.consensys.net/nextState

:nextState

URI

http://ethon.consensys.net/nextState

Label

next State

Description

Relates a state to the following state. In EthOn the state transition system has no branches.

Inherits from

  • :StateObjectProperty
  • :EthOnObjectProperty

    • Sub Property

  • :nextMsgState

    • Usage

    DOMAINPROPERTYRANGE
    :WorldState :nextState :WorldState

    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#> .

:nextState a owl:ObjectProperty ;
    rdfs:label "next State"@en ;
    :suggestedStringRepresentation "nextState" ;
    rdfs:comment "Relates a state to the following state. In EthOn the state transition system has no branches."@en ;
    rdfs:domain :WorldState ;
    rdfs:range :WorldState ;
    rdfs:subPropertyOf :StateObjectProperty ;
    ns:term_status "unstable" .