Unverified Commit 8ed43bb7 authored by Maxime Lefrançois's avatar Maxime Lefrançois
Browse files

close #52

parent 03436e2d

ontology/saref.ttl

+3 −3
Original line number Diff line number Diff line
@@ -1509,14 +1509,14 @@ saref:isCommandOf a owl:ObjectProperty ; 
    rdfs:range [ a owl:Class ; owl:unionOf ( saref:Function saref:FunctionOfInterest ) ] .



saref:hasMandatoryCommand a owl:ObjectProperty ;

    owl:subPropertyOf saref:hasCommand ;

    rdfs:subPropertyOf saref:hasCommand ;

    rdfs:label "has mandatory command"@en ;

    rdfs:comment "Links a function and one of its mandatory commands"@en ;

    rdfs:domain saref:Function ;

    skos:historyNote "V3.2.1: Introduced mandatory and optional commands."@en .



saref:hasOptionalCommand a owl:ObjectProperty ;

    owl:subPropertyOf saref:hasCommand ;

    rdfs:subPropertyOf saref:hasCommand ;

    rdfs:label "has optional command"@en ;

    rdfs:comment "Links a function and one of its optional commands"@en ;

    rdfs:domain saref:Function .
@@ -1579,7 +1579,7 @@ saref:isCommandOfInterestOf a owl:ObjectProperty , owl:FunctionalProperty ; 
    rdfs:comment "Links a command of interest to the function of interest it is a command of."@en ;

    rdfs:label "is command of interest of"@en ;

    rdfs:domain saref:CommandOfInterest ;

    rdfs:range saref:FeatureOfInterest .

    rdfs:range saref:FunctionOfInterest .



## A command of interest is the command of (OP saref:isCommandOfInterestOf) exactly one function of interest.