:hasAccountStorage leaf node


Label

has Account Storage

Description

Relates an account to the Merkle Patricia tree that encodes its storage contents at a certain account state. This property is Functional because an account state can have only one instance of account storage and inverse functional because an account storage can have only one associated account state.

Usage

DOMAINPROPERTYRANGE
owl:Thing (inferred) :hasAccountStorage :AccountStorage

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

:hasAccountStorage a owl:FunctionalProperty,
        owl:InverseFunctionalProperty,
        owl:ObjectProperty ;
    rdfs:label "has Account Storage"@en ;
    :suggestedStringRepresentation "hasAccountStorage" ;
    rdfs:comment "Relates an account to the Merkle Patricia tree that encodes its storage contents at a certain account state. This property is Functional because an account state can have only one instance of account storage and inverse functional because an account storage can have only one associated account state."@en ;
    rdfs:range :AccountStorage ;
    rdfs:subPropertyOf :AccountObjectProperty ;
    ns:term_status "unstable" .