@prefix : . @prefix owl: . @prefix rdf: . @prefix xml: . @prefix xsd: . @prefix rdfs: . @base . rdf:type owl:Ontology ; owl:versionIRI ; ; , ; "The Function Ontology allows to declare and describe functions. The specification is online at https://w3id.org/function/spec"@en ; "2016-03-08"^^xsd:date ; "2019-05-29"^^xsd:date ; ; "Copyright © Ghent University – imec – IDLab"@en ; "The Function Ontology"@en ; "fno" ; "https://w3id.org/function/ontology#" ; rdfs:comment """-Version 0.6.0: fno:ReturnMapping -Version 0.5.1: fno:type a ObjectProperty -Version 0.5.0: added Mapping and Implementation classes. -Version 0.4.1: wrong range definition, updated descriptions. -Version 0.4: added some properties -Version 0.3: improved comments. -Version 0.2: added extra metadata. -Version 0.1: creation."""@en ; rdfs:label "The Function Ontology"@en ; rdfs:seeAlso ; owl:priorVersion "https://w3id.org/function/ontology/0.5.1" ; owl:versionInfo "0.6.0" ; . ################################################################# # Annotation properties ################################################################# ### http://creativecommons.org/ns#license rdf:type owl:AnnotationProperty . ### http://purl.org/dc/terms/creator rdf:type owl:AnnotationProperty . ### http://purl.org/dc/terms/description rdf:type owl:AnnotationProperty . ### http://purl.org/dc/terms/issued rdf:type owl:AnnotationProperty . ### http://purl.org/dc/terms/modified rdf:type owl:AnnotationProperty . ### http://purl.org/dc/terms/publisher rdf:type owl:AnnotationProperty . ### http://purl.org/dc/terms/rights rdf:type owl:AnnotationProperty . ### http://purl.org/dc/terms/title rdf:type owl:AnnotationProperty . ### http://purl.org/vocab/vann/preferredNamespacePrefix rdf:type owl:AnnotationProperty . ### http://purl.org/vocab/vann/preferredNamespaceUri rdf:type owl:AnnotationProperty . ### http://www.w3.org/2003/06/sw-vocab-status/ns#term_status rdf:type owl:AnnotationProperty . ### http://xmlns.com/foaf/0.1/mbox rdf:type owl:AnnotationProperty . ### http://xmlns.com/foaf/0.1/name rdf:type owl:AnnotationProperty . ### http://xmlns.com/foaf/0.1/primaryTopic rdf:type owl:AnnotationProperty . ### https://w3id.org/function/ontology#name :name rdfs:comment "Connects a function or a parameter to its name."@en ; rdfs:isDefinedBy : ; rdfs:label "name"@en ; "testing" ; rdf:type owl:AnnotationProperty ; rdfs:subPropertyOf rdfs:label ; rdfs:range xsd:string ; rdfs:domain :Function . ################################################################# # Datatypes ################################################################# ### http://www.w3.org/2001/XMLSchema#date xsd:date rdf:type rdfs:Datatype . ################################################################# # Object Properties ################################################################# ### https://w3id.org/function/ontology#executes :executes rdf:type owl:ObjectProperty ; rdfs:domain :Execution ; rdfs:range :Function ; rdfs:comment "Connects a function to an execution definition"@en ; rdfs:isDefinedBy : ; rdfs:label "executes"@en ; "testing" . ### https://w3id.org/function/ontology#expects :expects rdf:type owl:ObjectProperty ; rdfs:domain :Function ; rdfs:range rdf:List ; rdfs:comment "Connects a function description to an ordered list of zero or more parameter descriptions"@en ; rdfs:isDefinedBy : ; rdfs:label "expects"@en ; "testing" . ### https://w3id.org/function/ontology#function :function rdf:type owl:ObjectProperty ; rdfs:domain :Mapping ; rdfs:range :Function ; rdfs:comment "Connects a function to a mapping definition"@en ; rdfs:isDefinedBy : ; rdfs:label "function"@en ; "testing" . ### https://w3id.org/function/ontology#implementation :implementation rdf:type owl:ObjectProperty ; rdfs:domain :Mapping ; rdfs:range :Implementation ; rdfs:comment "Connects an implementation to a mapping definition"@en ; rdfs:isDefinedBy : ; rdfs:label "implementation"@en ; "testing" . ### https://w3id.org/function/ontology#implements :implements rdf:type owl:ObjectProperty ; rdfs:domain :Function ; rdfs:range :Algorithm ; rdfs:comment "Connects a function to an algorithm it implements. A function can implement 0..n algorithms."@en ; rdfs:isDefinedBy : ; rdfs:label "implements"@en ; "testing" . ### https://w3id.org/function/ontology#methodMapping :methodMapping rdf:type owl:ObjectProperty ; rdfs:domain :Mapping ; rdfs:range :MethodMapping ; rdfs:comment "Connects a method mapping to a mapping definition"@en ; rdfs:isDefinedBy : ; rdfs:label "method mapping"@en ; "testing" . ### https://w3id.org/function/ontology#parameterMapping :parameterMapping rdf:type owl:ObjectProperty ; rdfs:domain :Mapping ; rdfs:range :ParameterMapping ; rdfs:comment "Connects a parameter mapping to a mapping definition"@en ; rdfs:isDefinedBy : ; rdfs:label "parameter mapping"@en ; "testing" . ### https://w3id.org/function/ontology#predicate :predicate rdf:type owl:ObjectProperty ; rdfs:domain :Parameter ; rdfs:range rdf:Property ; rdfs:comment "Connects a parameter description to the predicate used to link executions of this function to their parameter."@en ; rdfs:isDefinedBy : ; rdfs:label "predicate"@en ; "testing" . ### https://w3id.org/function/ontology#returnMapping :returnMapping rdf:type owl:ObjectProperty ; rdfs:domain :Mapping ; rdfs:range :ReturnMapping ; rdfs:comment "Connects a return mapping to a mapping definition"@en ; rdfs:isDefinedBy : ; rdfs:label "return mapping"@en ; "testing" . ### https://w3id.org/function/ontology#returns :returns rdf:type owl:ObjectProperty ; rdfs:domain :Function ; rdfs:range rdf:List ; rdfs:comment "Connects a description of a function to the description of the output"@en ; rdfs:isDefinedBy : ; rdfs:label "returns"@en ; "testing" . ### https://w3id.org/function/ontology#solves :solves rdf:type owl:ObjectProperty ; rdfs:domain :Function ; rdfs:range :Problem ; rdfs:comment "Connects a description of a function to the description of a problem it tries to solve."@en ; rdfs:isDefinedBy : ; rdfs:label "solves"@en ; "testing" . ### https://w3id.org/function/ontology#type :type rdf:type owl:ObjectProperty ; rdfs:comment "Connects an output or a parameter description to the type of instances of these parameters or outputs."@en ; rdfs:isDefinedBy : ; rdfs:label "type"@en ; "testing" . ### https://w3id.org/function/ontology#uses :uses rdf:type owl:ObjectProperty ; rdfs:domain :Execution ; rdfs:range :Mapping ; rdfs:comment "Connects an execution to a mapping definition"@en ; rdfs:isDefinedBy : ; rdfs:label "uses"@en ; "testing" . ################################################################# # Data properties ################################################################# ### https://w3id.org/function/ontology#nullable :nullable rdf:type owl:DatatypeProperty ; rdfs:range xsd:boolean ; rdfs:comment "Defines if a parameteris nullable."@en ; rdfs:isDefinedBy : ; rdfs:label "nullable"@en ; "testing" . ### https://w3id.org/function/ontology#required :required rdf:type owl:DatatypeProperty ; rdfs:range xsd:boolean ; rdfs:comment "Defines if a parameter or an output is required."@en ; rdfs:isDefinedBy : ; rdfs:label "required"@en ; "testing" . ################################################################# # Classes ################################################################# ### http://purl.org/vocommons/voaf#Vocabulary rdf:type owl:Class . ### http://www.w3.org/1999/02/22-rdf-syntax-ns#List rdf:List rdf:type owl:Class . ### http://www.w3.org/1999/02/22-rdf-syntax-ns#Property rdf:Property rdf:type owl:Class . ### http://xmlns.com/foaf/0.1/Person rdf:type owl:Class . ### https://w3id.org/function/ontology#Algorithm :Algorithm rdf:type owl:Class ; rdfs:comment "A declaration of an algorithm. An algorithm is a specified set of instructions, independent of its implementation. There is no one-to-one mapping between an algorithm and a problem."@en ; rdfs:isDefinedBy : ; rdfs:label "Algorithm"@en ; "testing" . ### https://w3id.org/function/ontology#Execution :Execution rdf:type owl:Class ; rdfs:comment "An execution is the connection between a function and its input and output values."@en ; rdfs:isDefinedBy : ; rdfs:label "Execution"@en ; "testing" . ### https://w3id.org/function/ontology#Function :Function rdf:type owl:Class ; rdfs:comment "The declared function"@en ; rdfs:isDefinedBy : ; rdfs:label "Function"@en ; "testing" . ### https://w3id.org/function/ontology#Implementation :Implementation rdf:type owl:Class ; rdfs:comment "A certain implementation of a function"@en ; rdfs:isDefinedBy : ; rdfs:label "Implementation"@en ; "testing" . ### https://w3id.org/function/ontology#Mapping :Mapping rdf:type owl:Class ; rdfs:comment "A mapping connects a function to an implementation"@en ; rdfs:isDefinedBy : ; rdfs:label "Mapping"@en ; "testing" . ### https://w3id.org/function/ontology#MethodMapping :MethodMapping rdf:type owl:Class ; rdfs:comment "A method mapping unambiguously specifies how the abstract function can be mapped to the implemented method. This can be, e.g., the name of the method"@en ; rdfs:isDefinedBy : ; rdfs:label "Method mapping"@en ; "testing" . ### https://w3id.org/function/ontology#Output :Output rdf:type owl:Class ; rdfs:comment "The definition of an output of a function"@en ; rdfs:isDefinedBy : ; rdfs:label "Output"@en ; "testing" . ### https://w3id.org/function/ontology#Parameter :Parameter rdf:type owl:Class ; rdfs:comment "The definition of a parameter to a certain function"@en ; rdfs:isDefinedBy : ; rdfs:label "Parameter"@en ; "testing" . ### https://w3id.org/function/ontology#ParameterMapping :ParameterMapping rdf:type owl:Class ; rdfs:comment "A parameter mapping unambiguously specifies how the abstract parameter can be mapped to the implemented method's argument. For example: Parameter X is mapped to the third argument of the method (a position parameter mapping, common for programming languages), or to property with name Y of the method (a property parameter mapping, common for Web APIs)"@en ; rdfs:isDefinedBy : ; rdfs:label "Parameter mapping"@en ; "testing" . ### https://w3id.org/function/ontology#Problem :Problem rdf:type owl:Class ; rdfs:comment "A certain problem that a function solves"@en ; rdfs:isDefinedBy : ; rdfs:label "Problem"@en ; "testing" . ### https://w3id.org/function/ontology#ReturnMapping :ReturnMapping rdf:type owl:Class ; rdfs:comment "A return mapping unambiguously specifies how the abstract output can be mapped to the implemented method's return value. For example: the return value of the method, or the thrown error of a the method"@en ; rdfs:isDefinedBy : ; rdfs:label "Return mapping"@en ; "testing" . ################################################################# # Individuals ################################################################# ### https://ben.de-meester.org/#me rdf:type owl:NamedIndividual , ; rdfs:label "Ben De Meester"@en ; "mailto:Ben.DeMeester@UGent.be" ; "Ben De Meester"@en . ### https://data.verborgh.org/people/anastasia_dimou rdf:type owl:NamedIndividual , ; rdfs:label "Anastasia Dimou"@en ; "mailto:Anastasia.dimou@UGent.be" ; "Anastasia Dimou"@en . ### https://w3id.org/function/ontology rdf:type owl:NamedIndividual , . ### Generated by the OWL API (version 5.1.9) https://github.com/owlcs/owlapi/