Helping end users build and check process models is a challenge for many science and engineering fields. Many AI researchers have investigated useful ways of verifying and validating knowledge bases for ontologies and rules, but it is not easy to directly apply them to checking process models. Other techniques developed for checking and refining planning knowledge tend to focus on automated pla...

This paper describes the operation with the software environment called KSM (Knowledge Structure Manager) that supports a methodology for building and reusing knowledge models. The methodology is a useful tool for developers who need to build large and complex knowledge models in real world projects. The enviroment helps developers in applying the whole methodology to build the final system and...

Models of work processes and of organizations’ activities are an important part of workflow systems and simulations. However, acquiring and maintaining these models can be difficult. To assist the acquisition and maintenance of organizational models, we have developed a set of knowledge-acquisition tools suitable for use in the domain of medical organizations. In modeling medical organization p...

This paper reviews the document concept and compares analogue and digital documents. It introduces knowledge models as a superset of documents and explains the benefits of using knowledge models in Personal Knowledge Management (PKM).