Ben De Meester mailto:Ben.DeMeester@UGent.be Ben De Meester Anastasia Dimou mailto:Anastasia.dimou@UGent.be Anastasia Dimou The Function Ontology allows to declare and describe functions. The specification is online at https://w3id.org/function/spec 函数本体允许定义和描述函数。在线规范:https://w3id.org/function/spec 2016-03-08 2019-05-29 Copyright © Ghent University – imec – IDLab The Function Ontology 函数本体 fno https://w3id.org/function/ontology# -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. The Function Ontology 函数本体 https://w3id.org/function/ontology/0.5.1 0.6.0 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. 算法定义。算法是独立于实现的一组特定指令的结合。算法和问题之间没有一对一映射。 Algorithm 算法 testing An execution is the connection between a function and its input and output values. 执行连接了函数和它的输入输出值。 Execution 执行 testing The declared function 定义的函数 Function 函数 testing A certain implementation of a function 函数的特定实现。 Implementation 实现 testing A mapping connects a function to an implementation 映射关联了函数和实现。 Mapping 映射 testing 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 方法映射明确指定了抽象函数如何映射到具体的实现方法。可以是,比如,方法的名称。 Method mapping 方法映射 testing The definition of an output of a function 定义了函数的输出。 Output 输出 testing The definition of a parameter to a certain function 定义了特定函数的参数。 Parameter 参数 testing 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) 参数映射明确指定了抽象参数如何映射到具体的实现方法的参数。比如:参数X映射到某个方法的第三个参数(位置参数映射,常见于编程语言),或该方法带有名称Y的属性(属性参数映射,常见于Web API)。 Parameter mapping 参数映射 testing A certain problem that a function solves 函数所解决的特定问题。 Problem 问题 testing 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 返回映射明确指定了抽象输出如何映射到具体的实现方法的返回值。比如:方法的返回值,或方法抛出的异常。 Return mapping 返回映射 testing Connects a function to an execution definition 将一个函数关联一个执行定义。 executes 执行 testing Connects a function description to an ordered list of zero or more parameter descriptions 将一个函数描述关联到一组有序的0或多个参数描述。 expects 期望 testing Connects a function to a mapping definition 关联了函数和映射定义。 function 函数 testing Connects an implementation to a mapping definition 关联了实现和映射定义。 implementation 实现 testing Connects a function to an algorithm it implements. A function can implement 0..n algorithms. 将一个函数关联到它所实现的算法。一个函数可以实现0~n个算法。 implements 实现 testing Connects a method mapping to a mapping definition 关联了方法映射和映射定义。 method mapping 方法映射 testing Connects a function or a parameter to its name. 函数或参数的名称。 name 名称 testing Defines if a parameteris nullable. 定义了一个参数是否是可空的。 nullable 可空的 testing Connects a parameter mapping to a mapping definition 关联了参数映射和映射定义。 parameter mapping 参数映射 testing Connects a parameter description to the predicate used to link executions of this function to their parameter. 将一个参数描述关联到用于链接函数执行和参数的谓词。 predicate 谓词 testing Defines if a parameter or an output is required. 定义了一个参数或输出是否是必须的。 required 必须的 testing Connects a return mapping to a mapping definition 关联了返回映射和映射定义。 return mapping 返回映射 testing Connects a description of a function to the description of the output 将一个函数描述关联到输出的描述。 returns 返回 testing Connects a description of a function to the description of a problem it tries to solve. 将一个函数描述关联到它所尝试解决的问题。 solves 解决 testing Connects an output or a parameter description to the type of instances of these parameters or outputs. 将输出或参数描述关联到这些参数或输出的实例类型。 type 类型 testing Connects an execution to a mapping definition 关联了执行和映射定义。 uses 使用 testing