Diagram (this article has no graphical representation)
Name: | Material Transformation |
---|---|
Submitted by: | AdilaKrisnadhi |
Also Known As: | |
Intent: | To contextualize the transformation process from raw components and the required equipment to a final manufactured artifact. |
Domains: | |
Competency Questions: |
Where did the transformation take place? What was the time necessary for the transformation? What other materials or conditions were necessary for the transformation process to occur? What materials change during the transformation? How much energy is required for the transformation to take place? |
Solution description: | |
Reusable OWL Building Block: | 1 (27) |
Consequences: | This is not a very generic pattern describing a change of states. It may not be applicable to broader types of transformation, like change of money, or change of political affiliations, etc. |
Scenarios: | A pile of wood is transformed into ash by burning.
Emboddied energy involved in the process of mixing aggregate, water, cement and other binders to create concrete. Materials required to construct a manufactured artifact such as a window (glass, wood, aluminum). |
Known Uses: | |
Web References: | |
Other References: | |
Examples (OWL files): | |
Extracted From: | |
Reengineered From: | |
Has Components: | |
Specialization Of: | |
Related CPs: |
The Material Transformation Content OP locally defines the following ontology elements:
No scenario is added to this Content OP.
This revision (revision ID 11908) takes in account the reviews: none
Other info at evaluation tab
There are two axioms that we need in this pattern but not expressible in OWL.
The first says that there is at least one of the input that is not in the output of the transformation, which cannot be expressed in FOL as the formula:
ALL x.( MaterialTransformation(x) IMPLIES Exists y.(hasInput(x,y) AND NOT hasOutput(x,y) ) )
The second states that there is at least one of the output that is not part of the input of the transformation:
ALL x.( MaterialTransformation(x) IMPLIES Exists y.(hasOutput(x,y) AND NOT hasInput(x,y) ) )
Thus, this OWL encoding does not contain any axiom expressing the above two.