Permanent link to this class
Semantically Integrated Planning Model
loading...| Preferred Name |
capability |
| Definitions |
A capability 'c' is a disposition which inheres in an artifact 'a', such that a) demarcates the extent by which some function 'f', inhering in artifact 'a', is realized in some process 'p', a participates in, and b) predicts some change of state for 'a' or some other object 'a’', which also participate in process 'p'. |
| ID |
http://simpom.ohio.edu/mfg-planning#capability |
| IAO_0000115 |
A capability 'c' is a disposition which inheres in an artifact 'a', such that a) demarcates the extent by which some function 'f', inhering in artifact 'a', is realized in some process 'p', a participates in, and b) predicts some change of state for 'a' or some other object 'a’', which also participate in process 'p'. |
| IAO_0000600 |
What we broadly mean by the statement ‘capability demarcates function’ is that when such function is realized upon completion of a process, the result of the process can be predicted based on the associated capability. Precisely, on completion of a process, the capability of an artifact predicts some change of state for the participant artifact or some other artifact, which also participates in the same process. For example, the spindle of the milling machine realizes the spinning function when it is turned on. Some associated capability can demarcate such function by asserting that the maximum speed of the rotation is 2400 rpm. Therefore, if the rotational speed of the mill is increased from 0 to x when the mill is started, we can at least predict that x should be less than or equal to 2400 rpm. |
| IAO_0000602 |
forall p exists i (process(p) and Interval(i) and occurs(p,i) implies exists a q t_b t_e (participate_in(a,p) and beginAt(i,t_b) and endAt(i,t_e) and not holds(a,q,t_b) and holds(a,q,t_e) and exists c a' (bearerOf(a',c) and participate(a', p) and (max(c) >= q) and (q =< min(c)) and (a != a')))) forall p exists i (process(p) and Interval(i) and occurs(p,i) implies exists a q t_b t_e (participate_in(a,p) and beginAt(i,t_b) and endAt(i,t_e) and not holds(a,q,t_b) and holds(a,q,t_e) and exists c (bearerOf(a,c) and (max(c) >= q) and (q =< min(c))))) |
| label |
capability |
| prefLabel |
capability |
| subClassOf |
| Delete | Subject | Author | Type | Created |
|---|---|---|---|---|
| No notes to display |