| Formalise Knowledge Life Cycles | |
| type | Activity Instance |
| Description | Defining a formal life cycle calculus with a semantic based on the Barwise-Seligman Information Flow theory, and implementing a prototype based on the theory. |
| ID | |
| Actor | Marco Schorlemmer |
| Relevant Input | |
| Main Research Area | Formal Methods, Knowledge Lifecycle |
| Relevant Research Area | Knowledge Engineering, Knowledge Management, Knowledge Reuse |
| Start Time | Jan 2001 |
| Current Status | The formal description of the knowledge life cycle is finished, currently exploring further uses of the life cycle calculus. |
| Source Provider(real world) | |
| Cross References | |