Open stap-m opened 8 months ago
First proposal: industrial technology
: An industrial technology is a technology that describes how to combine industrial plant, energy transformations, material transformation, energy, energy carriers and other materials in a specific way to produce an industrial material.
We don't have yet industrial plant
, so let's define it: An industrial plant is an artificial object that applies one or more industrial processes to produce one more kinds of industrial products.
@stap-m : Do you agree to those two proposals? If so, I will implement.
I agree.
Hm, industrial process
is missing in the definitions above. That process 'has output' some 'object aggregate' or object'
.
However, we also have industrial material
: An industrial material is a portion of matter that is the physical output of an industrial process and that has a good role.
I think, we need to align these classes.
The proposed and currently implemented definition above is: An industrial technology is a technology that describes how to combine industrial plant, energy transformations, material transformation, energy, energy carriers and other materials in a specific way to produce an industrial material.
However, so far I only axiomatised this:
'industrial technology' 'is about' some
('industrial plant'
and ('participates in' some
('industrial process'
and ('has physical output' some 'industrial material'))))
This would resemble a definition like: An industrial technology is a technology that describes how to combine industrial plants and industrial processes to produce industrial materials.
The class industrial process
itself is defined as:
To me, every industrial process has at least energy transformations and material transformations as subprocesses. So I suggest the following redefinition:
'industrial process' 'has part' some 'energy transformation' and 'has part' some 'material transformation'
industrial process' 'has output' (some ('artificial object' or 'object aggregate') and 'has role' some 'good role')
So if we improve industrial process
, we don't need to put so much into industrial technology
.
[^1]: I replaced object
with artifical object
here, as an industrial process cannot produce non-artificial objects. The only non-artifical object class we currently have is person
.
Further, I noticed that industrial material
is defined as An industrial material is a portion of matter that is the physical output of an industrial process and that has a good role. But we axiomatised it as ('physical output of' some 'industrial process') and ('has role' some 'COMMODITY role')
.
I think, both industrial material
and industrial commodity
are useful concepts, so I suggest to fix this by simply having two classes:
industrial material
: An industrial material is a portion of matter that is the physical output of an industrial process and that has a good role. Axiom: ('physical output of' some 'industrial process') and ('has role' some 'GOOD role')
industrial commodity
: An industrial commodity is a portion of matter that is the physical output of an industrial process and that has a commodity role. Axiom: ('physical output of' some 'industrial process') and ('has role' some 'COMMODITY role')
. This will then be an (inferred) subclass industrial material
.
Description of the issue
Based on
industrial materials
Use case: OEKG and description of industrial process technologies, that use energy carriers not (only) for energetic purpose. Related to #1572Ideas of solution
If you already have ideas for the solution describe them here
Workflow checklist
I am aware that