:hasInput leaf node


Label

has Input

Description

Relates an Event or a Function to an Input of that Event or Function. An Event or Function may have 0 or more Inputs but an Input can only belong to a single Event or Function.

Usage

DOMAINPROPERTYRANGE
Blank node (see implementation) :hasInput :Input

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 rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .

:hasInput a owl:InverseFunctionalProperty,
        owl:ObjectProperty ;
    rdfs:label "has Input"@en ;
    ethon:suggestedStringRepresentation "hasInput" ;
    rdfs:comment "Relates an Event or a Function to an Input of that Event or Function. An Event or Function may have 0 or more Inputs but an Input can only belong to a single Event or Function."@en ;
    rdfs:domain [ a owl:Class ;
            owl:unionOf ( :Event :Function ) ] ;
    rdfs:range :Input ;
    rdfs:subPropertyOf :EthOnContractsObjectProperty ;
    ns:term_status "unstable" .