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