1. Home
  2. Entities
  3. Properties
  4. http://ethon.consensys.net/Contracts/hasOutput

:hasOutput leaf node

URI

http://ethon.consensys.net/Contracts/hasOutput

Label

has Output

Description

Relates a Function to an Output of that Function. A Function may have 0 or more Outputs but an Output can only belong to a single Function.

Inherits from

  • :EthOnContractsObjectProperty

    • Usage

    DOMAINPROPERTYRANGE
    :Function :hasOutput :Output

    Implementation

    @prefix : <http://ethon.consensys.net/Contracts/> .
@prefix ethon: <http://ethon.consensys.net/> .
@prefix ns: <http://www.w3.org/2003/06/sw-vocab-status/ns#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .

:hasOutput a owl:InverseFunctionalProperty,
        owl:ObjectProperty ;
    rdfs:label "has Output"@en ;
    ethon:suggestedStringRepresentation "hasOutput" ;
    rdfs:comment "Relates a Function to an Output of that Function. A Function may have 0 or more Outputs but an Output can only belong to a single Function."@en ;
    rdfs:domain :Function ;
    rdfs:range :Output ;
    rdfs:subPropertyOf :EthOnContractsObjectProperty ;
    ns:term_status "unstable" .