Ontology: rotational energy should be included

[sfluegel05]

Description of the issue

This comes from #761.

rotational energy is used in the definitions of motor, turbine and some of their subclasses. For example, _A turbine is an energy converting device that converts energy from a moving fluid flow into rotational energy._

Therefore, it would be useful to have the concept rotational energy and make axiomatic connections.

Ideas of solution

_Rotational energy is kinetic energy due to the rotation of an object._ (source)

Discussion summary

We discussed and agreed on the following so far:

• add class rotational energy: _Rotational energy is the kinetic energy that a material entity possesses due to its rotational motion._
• redefine motor: _A motor is an energy converting device that converts other forms of energy into kinetic energy._ (delete "rotational")
• redefine electric motor: _An electric motor is a motor that converts electrical energy into kinetic energy._ ("an energy converting device" -> "a motor")
• redefine internal combustion engine: _An internal combustion engine is a motor that converts chemical energy into kinetic energy using a cyclic combustion process._ ("an energy converting device" -> "a motor", "rotational" -> "kinetic")
  
  
  
  • add axiom participates in some combustion
  
  
• change annotation property of motor and subclasses from dc:description to definition
• change axioms of turbine and subclasses: produces some rotational energy (instead of produces some kinetic energy)

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

[KaiSchnepf]

Your idea of solution sounds good!
If we want to stay closer to our definition of kinetic energy, I would suggest:
_Rotational energy is the kinetic energy that a material entity possesses due to its rotational motion._

[stap-m]

Rotational energy is kinetic energy due to the rotation of an object. (source)

We should avoid the term "object" in this case. The proposal by @KaiSchnepf is quite precise.

[stap-m]

@KaiSchnepf do you want to implement?

[KaiSchnepf]

@stap-m I can do it.

I´m not sure if I have to open a new issue for that but I don´t think so:

I just detected that the definitions of electric motor and motor are unprecise if we add rotational energy:

1. electric motor has the definition:
   _An electric motor is an energy converting device that converts electrical energy into kinetic energy._
   I only know electric motors which convert electrical energy into rotational energy.

2. motor has the definition:
   _A motor is an energy converting device that converts other forms of energy into rotational kinetic energy._
   I could implement rotational kinetic energy as an alternative term to cover doublings.

[l-emele]

I´m not sure if I have to open a new issue for that but I don´t think so:

As it its related to the rotational energy I think we can discuss that here.

I just detected that the definitions of electric motor and motor are unprecise if we add rotational energy:

1. `electric motor` has the definition:
   _An electric motor is an energy converting device that converts electrical energy into kinetic energy._
   I only know electric motors which convert electrical energy into rotational energy.

There are also electric linear motors that convert electrical energy into a linear motion. One famous application of a linear motor is the Transrapid, a maglev mono-rail high speed train.

2. `motor` has the definition:
   _A motor is an energy converting device that converts other forms of energy into rotational kinetic energy._
   I could implement `rotational kinetic energy` as an `alternative term` to cover doublings.

As there exists also linear motors, I suggest re-defining motor by deleting the word rotational: _A motor is an energy converting device that converts other forms of energy into kinetic energy._

[sfluegel05]

I agree with the re-definition of motor.
Other minor things we should change:

• Since electric motor is a direct subclass of motor, we should define it as _An electric motor is ~an energy converting device~ a motor that converts electrical energy into kinetic energy._
• motor and its subclasses use the annotation property _dc:description_, which should be _definition_ instead.
• turbine and its subclasses are defined as converting something _into rotational energy_. Therefore we should change the corresponding axioms to _produces some ~kinetic energy~ rotational energy_

[l-emele]

I fully agree with your changes.

[KaiSchnepf]

I agree, too.
If we change the definition of electric motor, I would suggest to re-define internal combustion engine because it´s also a subclass of motor:
_An internal combustion engine is an energy converting device a motor that converts chemical energy into into rotational energy using a cyclic combustion process._
We should also change the corresponding axiom to _produces some kinetic energy rotational energy_

[l-emele]

You're right.

Seems we have a solution that can be implemented.

[KaiSchnepf]

Before I create a pull request, I need to add something that should be discussed:
While researching I found a Free-piston linear generator which uses a two-stroke combustion process and converts chemical energy into linear kinetic energy.
A video from DLR explains the principle very well, unfortunately only in german.

Although it´s named as a generator, it uses an internal combustion process.
The definition of generator in our ontology would include this free-piston linear generator: _A generator is an energy converting device that converts other forms of energy into electrical energy._ But we don´t have a subclass which would fit.

I would define the internal combustion engine:
_An internal combustion engine is a motor that converts chemical energy into rotational kinetic energy using a cyclic combustion process._
So we keep the corresponding axiom: _produces some rotational kinetic energy_

[l-emele]

I agree to the proposed definition: _An internal combustion engine is a motor that converts chemical energy into rotational kinetic energy using a cyclic combustion process._
While touching internal combustion enginewe should also add the axiom: 'participates in' some combustion.

[sfluegel05]

We should change the definition of motor as well, since it is the parent class of internal combustion engine: _A motor is an energy converting device that converts other forms of energy into ~rotational~ kinetic energy._

[l-emele]

We should change the definition of motor as well, since it is the parent class of internal combustion engine: _A motor is an energy converting device that converts other forms of energy into ~rotational~ kinetic energy._

Yes, see #issuecomment-884061741.

A summary on what we already agreed on would be helpful.

[sfluegel05]

Sorry, I overlooked that. I added a summary to the issue header.

[KaiSchnepf]

I have one question because of protege:
Am I right that I have to implement the axiom participates in some combustion at internal combustion engine as a SubClass Of?
The problem is: I can´t usecombustion. I tried redox reaction which worked. Do you know how I can solve it?
Thanks for your support!

[sfluegel05]

Am I right that I have to implement the axiom participates in some combustion at internal combustion engine as a SubClass Of?

Exactly.

The problem is: I can´t usecombustion. I tried redox reaction which worked. Do you know how I can solve it?

If you have a label that contains a space, you have to put it in apostrophes, i.e. _'redox reaction'_. If your label doesn't contain spaces, you are not allowed to use apostrophes, so you have to write _combustion_. Maybe this helps.