:Tx


URI

http://ethon.consensys.net/Tx

Label

Transaction

Description

Transactions are messages between two accounts that may transfer Ether and may contain a payload. Transactions always originate from an external account that is controlled by an external actor by means of a private key. The execution of a transaction creates a 'transaction receipt'.

Usage

Instances of :Tx can have the following properties:

PROPERTYTYPEDESCRIPTIONRANGE
From class :Tx
:cumulativeGasUsed owl:DatatypeProperty The cumulative gas used in the block containing the transaction as of immediately after the transaction has happened. xsd:integer
:logIndex owl:DatatypeProperty Relates a log entry to its index in the transaction reciept of a transaction. The log index defines the order of the log entries of a transaction. xsd:integer
:msgCallDepth owl:DatatypeProperty A scalar value equal to the depth of the contract message. A contract message is represented as a call in the Ethereum EVM. This value represents the number of CALL or CREATE opcodes being executed at the time of the message execution. xsd:integer
:txGasPrice owl:DatatypeProperty A scalar value equal to the number of Wei to be paid per unit of gas for all computation costs incurred as a result of the execution of this transaction. xsd:integer
:txGasUsed owl:DatatypeProperty The total amount of gas that was used for processing this Tx and all contract messages resulting from it. It is the sum of all msgGasUsed by this Tx and resulting contract messages. xsd:integer
:txHash owl:DatatypeProperty The Keccak 256-bit hash of the transaction xsd:hexBinary
:txIndex owl:DatatypeProperty The position of a transaction in a block. xsd:integer
:txLogsBloom owl:DatatypeProperty Relates a transaction to the Bloom filter of its log entries. xsd:hexBinary
:txNonce owl:DatatypeProperty A scalar value equal to the number of transactions sent by the sender. xsd:integer
:txR owl:DatatypeProperty The values txV, txR and txS correspond to the signature of the transaction and are used to determine the sender of the transaction. The txR value is a Byte array of length 32. xsd:hexBinary
:txS owl:DatatypeProperty The values txV, txR and txS correspond to the signature of the transaction and are used to determine the sender of the transaction. The value txS is a byte array of length 32. xsd:hexBinary
:txV owl:DatatypeProperty The values txV, txR and txS correspond to the signature of the transaction and are used to determine the sender of the transaction. The value txV specifies the sign and finiteness of the curve point. Since EIP-155 it is used to realize a replay attack protection. It is calculated in the following way: txV = CHAIN_ID * 2 + 36 xsd:byte
:createsPostTxState owl:FunctionalProperty Relates a transaction to the global state of the system after the transaction has been executed. :WorldState
:hasLogEntry owl:ObjectProperty Relates a transaction to a log entry it creates. :LogEntry
:hasReceipt owl:ObjectProperty Relates a transaction to its receipt. :TxReceipt
From class :Msg
:msgError owl:DatatypeProperty A boolean value indicating whether the message validation resulted in an error. A "true" value indicates an error. xsd:boolean
:msgErrorString owl:DatatypeProperty A string informally describing an error that occured during the validation of a message. Only exists if msgError is true. xsd:string
:msgGasLimit owl:DatatypeProperty A scalar value equal to the maximum amount of gas that should be used in executing this transaction. This is paid up-front, before any computation is done and may not be increased later. If used with contract messages it represents the fraction of the original transaction gas limit still available for execution of the contract message. After all resulting computations are done, excess gas is returned to the sender of the original transaction. xsd:integer
:msgGasUsed owl:DatatypeProperty The amount of gas that was used for processing a single message, regardless of which type of message it may be. xsd:integer
:msgPayload owl:DatatypeProperty An unlimited size byte array specifying the data payload of the message. xsd:hexBinary
:value owl:DatatypeProperty A scalar value equal to the number of Wei to be transferred to the Message call's recipient. In the case of contract creation it is the initial balance of the contract account, paid by the sending account. xsd:integer
:to owl:ObjectProperty Relates a message with the account it is sent to. :Msg
From class :MessageConcept
:MessageDataProperty owl:DatatypeProperty Groups all EthOn message data properties. owl:Thing
From class :EthOnConcept
:simpleDefinition owl:AnnotationProperty This property relates an EthOn concept to a definition in Simple English, intended especially for non-technical users. owl:Thing
:suggestedStringRepresentation owl:AnnotationProperty This property relates an EthOn concept with a suggested string representation. It can be used to give the term a name, e.g. in program code. owl:Thing
:conformsTo owl:ObjectProperty Relates an Ethereum concept to the Ethereum protocol variant it conforms to. owl:Thing
From class :StateTransition
:createsState owl:ObjectProperty Relates a transition to the state it creates. :State
From class :StateConcept
:StateDataProperty owl:DatatypeProperty owl:Thing
From class owl:Thing
:AccountObjectProperty owl:ObjectProperty Groups all EthOn account object properties owl:Thing
:BlockObjectProperty owl:ObjectProperty Groups all EthOn block object properties owl:Thing
:DASE_RULE owl:AnnotationProperty owl:Thing
:EthOnAnnotationProperty owl:AnnotationProperty Superclass of all EthOn specific annotation properties. owl:Thing
:EthOnDataProperty owl:DatatypeProperty Groups all data properties specific to EthOn. owl:Thing
:EthOnObjectProperty owl:ObjectProperty Groups all EthOn object properties owl:Thing
:MessageObjectProperty owl:ObjectProperty Groups all EthOn message object properties. owl:Thing
:NetworkDataProperty owl:DatatypeProperty Groups all EthOn network data properties. owl:Thing
:NetworkObjectProperty owl:ObjectProperty Groups all EthOn network object properties. owl:Thing
:StateObjectProperty owl:ObjectProperty Groups all EthOn state object properties. owl:Thing
:createsPostMsgState owl:FunctionalProperty Relates a message to the global state of the system after all the message has been executed. owl:Thing
:from owl:ObjectProperty Relates a message to the account it originates from. owl:Thing
:hasAccountStorage owl:FunctionalProperty 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. :AccountStorage
:hasReceiptsTrie owl:FunctionalProperty Relates a block to the trie that contains the block's receipt data. owl:Thing
:hasTransition owl:ObjectProperty Relates a state to a transition (i.e. a message) that creates a new state. owl:Thing
:knowsOfUncle owl:ObjectProperty Relates a block to a known uncle. owl:Thing
:partOf owl:ObjectProperty This is a general relation to express part of relationships. The classic study of parts and wholes, mereology, has three axioms: 1. the part-of relation is Transitive - "parts of parts are parts of the whole" - If A is part of B and B is part of C, then A is part of C Reflexive - "Everything is part of itself" - A is part of A Antisymmetric - "Nothing is a part of its parts" - if A is part of B and A != B then B is not part of A. owl:Thing
swrla:isRuleEnabled owl:AnnotationProperty owl:Thing

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#> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .

:Tx a owl:Class ;
    rdfs:label "Transaction"@en ;
    :suggestedStringRepresentation "Tx" ;
    rdfs:comment "Transactions are messages between two accounts that may transfer Ether and may contain a payload. Transactions always originate from an external account that is controlled by an external actor by means of a private key.  The execution of a transaction creates a 'transaction receipt'."@en ;
    rdfs:subClassOf [ a owl:Restriction ;
            owl:onClass :ExternalAccount ;
            owl:onProperty :from ;
            owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ],
        :Msg ;
    ns:term_status "unstable" .