diff --git a/EthOn.rdf b/EthOn.rdf index c742187..1975e23 100644 --- a/EthOn.rdf +++ b/EthOn.rdf @@ -1,18 +1,18 @@ + xmlns:dc="http://purl.org/dc/elements/1.1/" + xmlns:swrla="http://swrl.stanford.edu/ontologies/3.3/swrla.owl#"> @@ -21,13 +21,13 @@ Johannes Pfeffer testing - 0.0.1 Joseph Chow The EthOn Ethereum ontology, described using W3C RDF Schema and the Web Ontology Language. It is closely aligned with Gavin Wood's Ethereum yellow paper. Casey Detrio Maurycy Pietrzak Alex Beregszazi + EthOn - An Ethereum Ontology Herman Junge ethon @@ -211,8 +211,8 @@ - createsContractAccount - Relates a create transaction to the Contract Account it creates. + creates + Relates a create transaction to the ContractAccount it creates. creates unstable @@ -583,6 +583,21 @@ + + + + + + + + refunds + Relates a SelfdestructContractMsg to the ContractAccount it sends its refund balance to. + refunds + unstable + + + + @@ -702,7 +717,7 @@ - + accountBalance A scalar value equal to the number of Wei owned by an Account at a given Account state. Account balance @@ -747,7 +762,7 @@ - + accountNonce A scalar value equal to the number of transactions sent from this Account or, in the case of Accounts with associated code, the number of Contract-creations made by this Account. Account nonce @@ -792,7 +807,7 @@ - + blockDifficulty A scalar value corresponding to the difficulty level of this Block. This can be calculated from the previous Block's difficulty level and the timestamp. Block difficulty @@ -822,7 +837,7 @@ - + blockGasLimit A scalar value equal to the current limit of gas expenditure per Block. Gas limit @@ -837,7 +852,7 @@ - + blockGasUsed A scalar value equal to the total gas used in transactions in this Block. Gas used @@ -926,7 +941,7 @@ - + blockReward Also base reward, amount of Wei a miner gets for finding a Block. Block reward @@ -935,6 +950,21 @@ + + + + + + + + blockSize + The size of the the Block header in bytes. + Block size + unstable + + + + @@ -954,7 +984,7 @@ - + cumulativeGasUsed The cumulative gas used in the block containing the Transaction Receipt as of immediately after the Transaction has happened. cumulative gas used @@ -963,12 +993,27 @@ + + + + + + + + logIndex + Relates a Log Entry to its index in the Tx Receipt. The log index defines the order of the Log Entries of a Tx Receipt. + log index + unstable + + + + - + msgCallDepth 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. Message call depth @@ -1003,7 +1048,7 @@ - + msgGasLimit 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. Message gas limit @@ -1025,6 +1070,21 @@ + + + + + + + + msgGasUsed + A scalar value equal to the total amount of gas that was used when processing this Msg and all Messages resulting from it. + Message gas used + unstable + + + + @@ -1046,6 +1106,21 @@ + + + + + + + + msgOutput + The reulting output data from a CallContractMsg. + Message output + unstable + + + + @@ -1061,13 +1136,28 @@ + + + + + + + + msgRefundBalance + A scalar value equal to the number of Wei that will be refunded in result of the SelfdestructContractMsg. + contract balance in Wei + unstable + + + + - + number A scalar value equal to the number of ancestor Blocks. The genesis Block has a number of zero. Block number @@ -1140,8 +1230,9 @@ + - + topicIndex Relates a Log Topic to its index in the Log Entry. The topic index defines the order of the Log Topics of a Log Entry. topic index @@ -1184,7 +1275,7 @@ - + txNonce A scalar value equal to the number of transactions sent by the sender. Transaction nonce @@ -1233,7 +1324,7 @@ unstable - + @@ -1242,13 +1333,13 @@ - + value 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. value in Wei unstable - + -

Properties 85

+

