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