A Case Study in Using Protégé-2000 as a Tool for CommonKADS

Guus Schreiber, Social Science Informatics, University of Amsterdam, The Netherlands
Monica Crubézy and Mark Musen, Stanford Medical Informatics, Stanford University, US

This project is a case study in which Protégé-2000 was used to build a tool for constructing CommonKADS knowledge models. The case study tries to capitalize on the strong points of both approaches in the tool-support and modelling areas. We specify the CommonKADS knowledge model as an ontology in the Protégé specification formalism, and define a number of visualizations for the resulting types. The study shows that this type of usage of Protégé-2000 as a "metaCASE" tool is to a large extent feasible. In particular, the flexible class/instance distinction in Protégé is a feature that is needed for undertaking such a metamodelling exercise. The case study revealed a number of problems, such as the representation of rule types. The study also led to a set of new tool requirements, such as extended expressivity of the Protégé forms.

Follow the links below to download the CK-Protégé editor files:

• CK-Protégé tool using Protégé-2000 version 1.3.4 (stable release)
• CK-Protégé tool using Protégé-2000 version 1.4 (alpha release)

Here are some screen shots of the CK-Protégé tool.

You can get more information about Protégé-2000 and download it from here.

Questions? Send email to Guus or Monica.
Last updated: June 12, 2001