Solidity ontology
type: Ontology
creator: Andrea Cimmino
creator: Juan Cano-Benito
creator: http://www.garcia-castro.com/foaf.rdf#me
description: This ontology aims at modelling the Solidity smart contract language.
version info: 1.1
license: cc-by4.0
created with: chowlk.linkeddata.es

has array dimension
type: ObjectProperty
domain: Array Type
range: Array Dimension

has array value
type: ObjectProperty
domain: Array Value Specification
range: Array Value

has attribute value
type: ObjectProperty
domain: Non Constant Attribute Specification
range: Value Specification

has attribute visibility
type: ObjectProperty
domain: Non Constant Attribute Specification
range: Visibility

has constant attribute
type: ObjectProperty
domain: Library
range: Contract Attribute Specification

has constant type
type: ObjectProperty
domain: Contract Attribute Specification
range: Constant Type

has constructor arguments
type: ObjectProperty
domain: Constructor Specification
range: Parameter Variable Specification

has contract abstract function
type: ObjectProperty
domain: Abstract
range: Codeless Function Specification

has contract attribute
type: ObjectProperty
domain: Contract
range: Attribute Specification

has contract constructor
type: ObjectProperty
domain: Contract
range: Constructor Specification

has contract fallback
type: ObjectProperty
domain: Contract
range: Fallback Specification

has contract receive
type: ObjectProperty
domain: Contract
range: Receive Specification

has contract using for directive
type: ObjectProperty
domain: Contract
range: Using For Directive

has event arguments
type: ObjectProperty
domain: Event Specification
range: Parameter Variable Specification

has fallback behaviour
type: ObjectProperty
domain: Receive Specification
range: F R Behaviour

has fallback visibility
type: ObjectProperty
domain: Receive Specification
range: F R Behaviour

has function arguments
type: ObjectProperty
domain: Function Specification
range: Parameter Variable Specification

has function behaviour
type: ObjectProperty
domain: Function Specification
range: Function Behaviour

has function return
type: ObjectProperty
domain: Function Specification
range: Parameter Variable Specification

has Function Visibilty
type: ObjectProperty
domain: Function Behaviour
range: Visibility

has implementation event
type: ObjectProperty
domain: Smart Contract
range: Event Specification

has implementation function
type: ObjectProperty
domain: Smart Contract
range: Function Specification

has implementation modifier
type: ObjectProperty
domain: Smart Contract
range: Modifier Specification

has implementation struct type
type: ObjectProperty
domain: Smart Contract
range: Struct Type

has Import
type: ObjectProperty
domain: Smart Contract
range: Import

has index array value
type: ObjectProperty
domain: Array Value
range: Array Value Specification

has Inheritance
type: ObjectProperty
domain: Contract
range: Contract

has interface
type: ObjectProperty
domain: Smart Contract
range: Interface

has interface function
type: ObjectProperty
domain: Interface
range: Codeless Function Specification

has key map
type: ObjectProperty
domain: Map Type
range: Map Key Type

has modifier arguments
type: ObjectProperty
domain: Modifier Specification
range: Parameter Variable Specification

has modifier behaviour
type: ObjectProperty
domain: Modifier Specification
range: Modifier Behaviour

has modifier override type
type: ObjectProperty
domain: Modifier Override Specification
range: Modifier Override Tipe

has non constant array type
type: ObjectProperty
domain: Array Attribute Specification
range: Array Type

has non constant map type
type: ObjectProperty
domain: Map Attribute Specification
range: Map Type

has non constant struct attribute
type: ObjectProperty
domain: Struct Type
range: Non Constant Attribute Specification

has non constant type
type: ObjectProperty
domain: Non Constant Attribute Specification
range: Non Constant Type

has override return
type: ObjectProperty
domain: Modifier Specification
range: Modifier Override Specification

has parameter type
type: ObjectProperty
domain: Parameter Variable Specification
range: Parameter Type

has parameter type with data location
type: ObjectProperty
domain: Parameter Type With Data Location
range: Data Location

has receive behaviour
type: ObjectProperty
domain: Fallback Specification
range: F R Behaviour

has receive visibility
type: ObjectProperty
domain: Fallback Specification
range: F R Behaviour

has type
type: ObjectProperty
domain: Array Type
range: Type

has value map
type: ObjectProperty
domain: Map Type

is abstract
type: ObjectProperty
domain: Contract
range: Abstract

is defined as
type: ObjectProperty
domain: Function Behaviour
range: Modifier Specification

is using library
type: ObjectProperty
domain: Using For Directive
range: Library

simple generic
type: ObjectProperty
domain: Generic Value
type: DatatypeProperty

attribute name
type: DatatypeProperty
domain: Attribute Specification
range: string

codeless function name
type: DatatypeProperty
domain: Codeless Function Specification
range: string

constructor code
type: DatatypeProperty
domain: Constructor Specification
range: string

contract name
type: DatatypeProperty
domain: Smart Contract
range: string

event name
type: DatatypeProperty
domain: Event Specification
range: string

fallback code
type: DatatypeProperty
domain: Fallback Specification
range: string

function code
type: DatatypeProperty
domain: Function Specification
range: string

function name
type: DatatypeProperty
domain: Function Specification
range: string

