The Function Ontology

The Function Ontology allows to declare and describe functions. The specification is online at http://users.ugent.be/~bjdmeest/function/

2016-03-08

2016-06-10

  • Ben De Meester

Classes

Algorithm

Algorithm

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.

Execution

Execution

An execution is the connection between a function and its input and output values.

Function

Function

The declared function

Output

Output

The definition of an output of a function

Parameter

Parameter

The definition of a parameter to a certain function

Problem

Problem

A certain problem that a function solves

Document

Document

Properties

executes

executes

Connects a function to an execution definition

 Execution 
 Function 

expects

expects

Connects a function description to an ordered list of zero or more parameter descriptions

 Function 
 List 

implements

implements

Connects a function to an algorithm it implements. A function can implement 0..n algorithms.

 Function 
 Algorithm 

returns

returns

Connects a description of a function to the description of the output

 Function 
 Output 

solves

solves

Connects a description of a function to the description of a problem it tries to solve.

 Function 
 Problem 

predicate

predicate

Connects a parameter description to the predicate used to link executions of this function to their parameter.

 Parameter 
 Property 

type

type

Connects an output or a parameter description to the type of instances of these parameters or outputs.

 
 Property 

name

name

Connects a function or a parameter to its name.

 Function 
 string 

required

required

Defines if a parameter or an output is required.

 
 boolean 

nullable

nullable

Defines if a parameteris nullable.

 
 boolean