Properties 91

  • DASE_RULE
  • EthOnAnnotationProperty
  • MessageDataProperty
  • NetworkObjectProperty
      @@ -297,6 +303,7 @@

      Account

      hasBeneficiary + refunds controlsAccount loggedBy @@ -549,6 +556,7 @@

      Block

      blockMixHash blockNonce blockReward + blockSize number createsPostBlockState hasBeneficiary @@ -698,6 +706,13 @@

      CallContractMsg

      + + Properties include + + + msgOutput + + @@ -774,6 +789,7 @@

      ContractAccount

      accountCode accountCodeHash + refunds @@ -1388,6 +1404,7 @@

      Msg

      msgGasLimit msgGasPrice + msgGasUsed msgPayload value to @@ -1770,6 +1787,13 @@

      SelfdestructContractMsg

      + + Properties include + + + msgRefundBalance + + @@ -2028,6 +2052,7 @@

      TxReceipt

      cumulativeGasUsed + logIndex txLogsBloom createsPostTxState @@ -2287,7 +2312,7 @@

      Agent

      -

      Object Property descriptions 38

      +

      Object Property descriptions 39

      hasParentBlock

      Relates a Block to its parent in the chain. It always points to the Block with a number that is decreased by one, compared to the Block it originates from. The relation is asymmetric because if Block A is parent to Block B then Block B can not be parent to Block A. It is also irreflexive because a Block cannot be parent to itself.

      @@ -2546,6 +2571,55 @@

      hasTxTrie

      + + +

      refunds

      +

      Relates a SelfdestructContractMsg to the ContractAccount it sends its refund balance to.

      + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +
      Statusunstable
      URIhttp://ethon.consensys.net/refunds
      Suggested stringrefunds
      Superclasses + + to +
      Implies being a + + ContractAccount +
      Every value is a + + Account +

      containsTx

      @@ -3088,7 +3162,7 @@

      controlsAccount

      creates

      -

      Relates a create transaction to the Contract Account it creates.

      +

      Relates a create transaction to the ContractAccount it creates.

      @@ -3105,7 +3179,7 @@

      creates

      - + @@ -3946,6 +4020,7 @@

      to

      @@ -4014,7 +4089,7 @@

      triggersMsg

      -

      Datatype Property descriptions 43

      +

      Datatype Property descriptions 48

      AccountDataProperty

      Groups all Data Properties that are specific to an Account.

      @@ -4106,6 +4181,7 @@

      BlockDataProperty

      blockMixHashblockNonceblockReward + blockSizenumber @@ -4181,10 +4257,14 @@

      MessageDataProperty

      @@ -4476,7 +4556,7 @@

      accountNonce

      @@ -4623,7 +4703,7 @@

      blockDifficulty

      @@ -4721,7 +4801,7 @@

      blockGasLimit

      @@ -4770,7 +4850,7 @@

      blockGasUsed

      @@ -5064,7 +5144,56 @@

      blockReward

      + + + +
      Suggested stringcreatesContractAccountcreates
      Subclasses + refunds creates
      cumulativeGasUsed + logIndex msgCallDepth msgGasLimit msgGasPrice + msgGasUsed + msgOutput msgPayload + msgRefundBalance receiptsRoot topicData topicIndex @@ -4329,7 +4409,7 @@

      accountBalance

      		Every value is a - http://www.w3.org/2001/XMLSchema#nonNegativeInteger + http://www.w3.org/2001/XMLSchema#integer
      Every value is a - http://www.w3.org/2001/XMLSchema#nonNegativeInteger + http://www.w3.org/2001/XMLSchema#integer
      Every value is a - http://www.w3.org/2001/XMLSchema#nonNegativeInteger + http://www.w3.org/2001/XMLSchema#integer
      Every value is a - http://www.w3.org/2001/XMLSchema#nonNegativeInteger + http://www.w3.org/2001/XMLSchema#integer
      Every value is a - http://www.w3.org/2001/XMLSchema#nonNegativeInteger + http://www.w3.org/2001/XMLSchema#integer
      Every value is a - http://www.w3.org/2001/XMLSchema#nonNegativeInteger + http://www.w3.org/2001/XMLSchema#integer +
      + +

      blockSize

      +

      The size of the the Block header in bytes.

      + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -5162,7 +5291,56 @@

      cumulativeGasUsed

      + + + +
      Statusunstable
      URIhttp://ethon.consensys.net/blockSize
      Suggested stringblockSize
      Superclasses + + BlockDataProperty +
      Implies being a + + Block +
      Every value is a + + http://www.w3.org/2001/XMLSchema#integer
      Every value is a - http://www.w3.org/2001/XMLSchema#nonNegativeInteger + http://www.w3.org/2001/XMLSchema#integer +
      + +

      logIndex

      +

      Relates a Log Entry to its index in the Tx Receipt. The log index defines the order of the Log Entries of a Tx Receipt.

      + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -5211,7 +5389,7 @@

      msgCallDepth

      @@ -5302,7 +5480,7 @@

      msgGasLimit

      @@ -5349,6 +5527,55 @@

      msgGasPrice

      +
      Statusunstable
      URIhttp://ethon.consensys.net/logIndex
      Suggested stringlogIndex
      Superclasses + + MessageDataProperty +
      Implies being a + + TxReceipt +
      Every value is a + + http://www.w3.org/2001/XMLSchema#integer
      Every value is a - http://www.w3.org/2001/XMLSchema#nonNegativeInteger + http://www.w3.org/2001/XMLSchema#integer
      Every value is a - http://www.w3.org/2001/XMLSchema#nonNegativeInteger + http://www.w3.org/2001/XMLSchema#integer
      + +

      msgGasUsed

      +

      A scalar value equal to the total amount of gas that was used when processing this Msg and all Messages resulting from it.

      + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +
      Statusunstable
      URIhttp://ethon.consensys.net/msgGasUsed
      Suggested stringmsgGasUsed
      Superclasses + + MessageDataProperty +
      Implies being a + + Msg +
      Every value is a + + http://www.w3.org/2001/XMLSchema#integer +

      msgInit

      @@ -5391,6 +5618,55 @@

      msgInit

      + + +

      msgOutput

      +

      The reulting output data from a CallContractMsg.

      + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +
      Statusunstable
      URIhttp://ethon.consensys.net/msgOutput
      Suggested stringmsgOutput
      Superclasses + + MessageDataProperty +
      Implies being a + + CallContractMsg +
      Every value is a + + http://www.w3.org/2001/XMLSchema#hexBinary +

      msgPayload

      @@ -5448,6 +5724,55 @@

      msgPayload

      + + +

      msgRefundBalance

      +

      A scalar value equal to the number of Wei that will be refunded in result of the SelfdestructContractMsg.

      + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +
      Statusunstable
      URIhttp://ethon.consensys.net/msgRefundBalance
      Suggested stringmsgRefundBalance
      Superclasses + + MessageDataProperty +
      Implies being a + + SelfdestructContractMsg +
      Every value is a + + http://www.w3.org/2001/XMLSchema#integer +

      number

      @@ -5492,7 +5817,7 @@

      number

      Every value is a - http://www.w3.org/2001/XMLSchema#nonNegativeInteger + http://www.w3.org/2001/XMLSchema#integer @@ -5737,7 +6062,7 @@

      topicIndex

      Every value is a - http://www.w3.org/2001/XMLSchema#nonNegativeInteger + http://www.w3.org/2001/XMLSchema#integer @@ -5884,7 +6209,7 @@

      txNonce

      Every value is a - http://www.w3.org/2001/XMLSchema#nonNegativeInteger + http://www.w3.org/2001/XMLSchema#integer @@ -6080,7 +6405,7 @@

      value

      Every value is a - http://www.w3.org/2001/XMLSchema#nonNegativeInteger + http://www.w3.org/2001/XMLSchema#integer diff --git a/doc_resources/EthOn_sketches.graphml b/doc_resources/EthOn_sketches.graphml index a5feff2..4340c68 100644 --- a/doc_resources/EthOn_sketches.graphml +++ b/doc_resources/EthOn_sketches.graphml @@ -166,7 +166,7 @@ State - nonNegativeInteger + integer @@ -200,7 +200,7 @@ State - nonNegativeInteger + integer @@ -655,7 +655,7 @@ Node - + block_modeling_scheme.png @@ -684,14 +684,14 @@ Node - + EthOn Block modeling scheme - + @@ -815,7 +815,7 @@ Node - nonNegativeInteger + integer @@ -832,7 +832,7 @@ Node - nonNegativeInteger + integer @@ -849,7 +849,7 @@ Node - nonNegativeInteger + integer @@ -866,7 +866,7 @@ Node - nonNegativeInteger + integer @@ -985,7 +985,7 @@ Node - nonNegativeInteger + integer @@ -1020,7 +1020,7 @@ Account - nonNegativeInteger + integer @@ -1188,6 +1188,23 @@ action + + + + + + + integer + + + + + + + + + + @@ -1366,10 +1383,10 @@ Trie - + - message_concept.png + message_concept.png @@ -1395,14 +1412,14 @@ Trie - + - EthOn Message concept + EthOn Message concept - + @@ -1456,10 +1473,10 @@ action - + - nonNegativeInteger + integer @@ -1740,6 +1757,23 @@ Msg + + + + + + + integer + + + + + + + + + + @@ -1860,7 +1894,7 @@ Actor - nonNegativeInteger + integer @@ -1877,7 +1911,7 @@ Actor - nonNegativeInteger + integer @@ -1894,7 +1928,7 @@ Actor - nonNegativeInteger + integer @@ -2016,7 +2050,7 @@ Tx - nonNegativeInteger + integer @@ -2106,7 +2140,7 @@ Receipt - + contract_message_concept.png @@ -2135,14 +2169,14 @@ Receipt - + EthOn Contract Message concept - + @@ -2182,7 +2216,7 @@ Msg - nonNegativeInteger + integer @@ -2199,7 +2233,7 @@ Msg - nonNegativeInteger + integer @@ -2216,7 +2250,7 @@ Msg - nonNegativeInteger + integer @@ -2300,7 +2334,7 @@ Msg - + Create @@ -2319,7 +2353,7 @@ Msg - + Call @@ -2359,7 +2393,7 @@ Account - nonNegativeInteger + integer @@ -2390,6 +2424,40 @@ Msg + + + + + + + hexBinary + + + + + + + + + + + + + + + + + hexBinary + + + + + + + + + + @@ -2400,7 +2468,7 @@ Msg - + tx_receipt_concept.png @@ -2426,7 +2494,7 @@ Msg - + Block @@ -2443,7 +2511,7 @@ Msg - + Tx @@ -2463,7 +2531,7 @@ Msg - + EthOn TxReceipts concept @@ -2489,7 +2557,7 @@ Msg - + Tx @@ -2507,7 +2575,7 @@ Receipt - + Receipts @@ -2525,7 +2593,7 @@ Trie - + hexBinary @@ -2542,7 +2610,7 @@ Trie - + Log @@ -2560,7 +2628,7 @@ Entry - + hexBinary @@ -2577,10 +2645,10 @@ Entry - + - nonNegativeInteger + integer @@ -3490,7 +3558,7 @@ Topic - xsd:nonNegativeInteger + integer @@ -3524,7 +3592,7 @@ Topic - xsd:nonNegativeInteger + integer @@ -4772,35 +4840,35 @@ Topic - + - - - - blockHash + + + + Subclass of - + - + - + - + - - - is a + + + Subclass of - + @@ -4808,17 +4876,17 @@ Topic - + - - - knowsOfUncle + + + Subclass of - + @@ -4826,17 +4894,17 @@ Topic - + - - - - blockHeader + + + + Subclass of - + @@ -4844,17 +4912,17 @@ Topic - + - - - - blockHash + + + + Subclass of - + @@ -4862,283 +4930,287 @@ Topic - + - + - blockReward + txNonce - + - + - + - + - + - hasParentBlock + msgGasPrice - + - + - + - + - hasBeneficiary + msgGasLimit - + - + - + - + + + - containsTx + to - + - + - + - + - hasPostBlockState + value - + - + - + - + - + - hasTxTrie + txV - + - + - + - + - + - hasReceiptsTrie + txR - + - + - + - + - + - blockDifficulty + txS - + - + - + - + + + - number + from - + - + - + - + - + - blockGasLimit + msgPayload - + - + - + - - - - blockGasUsed + + + + Subclass of - + - + - + - + - + - blockCreationTime + hasReceipt - + - + - + - - - - blockExtraData + + + + Subclass of - + - + - + - + - - - - blockMixHash + + + + Subclass of - + - + - + - + - + - blockNonce + msgInit - + - + - + - + - - - is a + + + Subclass of @@ -5150,17 +5222,17 @@ Topic - + - + - blockLogsBloom + msgData - + @@ -5168,157 +5240,173 @@ Topic - + - + + + + - address + nextState - + - + - + - - - - stateRoot + + + + Subclass of - + - + - + - + - + + + + - txRoot + nextMsgState - + - + - + - + - - - - receiptsRoot + + + + Subclass of - + - + - + - + - + + + + - txIndex + nextTxState - + - + - + - - - partOf + + + Subclass of - + - + - + - - - - Subclass of + + + + + + + nextBlockState - + - + - - - Subclass of + + + createsState - + - + - + - + - + + + + + - Subclass of + Subclass of @@ -5330,31 +5418,31 @@ Topic - + - - - Subclass of + + + createsState - + - + - + - + - Subclass of + Subclass of @@ -5366,35 +5454,35 @@ Topic - + - - - Subclass of + + + partOf - + - + - + - - - - to + + + + Subclass of - + @@ -5402,35 +5490,36 @@ Topic - + - signs + createsState - + - + - + - + - - - controls + + + + - + @@ -5438,17 +5527,18 @@ Topic - + - - - containsTx + + + + - + @@ -5456,13 +5546,14 @@ Topic - + - - - - value + + + + + @@ -5474,13 +5565,14 @@ Topic - + - - - - payload + + + + + @@ -5492,17 +5584,18 @@ Topic - + - Subclass of + + - + @@ -5510,13 +5603,14 @@ Topic - + - - - to + + + + @@ -5528,15 +5622,14 @@ Topic - + - - - - - - from + + + + + @@ -5548,17 +5641,17 @@ Topic - + - hasReceipt + createsState - + @@ -5566,13 +5659,13 @@ Topic - + - - - Subclass of + + + hasState @@ -5584,13 +5677,15 @@ Topic - + - + + + - to + hasCurrentState @@ -5602,13 +5697,13 @@ Topic - + - from + signs @@ -5620,17 +5715,19 @@ Topic - + - - - - Subclass of + + + + + + hasState - + @@ -5638,17 +5735,17 @@ Topic - + - creates + hasTransition - + @@ -5656,17 +5753,17 @@ Topic - + - - - Subclass of + + + createsState - + @@ -5674,13 +5771,13 @@ Topic - + - - - creates + + + Subclass of @@ -5692,35 +5789,17 @@ Topic - + - - triggersMsg - - - - - - - - - - - - - - - - - - Subclass of + + ObjectProperty - + @@ -5728,17 +5807,17 @@ Topic - + - to + is a (rdf:type) - + @@ -5746,17 +5825,17 @@ Topic - + - - - Subclass of + + + DatatypeProperty - + @@ -5764,31 +5843,31 @@ Topic - + - to + hasReceiptsTrie - + - + - + - triggersMsg + containsTx @@ -5800,155 +5879,139 @@ Topic - + - - - Subclass of + + + hasReceipt - + - + - + - + - to + partOf - + - + - + - to + txLogsBloom - + - + - + - + - - - Subclass of + + + cumulativeGasUsed - + - - - - - - - - - - - - - - - - Subclass of + - + - + - - - - + + + hasLogEntry - + - + - + - + - + - to + receiptsRoot - + - + - + - + - - - Subclass of + + + hasLogEntry - + - + - + - + - + - txNonce + hasLogTopic @@ -5960,13 +6023,13 @@ Topic - + - + - msgGasPrice + loggedBy @@ -5978,17 +6041,17 @@ Topic - + - + - msgGasLimit + logIndex - + @@ -5996,15 +6059,13 @@ Topic - + - - - + - to + topicIndex @@ -6012,17 +6073,17 @@ Topic - + - + - + - value + topicData @@ -6034,13 +6095,13 @@ Topic - + - txV + msgGasPrice @@ -6052,13 +6113,13 @@ Topic - + - txR + msgGasLimit @@ -6070,13 +6131,33 @@ Topic - + + + + + + + + + to + + + + + + + + + + + + - txS + msgCallDepth @@ -6088,15 +6169,15 @@ Topic - + - + - from + from @@ -6108,13 +6189,13 @@ Topic - + - msgPayload + msgPayload @@ -6126,13 +6207,13 @@ Topic - + - Subclass of + Subclass of @@ -6144,31 +6225,49 @@ Topic - + - hasReceipt + hasOriginatorTx + + + + + + + + + + + + + + + + + + value - + - + - + - Subclass of + Subclass of @@ -6180,13 +6279,13 @@ Topic - + - Subclass of + Subclass of @@ -6198,13 +6297,13 @@ Topic - + - msgInit + msgInit @@ -6216,13 +6315,13 @@ Topic - + - Subclass of + Subclass of @@ -6234,13 +6333,13 @@ Topic - + - msgData + msgData @@ -6252,13 +6351,13 @@ Topic - + - + - msgGasPrice + msgOutput @@ -6270,51 +6369,51 @@ Topic - + - - - - msgGasLimit + + + + Subclass of - + - + - + - + - - - - - - to + + + + Subclass of - + - + - + + + - msgCallDepth + msgRefundBalance @@ -6326,55 +6425,53 @@ Topic - + - - - + - from + blockHash - + - + - + - + - + - msgPayload + is a - + - + - + - - - Subclass of + + + knowsOfUncle - + @@ -6382,17 +6479,17 @@ Topic - + - + - hasOriginatorTx + blockHeader - + @@ -6400,17 +6497,17 @@ Topic - + - + - value + blockHash - + @@ -6418,17 +6515,17 @@ Topic - + - - - - Subclass of + + + + blockReward - + @@ -6436,263 +6533,305 @@ Topic - + - - - Subclass of + + + hasParentBlock - + - + - + - msgInit + hasBeneficiary - + - + - + - - - Subclass of + + + containsTx - + - + - + - + - msgData + hasPostBlockState - + - + - + - + - - - Subclass of + + + hasTxTrie - + - + - - - Subclass of - + + + hasReceiptsTrie + - + - + - + - - - - + - nextState + blockDifficulty - + - + - + - + - - - - Subclass of + + + + number - + - + - + - + - - - - + - nextMsgState + blockGasLimit - + - + - + - + - - - - Subclass of + + + + blockGasUsed - + - + - + - + - - - - + - nextTxState + blockCreationTime - + - + + + + + + + + + + + + + blockExtraData + + + + + + + + + + + + + + + + + + blockMixHash + + + + + + + + + + + + + + + + + + blockNonce + + + + + + - + - - - Subclass of + + + is a - + - + - + - - - - + - nextBlockState + blockLogsBloom - + - + - + - + - createsState + blockSize - + @@ -6700,126 +6839,121 @@ Topic - + - - - - - - - - Subclass of + + + + address - + - + - + - + - createsState + stateRoot - + - + - + - - - Subclass of + + + txRoot - + - + - + - + - + - partOf + receiptsRoot - + - + - + - + - - - - Subclass of + + + + txIndex - + - + - + - createsState + partOf - + - + - + - + - - + Subclass of @@ -6831,18 +6965,35 @@ Topic - + + + + + + + to + + + + + + + + + + + + - - - - + + + signs - + @@ -6850,18 +7001,17 @@ Topic - + - - - - + + + controls - + @@ -6869,18 +7019,17 @@ Topic - + - - - - + + + containsTx - + @@ -6888,14 +7037,13 @@ Topic - + - - - - - + + + + value @@ -6907,14 +7055,13 @@ Topic - + - - - - - + + + + payload @@ -6926,36 +7073,35 @@ Topic - + - - - - - + + + + msgGasUsed - + - + - + - - - createsState + + + Subclass of - + @@ -6963,17 +7109,17 @@ Topic - + - hasState + to - + @@ -6981,15 +7127,15 @@ Topic - + - - + + - hasCurrentState + from @@ -7001,17 +7147,17 @@ Topic - + - signs + hasReceipt - + @@ -7019,19 +7165,17 @@ Topic - + - - - - - - hasState + + + + Subclass of - + @@ -7039,13 +7183,13 @@ Topic - + - hasTransition + to @@ -7057,13 +7201,13 @@ Topic - + - createsState + from @@ -7075,13 +7219,13 @@ Topic - + - Subclass of + Subclass of @@ -7093,17 +7237,17 @@ Topic - + - ObjectProperty + creates - + @@ -7111,17 +7255,17 @@ Topic - + - - - is a (rdf:type) + + + Subclass of - + @@ -7129,13 +7273,13 @@ Topic - + - DatatypeProperty + creates @@ -7147,17 +7291,17 @@ Topic - + - - hasReceiptsTrie + + triggersMsg - + @@ -7165,85 +7309,85 @@ Topic - + - - - containsTx + + + Subclass of - + - + - + - hasReceipt + to - + - + - + - - - partOf + + + Subclass of - + - + - + - txLogsBloom + to - + - + - + - + - cumulativeGasUsed + triggersMsg @@ -7255,147 +7399,145 @@ Topic - + - - - hasLogEntry + + + Subclass of - + - + - + - + - receiptsRoot + to - + - + - + - + - hasLogEntry + to - + - + - + - + - - - hasLogTopic + + + Subclass of - + - + - + - + - - - - loggedBy - - - - - - + + + + + + + Subclass of - + - + - - - - logIndex + + + + + - + - + - + - + - + - topicIndex + to - + - + - + - + - - - - topicData + + + + Subclass of - + - + - + diff --git a/doc_resources/img/block_modeling_scheme.png b/doc_resources/img/block_modeling_scheme.png index d47cca7..36da780 100644 Binary files a/doc_resources/img/block_modeling_scheme.png and b/doc_resources/img/block_modeling_scheme.png differ diff --git a/doc_resources/img/contract_message_concept.png b/doc_resources/img/contract_message_concept.png index db28be9..13d256b 100644 Binary files a/doc_resources/img/contract_message_concept.png and b/doc_resources/img/contract_message_concept.png differ diff --git a/doc_resources/img/message_concept.png b/doc_resources/img/message_concept.png index 1a21a03..b0c0bdb 100644 Binary files a/doc_resources/img/message_concept.png and b/doc_resources/img/message_concept.png differ