has index
type: DatatypeProperty
domain: Array Value
range: short

has parameter name
type: DatatypeProperty
domain: Parameter Variable Specification
range: string

has parameter position
type: DatatypeProperty
domain: Parameter Variable Specification
range: short

import From
type: DatatypeProperty

import Name
type: DatatypeProperty

index
type: DatatypeProperty
domain: Array Dimension
range: short

is anonymous
type: DatatypeProperty
domain: Event Specification
range: boolean

is constant
type: DatatypeProperty
domain: Value Specification
range: boolean

is inmutable
type: DatatypeProperty
domain: Non Constant Attribute Specification
range: boolean

lenght
type: DatatypeProperty
domain: Array Dimension
range: short

memory
type: DatatypeProperty
domain: Single Memory Type
range: short

memory m
type: DatatypeProperty
domain: Dual Memory Type
range: short

memory n
type: DatatypeProperty
domain: Dual Memory Type
range: short

modifier code
type: DatatypeProperty
domain: Modifier Specification
range: string

modifier name
type: DatatypeProperty
domain: Modifier Specification
range: string

option
type: DatatypeProperty
domain: Enum Type
range: string

receive code
type: DatatypeProperty
domain: Receive Specification
range: string

simple bool
type: DatatypeProperty
domain: Bool Value
range: string

simple bytes
type: DatatypeProperty
domain: Bytes Value
range: string

simple fixed
type: DatatypeProperty
domain: Fixed Value
range: string

simple int
type: DatatypeProperty
domain: Int Value
range: string

simple string
type: DatatypeProperty
domain: String Value
range: string

using for name
type: DatatypeProperty
domain: Using For Directive
range: string

version
type: DatatypeProperty
domain: Smart Contract
range: string

Abstract
type: Class

Address
type: Class
subclass of: Elementary Type
subclass of: Parameter Type With Data Location

Array Attribute Specification
type: Class
subclass of: Non Constant Attribute Specification

Array Dimension
type: Class

Array Type
type: Class
subclass of: Non Constant Type
subclass of: Parameter Type With Data Location

Array Value
type: Class

Array Value Specification
type: Class
subclass of: Value Specification

Attribute Specification
type: Class

Bool
type: Class
subclass of: Elementary Type

Bool Value
type: Class
subclass of: Simple Value Specification

Bytes
type: Class
subclass of: Parameter Type With Data Location
subclass of: Single Memory Type

Bytes Value
type: Class
subclass of: Simple Value Specification

Codeless Function Specification
type: Class

Constant Type
type: Class
subclass of: Type

Constructor Specification
type: Class

Contract
type: Class
subclass of: Smart Contract

Contract Attribute Specification
type: Class
subclass of: Attribute Specification

Data Location
type: Class

Dual Memory Type
type: Class
subclass of: Memory Type

Elementary Type
type: Class
subclass of: Map Key Type
subclass of: Non Constant Type
subclass of: Parameter Type

Enum Type
type: Class
subclass of: Constant Type
subclass of: Map Key Type
subclass of: Parameter Type

Event Specification
type: Class

F R Behaviour
type: Class

Fallback Specification
type: Class

Fixed Mx N
type: Class
subclass of: Dual Memory Type

Fixed Value
type: Class
subclass of: Simple Value Specification

Function Behaviour
type: Class

Function Specification
type: Class

Generic Value
type: Class
subclass of: Simple Value Specification

Import
type: Class

Int
type: Class
subclass of: Single Memory Type

Int Value
type: Class
subclass of: Simple Value Specification

Interface
type: Class
subclass of: Smart Contract

Library
type: Class
subclass of: Smart Contract

Map Attribute Specification
type: Class
subclass of: Non Constant Attribute Specification

Map Key Type
type: Class
subclass of: Parameter Type With Data Location
subclass of: Type

Map Type
type: Class

Memory Type
type: Class
subclass of: Map Key Type
subclass of: Non Constant Type
subclass of: Parameter Type

Modifier Behaviour
type: Class

Modifier Override Specification
type: Class
subclass of: Non Constant Attribute Specification

Modifier Override Tipe
type: Class

Modifier Specification
type: Class

Non Constant Attribute Specification
type: Class
subclass of: Attribute Specification

Non Constant Type
type: Class
subclass of: Type

Parameter Type
type: Class

Parameter Type With Data Location
type: Class
subclass of: Parameter Type

Parameter Variable Specification
type: Class
subclass of: Non Constant Attribute Specification

Receive Specification
type: Class

Simple Value Specification
type: Class
subclass of: Value Specification

Single Memory Type
type: Class
subclass of: Memory Type

Smart Contract
type: Class
subclass of: Map Key Type
subclass of: Modifier Override Tipe
subclass of: Non Constant Type
subclass of: Parameter Type
subclass of: Simple Value Specification

String
type: Class
subclass of: Elementary Type
subclass of: Parameter Type With Data Location

String Value
type: Class
subclass of: Simple Value Specification

Struct Type
type: Class
subclass of: Constant Type
subclass of: Parameter Type With Data Location

Type
type: Class

Ufixed Mx N
type: Class
subclass of: Dual Memory Type

Uint
type: Class
subclass of: Single Memory Type

Using For Directive
type: Class

Value Specification
type: Class

Visibility
type: Class