:creates leaf node


Label

creates

Description

Relates a create message to the contract account it creates. Note: this is a subproperty of the to property.

Usage

DOMAINPROPERTYRANGE
Blank node (see implementation) :creates :ContractAccount

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 rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .

:creates a owl:ObjectProperty ;
    rdfs:label "creates"@en ;
    :suggestedStringRepresentation "creates" ;
    rdfs:comment "Relates a create message to the contract account it creates. Note: this is a subproperty of the to property."@en ;
    rdfs:domain [ a owl:Class ;
            owl:unionOf [ a rdf:List ;
                    rdf:first :CreateContractMsg ;
                    rdf:rest [ a rdf:List ;
                            rdf:first :CreateTx ;
                            rdf:rest () ] ] ] ;
    rdfs:range :ContractAccount ;
    rdfs:subPropertyOf :to ;
    ns:term_status "unstable" .