Abstract
This paper presents the design and implementation of a software tool for modeling knowledge to be used in knowledge based systems or the Semantic Web [1]. The tool presented has been developed based on the Inferential Modeling Technique [2], which is a technique for modeling the static and dynamic knowledge elements of a problem domain. A major deficiency of existing tools is the lack of support for modeling dynamic knowledge. To address the inadequacy, the focus of this work is on dynamic knowledge modeling. To address the objective of modeling dynamic knowledge, a Protégé [3] plug-in, called Dyna, has been developed, which supports dynamic knowledge modeling. Task behaviour, which is a component ofdynamic knowledge, is being modeled using Task Behaviour Language (TBL), and test cases for task behaviour can be created in TBL. Test cases are runnable, enabling verification that the model is working as expected The dynamic knowledge models are stored in XML and OWL and can be shared and re-used The tool is applied for constructing a knowledge model in the petroleum contamination remediation selection domain.