. "Andrea Cimmino" . "Juan Cano-Benito" . "http://www.garcia-castro.com/foaf.rdf#me" . "This ontology aims at modelling the Solidity smart contract language."@en . "Solidity ontology"@en . "1.1"^^ . . # # # ################################################################# # # # # Annotation properties # # # ################################################################# # # # http://purl.org/dc/elements/1.1/created . # # http://purl.org/dc/elements/1.1/creator . # # http://purl.org/dc/elements/1.1/description . # # http://purl.org/dc/elements/1.1/title . # # http://www.w3.org/2002/07/owl#versionInfo . # # https://w3id.org/mod#createdWith . # # # # ################################################################# # # # # Object Properties # # # ################################################################# # # # https://w3id.org/def/Solidity#hasArrayDimension . . . "has array dimension" . # # https://w3id.org/def/Solidity#hasArrayValue . . . "has array value" . # # https://w3id.org/def/Solidity#hasAttributeValue . . . "has attribute value" . # # https://w3id.org/def/Solidity#hasAttributeVisibility . . . "has attribute visibility" . # # https://w3id.org/def/Solidity#hasConstantAttribute . . . "has constant attribute" . # # https://w3id.org/def/Solidity#hasConstantType . . . "has constant type" . # # https://w3id.org/def/Solidity#hasConstructorArguments . . . "has constructor arguments" . # # https://w3id.org/def/Solidity#hasContractAbstractFunction . . . "has contract abstract function" . # # https://w3id.org/def/Solidity#hasContractAttribute . . . "has contract attribute" . # # https://w3id.org/def/Solidity#hasContractConstructor . . . "has contract constructor" . # # https://w3id.org/def/Solidity#hasContractFallback . . . "has contract fallback" . # # https://w3id.org/def/Solidity#hasContractReceive . . . "has contract receive" . # # https://w3id.org/def/Solidity#hasContractUsingForDirective . . . "has contract using for directive" . # # https://w3id.org/def/Solidity#hasEventArguments . . . "has event arguments" . # # https://w3id.org/def/Solidity#hasFallbackBehaviour . . . "has fallback behaviour" . # # https://w3id.org/def/Solidity#hasFallbackVisibility . . . "has fallback visibility" . # # https://w3id.org/def/Solidity#hasFunctionArguments . . . "has function arguments" . # # https://w3id.org/def/Solidity#hasFunctionBehaviour . . . "has function behaviour" . # # https://w3id.org/def/Solidity#hasFunctionReturn . . . "has function return" . # # https://w3id.org/def/Solidity#hasFunctionVisibilty . . . "has Function Visibilty" . # # https://w3id.org/def/Solidity#hasImplementationEvent . . . "has implementation event" . # # https://w3id.org/def/Solidity#hasImplementationFunction . . . "has implementation function" . # # https://w3id.org/def/Solidity#hasImplementationModifier . . . "has implementation modifier" . # # https://w3id.org/def/Solidity#hasImplementationStructType . . . "has implementation struct type" . # # https://w3id.org/def/Solidity#hasImport . . . "has Import" . # # https://w3id.org/def/Solidity#hasIndexArrayValue . . . "has index array value" . # # https://w3id.org/def/Solidity#hasInheritance . . . "has Inheritance" . # # https://w3id.org/def/Solidity#hasInterface . . . "has interface" . # # https://w3id.org/def/Solidity#hasInterfaceFunction . . . "has interface function" . # # https://w3id.org/def/Solidity#hasKeyMap . . . "has key map" . # # https://w3id.org/def/Solidity#hasModifierArguments . . . "has modifier arguments" . # # https://w3id.org/def/Solidity#hasModifierBehaviour . . . "has modifier behaviour" . # # https://w3id.org/def/Solidity#hasModifierOverrideType . . . "has modifier override type" . # # https://w3id.org/def/Solidity#hasNonConstantArrayType . . . "has non constant array type" . # # https://w3id.org/def/Solidity#hasNonConstantMapType . . . "has non constant map type" . # # https://w3id.org/def/Solidity#hasNonConstantStructAttribute . . . "has non constant struct attribute" . # # https://w3id.org/def/Solidity#hasNonConstantType . . . "has non constant type" . # # https://w3id.org/def/Solidity#hasOverrideReturn . . . "has override return" . # # https://w3id.org/def/Solidity#hasParameterType . . . "has parameter type" . # # https://w3id.org/def/Solidity#hasParameterTypeWithDataLocation . . . "has parameter type with data location" . # # https://w3id.org/def/Solidity#hasReceiveBehaviour . . . "has receive behaviour" . # # https://w3id.org/def/Solidity#hasReceiveVisibility . . . "has receive visibility" . # # https://w3id.org/def/Solidity#hasType . . . "has type" . # # https://w3id.org/def/Solidity#hasValueMap . . "has value map" . # # https://w3id.org/def/Solidity#isAbstract . . . "is abstract" . # # https://w3id.org/def/Solidity#isDefinedAs . . . "is defined as" . # # https://w3id.org/def/Solidity#isUsingLibrary . . . "is using library" . # # https://w3id.org/def/Solidity#simpleGeneric . . # # # # ################################################################# # # # # Data properties # # # ################################################################# # # # https://w3id.org/def/Solidity#attributeName . . . "attribute name" . # # https://w3id.org/def/Solidity#codelessFunctionName . . . "codeless function name" . # # https://w3id.org/def/Solidity#constructorCode . . . "constructor code" . # # https://w3id.org/def/Solidity#contractName . . . "contract name" . # # https://w3id.org/def/Solidity#eventName . . . "event name" . # # https://w3id.org/def/Solidity#fallbackCode . . . "fallback code" . # # https://w3id.org/def/Solidity#functionCode . . . "function code" . # # https://w3id.org/def/Solidity#functionName . . . "function name" . # # https://w3id.org/def/Solidity#hasIndex . . . "has index" . # # https://w3id.org/def/Solidity#hasParameterName . . . "has parameter name" . # # https://w3id.org/def/Solidity#hasParameterPosition . . . "has parameter position" . # # https://w3id.org/def/Solidity#importFrom . "import From" . # # https://w3id.org/def/Solidity#importName . "import Name" . # # https://w3id.org/def/Solidity#index . . . "index" . # # https://w3id.org/def/Solidity#isAnonymous . . . "is anonymous" . # # https://w3id.org/def/Solidity#isConstant . . . "is constant" . # # https://w3id.org/def/Solidity#isInmutable . . . "is inmutable" . # # https://w3id.org/def/Solidity#lenght . . . "lenght" . # # https://w3id.org/def/Solidity#memory . . . "memory" . # # https://w3id.org/def/Solidity#memoryM . . . "memory m" . # # https://w3id.org/def/Solidity#memoryN . . . "memory n" . # # https://w3id.org/def/Solidity#modifierCode . . . "modifier code" . # # https://w3id.org/def/Solidity#modifierName . . . "modifier name" . # # https://w3id.org/def/Solidity#option . . . "option" . # # https://w3id.org/def/Solidity#receiveCode . . . "receive code" . # # https://w3id.org/def/Solidity#simpleBool . . . "simple bool" . # # https://w3id.org/def/Solidity#simpleBytes . . . "simple bytes" . # # https://w3id.org/def/Solidity#simpleFixed . . . "simple fixed" . # # https://w3id.org/def/Solidity#simpleGeneric . # # https://w3id.org/def/Solidity#simpleInt . . . "simple int" . # # https://w3id.org/def/Solidity#simpleString . . . "simple string" . # # https://w3id.org/def/Solidity#usingForName . . . "using for name" . # # https://w3id.org/def/Solidity#version . . . "version" . # # # # ################################################################# # # # # Classes # # # ################################################################# # # # https://w3id.org/def/Solidity#Abstract . "Abstract" . # # https://w3id.org/def/Solidity#Address . . . "Address" . # # https://w3id.org/def/Solidity#ArrayAttributeSpecification . . "Array Attribute Specification" . # # https://w3id.org/def/Solidity#ArrayDimension . "Array Dimension" . # # https://w3id.org/def/Solidity#ArrayType . . . "Array Type" . # # https://w3id.org/def/Solidity#ArrayValue . "Array Value" . # # https://w3id.org/def/Solidity#ArrayValueSpecification . . "Array Value Specification" . # # https://w3id.org/def/Solidity#AttributeSpecification . "Attribute Specification" . # # https://w3id.org/def/Solidity#Bool . . "Bool" . # # https://w3id.org/def/Solidity#BoolValue . . "Bool Value" . # # https://w3id.org/def/Solidity#Bytes . . . "Bytes" . # # https://w3id.org/def/Solidity#BytesValue . . "Bytes Value" . # # https://w3id.org/def/Solidity#CodelessFunctionSpecification . "Codeless Function Specification" . # # https://w3id.org/def/Solidity#ConstantType . . "Constant Type" . # # https://w3id.org/def/Solidity#ConstructorSpecification . "Constructor Specification" . # # https://w3id.org/def/Solidity#Contract . . "Contract" . # # https://w3id.org/def/Solidity#ContractAttributeSpecification . . "Contract Attribute Specification" . # # https://w3id.org/def/Solidity#DataLocation . "Data Location" . # # https://w3id.org/def/Solidity#DualMemoryType . . "Dual Memory Type" . # # https://w3id.org/def/Solidity#ElementaryType . . . . "Elementary Type" . # # https://w3id.org/def/Solidity#EnumType . . . . "Enum Type" . # # https://w3id.org/def/Solidity#EventSpecification . "Event Specification" . # # https://w3id.org/def/Solidity#FRBehaviour . "F R Behaviour" . # # https://w3id.org/def/Solidity#FallbackSpecification . "Fallback Specification" . # # https://w3id.org/def/Solidity#FixedMxN . . "Fixed Mx N" . # # https://w3id.org/def/Solidity#FixedValue . . "Fixed Value" . # # https://w3id.org/def/Solidity#FunctionBehaviour . "Function Behaviour" . # # https://w3id.org/def/Solidity#FunctionSpecification . "Function Specification" . # # https://w3id.org/def/Solidity#GenericValue . . "Generic Value" . # # https://w3id.org/def/Solidity#Import . "Import" . # # https://w3id.org/def/Solidity#Int . . "Int" . # # https://w3id.org/def/Solidity#IntValue . . "Int Value" . # # https://w3id.org/def/Solidity#Interface . . "Interface" . # # https://w3id.org/def/Solidity#Library . . "Library" . # # https://w3id.org/def/Solidity#MapAttributeSpecification . . "Map Attribute Specification" . # # https://w3id.org/def/Solidity#MapKeyType . . . "Map Key Type" . # # https://w3id.org/def/Solidity#MapType . "Map Type" . # # https://w3id.org/def/Solidity#MemoryType . . . . "Memory Type" . # # https://w3id.org/def/Solidity#ModifierBehaviour . "Modifier Behaviour" . # # https://w3id.org/def/Solidity#ModifierOverrideSpecification . . "Modifier Override Specification" . # # https://w3id.org/def/Solidity#ModifierOverrideTipe . "Modifier Override Tipe" . # # https://w3id.org/def/Solidity#ModifierSpecification . "Modifier Specification" . # # https://w3id.org/def/Solidity#NonConstantAttributeSpecification . . "Non Constant Attribute Specification" . # # https://w3id.org/def/Solidity#NonConstantType . . "Non Constant Type" . # # https://w3id.org/def/Solidity#ParameterType . "Parameter Type" . # # https://w3id.org/def/Solidity#ParameterTypeWithDataLocation . . "Parameter Type With Data Location" . # # https://w3id.org/def/Solidity#ParameterVariableSpecification . . "Parameter Variable Specification" . # # https://w3id.org/def/Solidity#ReceiveSpecification . "Receive Specification" . # # https://w3id.org/def/Solidity#SimpleValueSpecification . . "Simple Value Specification" . # # https://w3id.org/def/Solidity#SingleMemoryType . . "Single Memory Type" . # # https://w3id.org/def/Solidity#SmartContract . . . . . . "Smart Contract" . # # https://w3id.org/def/Solidity#String . . . "String" . # # https://w3id.org/def/Solidity#StringValue . . "String Value" . # # https://w3id.org/def/Solidity#StructType . . . "Struct Type" . # # https://w3id.org/def/Solidity#Type . "Type" . # # https://w3id.org/def/Solidity#UfixedMxN . . "Ufixed Mx N" . # # https://w3id.org/def/Solidity#Uint . . "Uint" . # # https://w3id.org/def/Solidity#UsingForDirective . "Using For Directive" . # # https://w3id.org/def/Solidity#ValueSpecification . "Value Specification" . # # https://w3id.org/def/Solidity#Visibility . "Visibility" . # # # # ################################################################# # # # # Individuals # # # ################################################################# # # # https://w3id.org/def/Solidity#Calldata . . # # https://w3id.org/def/Solidity#External . . . # # https://w3id.org/def/Solidity#Internal . . # # https://w3id.org/def/Solidity#Memory . . # # https://w3id.org/def/Solidity#Override . . . # # https://w3id.org/def/Solidity#Payable . . . # # https://w3id.org/def/Solidity#Private . . # # https://w3id.org/def/Solidity#Public . . # # https://w3id.org/def/Solidity#Pure . . # # https://w3id.org/def/Solidity#Storage . . # # https://w3id.org/def/Solidity#View . . # # https://w3id.org/def/Solidity#Virtual . . . # # # # ################################################################# # # # # Annotations # # # ################################################################# # # "simple generic" . # # Generated by the OWL API (version 5.1.18) https://github.com/owlcs/owlapi/