Skip to content

change partially applied function to applied function #10

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Open
ponachte wants to merge 1 commit into
base: master
Choose a base branch
from
Open

change partially applied function to applied function #10

Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
31 changes: 10 additions & 21 deletions fnoc.ttl
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -19,7 +19,7 @@

<https://w3id.org/function/vocabulary/composition#> rdf:type owl:Ontology ;
owl:versionIRI <https://w3id.org/function/vocabulary/composition/0.1.0> ;
dc:description "The Function Ontology Composition vocabulary specifies terms allowing function composition and partial application. The specification is online at https://w3id.org/function/spec"@en ;
dc:description "The Function Ontology Composition vocabulary specifies terms allowing function composition and application. The specification is online at https://w3id.org/function/spec"@en ;
dc:source <https://w3id.org/function/spec> ;
dc:title "The Function Ontology - Composition vocabulary"@en ;
dcterms:created "2021-07-15"^^xsd:date ;
Expand Down Expand Up @@ -144,7 +144,8 @@ foaf:primaryTopic rdf:type owl:AnnotationProperty .

### https://w3id.org/function/vocabulary/composition#applies
:applies rdf:type owl:ObjectProperty ;
rdfs:domain fno:Function ;
rdfs:domain fno:Function,
:AppliedFunction ;
rdfs:range fno:Function ;
rdfs:comment """Indicates that the [fno:Function] in the subject is a distinct application of the function in the
object of the triple. The distinct application has the same properties as the original. This construction allows
Expand Down Expand Up @@ -201,18 +202,6 @@ foaf:primaryTopic rdf:type owl:AnnotationProperty .
rdfs:label "mapTo"@en ;
vs:term_status "testing" .


### https://w3id.org/function/vocabulary/composition#partiallyApplies
:partiallyApplies rdf:type owl:ObjectProperty ;
rdfs:domain :PartiallyAppliedFunction ;
rdfs:range fno:Function ;
rdfs:comment """Expresses that the [fno:Function] in the subject is a partial application of the [fno:Function] referenced by the object.
It is expected that the partial application provides a constant value for at least one of the function's [fno:Parameter]s.
If no parameter values are specified the use of [:partiallyApplies] is equivalent to [:applies]."""@en ;
rdfs:isDefinedBy <https://w3id.org/function/vocabulary/composition> ;
rdfs:label "partiallyApplies"@en ;
vs:term_status "testing" .

:boundToTerm rdf:type owl:ObjectProperty ;
rdfs:domain :ParameterBinding ;
rdfs:comment """Specifies the constant value of a [:ParameterBinding], which can be any RDF term."""@en ;
Expand All @@ -229,9 +218,9 @@ foaf:primaryTopic rdf:type owl:AnnotationProperty .
vs:term_status "testing" .

:parameterBinding rdf:type owl:ObjectProperty ;
rdfs:domain :PartiallyAppliedFunction ;
rdfs:domain :AppliedFunction ;
rdfs:range :ParameterBinding ;
rdfs:comment """Specifies a [:ParameterBinding] of a [:PartiallyAppliedFunction]."""@en ;
rdfs:comment """Specifies a [:ParameterBinding] of a [:AppliedFunction]."""@en ;
rdfs:isDefinedBy <https://w3id.org/function/vocabulary/composition> ;
rdfs:label "::parameterBinding"@en ;
vs:term_status "testing" .
Expand Down Expand Up @@ -286,17 +275,17 @@ fno:Parameter rdf:type owl:Class .
rdfs:label "CompositionMappingEndpoint"@en ;
vs:term_status "testing" .

### https://w3id.org/function/vocabulary/composition#PartiallyAppliedFunction
:PartiallyAppliedFunction rdf:type owl:Class ;
### https://w3id.org/function/vocabulary/composition#AppliedFunction
:AppliedFunction rdf:type owl:Class ;
rdfs:subClassOf fno:Function ;
rdfs:comment "A [fno:Function] derived from another function by providing one or more, but not all parameter values."@en ;
rdfs:comment "A [fno:Function] derived from another function by providing one or more parameter values."@en ;
rdfs:isDefinedBy <https://w3id.org/function/vocabulary/composition> ;
rdfs:label "PartiallyAppliedFunction"@en ;
rdfs:label "AppliedFunction"@en ;
vs:term_status "testing" .

### https://w3id.org/function/vocabulary/composition#ParameterBinding
:ParameterBinding rdf:type owl:Class ;
rdfs:comment "Associates a constant term with a [fno:Parameter] in the specification of a [:PartiallyAppliedFunction]. The constant term is referenced via [:boundToTerm], the parameter via [:boundParameter]."@en ;
rdfs:comment "Associates a constant term with a [fno:Parameter] in the specification of a [:AppliedFunction]. The constant term is referenced via [:boundToTerm], the parameter via [:boundParameter]."@en ;
rdfs:isDefinedBy <https://w3id.org/function/vocabulary/composition> ;
rdfs:label ":ParameterBinding"@en ;
vs:term_status "testing" .
Expand Down