Instances of :ProtocolVariant can have the following properties:
| PROPERTY | TYPE | DESCRIPTION | RANGE |
|---|---|---|---|
| From class :ProtocolVariant | |||
| :hasBilateralFork | owl:AsymmetricProperty | Relates a protocol variant to a bilaterally forked version of it. In contrast to a hard fork, a bilateral fork may expand some rules and make others more strict. While in a hard fork rules are expanded only and all pre-fork blocks also comply to the new rules, after a bilateral hard fork, pre-fork some blocks may not be compliant to new protocol. | :ProtocolVariant |
| :hasFork | owl:AsymmetricProperty | Relates a protocol variant to a forked version of it. A fork in a protocol variant is a change of the rules for creating valid new blocks (the protocol). It is inverse functional because a forked protocol can have only one protocol variant it forked from. It is transitive because if a protocol C that was forked from protocol B that in turn was forked from protocol A, protocol C was also forked from protocol A. It is asymetric because if protocol A is forked from protocol B, B cannot be also forked from A. It is irreflexive because a protocol cannot be a fork of itself. | :ProtocolVariant |
| :hasHardFork | owl:AsymmetricProperty | Relates a protocol variant to a hard forked version of it. Hard forks expand the rule set of a protocol variant or change it incompatibly. Users who want to be on the hard forked chain have to update their clients. | :ProtocolVariant |
| :hasSoftFork | owl:AsymmetricProperty | Relates a protocol variant to a soft forked version of it. Soft forks make the rules of a protocol variant more strict. Blocks in the soft forked chain conform to multiple protocol versions at the same time. | :ProtocolVariant |
| From class owl:Thing | |||
| :AccountDataProperty | owl:DatatypeProperty | Groups all data properties that are specific to an account. | owl:Thing |
| :AccountObjectProperty | owl:ObjectProperty | Groups all EthOn account object properties | owl:Thing |
| :BlockDataProperty | owl:DatatypeProperty | Groups all data properties that are specific to a block. These properties are usually functional because a block can only be associated with a single instance of them. | owl:Thing |
| :BlockObjectProperty | owl:ObjectProperty | Groups all EthOn block object properties | 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 |
| :MessageDataProperty | owl:DatatypeProperty | Groups all EthOn message data 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 |
| :StateDataProperty | owl:DatatypeProperty | -- | 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 |
| :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 |
| :hasTransition | owl:ObjectProperty | Relates a state to a transition (i.e. a message) that creates a new state. | 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 |
| :simpleDefinition | owl:AnnotationProperty | This property relates an EthOn class to a definition in Simple English, intended especially for non-technical users. | owl:Thing |
| :suggestedStringRepresentation | owl:AnnotationProperty | This property relates an EthOn class with a suggested string representation. It can be used to give the term a name, e.g. in program code. | owl:Thing |
@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#> .
:ProtocolVariant a owl:Class ;
rdfs:label "Ethereum Protocol Variant"@en ;
:suggestedStringRepresentation "EthereumProtocolVariant" ;
rdfs:comment "A variant of the Ethereum protocol. Changes in the protocol result in a fork."@en ;
rdfs:seeAlso <https://ethereum.stackexchange.com/questions/13014/please-confirm-what-the-hard-forks-of-ethereum-were-and-when-they-took-place> ;
ns:term_status "unstable" .