Andrea Cimmino Juan Cano-Benito http://www.garcia-castro.com/foaf.rdf#me This ontology aims at modelling the Solidity smart contract language. Solidity ontology 1.1 has array dimension has array value has attribute value has attribute visibility has constant attribute has constant type has constructor arguments has contract abstract function has contract attribute has contract constructor has contract fallback has contract receive has contract using for directive has event arguments has fallback behaviour has fallback visibility has function arguments has function behaviour has function return has Function Visibilty has implementation event has implementation function has implementation modifier has implementation struct type has Import has index array value has Inheritance has interface has interface function has key map has modifier arguments has modifier behaviour has modifier override type has non constant array type has non constant map type has non constant struct attribute has non constant type has override return has parameter type has parameter type with data location has receive behaviour has receive visibility has type has value map is abstract is defined as is using library attribute name codeless function name constructor code contract name event name fallback code function code function name has index has parameter name has parameter position import From import Name index is anonymous is constant is inmutable lenght memory memory m memory n modifier code modifier name option receive code simple bool simple bytes simple fixed simple int simple string using for name version Abstract Address Array Attribute Specification Array Dimension Array Type Array Value Array Value Specification Attribute Specification Bool Bool Value Bytes Bytes Value Codeless Function Specification Constant Type Constructor Specification Contract Contract Attribute Specification Data Location Dual Memory Type Elementary Type Enum Type Event Specification F R Behaviour Fallback Specification Fixed Mx N Fixed Value Function Behaviour Function Specification Generic Value Import Int Int Value Interface Library Map Attribute Specification Map Key Type Map Type Memory Type Modifier Behaviour Modifier Override Specification Modifier Override Tipe Modifier Specification Non Constant Attribute Specification Non Constant Type Parameter Type Parameter Type With Data Location Parameter Variable Specification Receive Specification Simple Value Specification Single Memory Type Smart Contract String String Value Struct Type Type Ufixed Mx N Uint Using For Directive Value Specification Visibility simple generic