Add relation 'has economic value'

[stap-m]

Description of the issue

From #866

We dont have a proper relation to connect e.g. emission certificate to CO2 price.
has quantity value-relations won't fit here.

Ideas of solution

We could define a relation like "has economic value".

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

[stap-m]

From #866 (comment) by @l-emele

I think we should add both economic value of as sub property of quantity value of and has economic value as sub property of has quantity value with economic value of being the inverse of has economic value.

Then we can e.g. add to social cost of carbon the axiom 'economic value' of some 'emission value'.

[stap-m]

The def of quantity value of is A relation that relates a quantity value to its entity in reality., like "length value" and "hub height". But what are the entities in reality of economic values? So, I'd rather not make a relation "economic value of" subproperty of "quantity value of" but have it on the same level as subproperty of is about.
@jannahastings what do you think?

[stap-m]

Btw, I spotted an inconsistency:

• emission value 'has quantity value' some 'emission quantity value'
• Def of emission quantity value is a quantity value that has a mass unit as unit. It is the quantity value of an emission value.
• But the axiom is: emission quantity value 'quantity value of' some 'emission certificate'

[l-emele]

I think, the last axiom should be the other way round ('emission certificate' 'has quantity value' some 'emission quantity value') and should be at the class emission certificate and not at the class emission quantity value, as every emission certificate is associated to an emission quantity value, but not every emission quantity value is associated to a emission certificate.

[stap-m]

To sum up the issue:

add relations

• economic value of as sub property of is about
• has economic value as sub property of has quantity value

add axiom:

• 'emission certificate' 'has quantity value' some 'emission quantity value'
• 'CO2 price' 'economic value of' some 'emission certificate' and 'emission certificate' 'has economic value' some 'CO2 price'
• social cost of carbon: 'economic value' of some 'emission value'
• good / commodity has economic value some price (and vice versa)

[stap-m]

Ready for implementation? @l-emele

[l-emele]

I think so.