This ontology aims at modelling the Solidity smart contract language.
Solidity ontology