Energy X functions lack realized in axioms

[l-emele]

Description of the issue

We have the following energy-related funcions:

• energy transformation function: An energy transformation function is the function of an artificial object that has been engineered to transform input energy into usable output energy of a different type.
  • electricity generation function: An electricity generation function is an energy transformation function to transform other types of energy to electrical energy.
  • heat generation function': A heat generation function is an energy transformation function to transform other types of energy to thermal energy.
  • renewable energy transformation function: A renewable energy function is the energy transformation function to transform renewable energy.
• energy transfer function: An energy transfer function is a function of an artificial object that has been engineered to transfer energy over a spatial distance.
• energy storage function: An energy storage function is the function of an artificial object that has been engineered to contain energy for later usage whereby input energy and usable output energy are of the same type.

But it is not yet axiomatised in which processes these functions are realised.

Ideas of solution

Add axioms:

• 'energy transformation function' 'realized in' some 'energy transformation'
• 'electricity generation function' 'realized in' some 'electricity generation process'
• 'heat generation function' 'realized in' some 'heat generation process'
• 'renewable energy transformation function' 'realized in' some ('energy transformation' and 'has participant' some 'renewable energy')
• 'energy transfer function' 'realized in' some 'energy transformation function'
• 'energy storage function' 'realized in' some 'energy storage process'

For the last one we need to add an energy storage process, but that is a concept that we anyway need to add sooner later.

Workflow checklist

• I discussed the issue with someone else than me before working on a solution
• I already read the latest version of the workflow for this repository
• The goal of this ontology is clear to me

I am aware that

• every entry in the ontology should have a definition
• classes should arise from concepts rather than from words

[l-emele]

For the last one we need to add an energy storage process, but that is a concept that we anyway need to add sooner later.

The related class energy storage function is defined as: An energy storage function is the function of an artificial object that has been engineered to contain energy for later usage whereby input energy and usable output energy are of the same type.

Also we have a somehow parallel class energy transfer: Energy transfer is an energy transformation in form of a spatial transmission, that does not change the types of energies, apart from losses, e.g. waste heat.
If you like, energy transfer is only changing the place, energy storage is only changing the time.

Thus I propose:

• energy storage: Energy storage is an energy transformation that temporally transfers energy for later usage whereby input energy and usable output energy are of the same type.

This definition proposal is still a bit clunky, but at least a start.

[stap-m]

Add axioms:

• 'energy transformation function' 'realized in' some 'energy transformation'
• 'electricity generation function' 'realized in' some 'electricity generation process'
• 'heat generation function' 'realized in' some 'heat generation process'
• 'renewable energy transformation function' 'realized in' some ('energy transformation' and 'has participant' some 'renewable energy')
• 'energy transfer function' 'realized in' some 'energy transfer'
• 'energy storage function' 'realized in' some 'energy storage process'

For the last one we need to add an energy storage process, but that is a concept that we anyway need to add sooner later.

Sounds reasonable. I edited the axiomon energy transfer.

energy storage (process) should be discussed together with charging, see #1622. Such a process only makes sense, when charging and discharging are referenced as subprocesses. Without them, storage is not process-like or a transformation (i.e. nothing is evolving in time etc.), but rather "continuant".

[l-emele]

I'll implement everything except the energy storage related stuff.