:hasAccountStorage leaf node


URI

http://ethon.consensys.net/hasAccountStorage

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 dc: <http://purl.org/dc/elements/1.1/> .
@prefix ns: <http://www.w3.org/2003/06/sw-vocab-status/ns#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix sh: <http://www.w3.org/ns/shacl#> .
@prefix skos: <http://www.w3.org/2004/02/skos/core#> .
@prefix v0: <http://ethon.consensys.net/v0/> .
@prefix vann: <http://purl.org/vocab/vann/> .
@prefix void: <http://rdfs.org/ns/void#> .
@prefix xml: <http://www.w3.org/XML/1998/namespace> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .

: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" .