Handbook of Applied Cryptography
Handbook of Applied Cryptography
The evolution of Protégé: an environment for knowledge-based systems development
International Journal of Human-Computer Studies
Ontological Engineering: with examples from the areas of Knowledge Management, e-Commerce and the Semantic Web. (Advanced Information and Knowledge Processing)
Reasoning with multi-version ontologies: a temporal logic approach
ISWC'05 Proceedings of the 4th international conference on The Semantic Web
A framework for ontology evolution in collaborative environments
ISWC'06 Proceedings of the 5th international conference on The Semantic Web
| Hi-index | 0.00 |
This paper presents the design and implementation of an ontology construction support tool. The Inferential Modeling Technique (IMT) (Chan, 2004), which is a technique for modeling the static and dynamic knowledge elements of a problem domain, provided the basis for the design of the tool. Existing tools lack support for modeling dynamic knowledge as defined by the IMT. Therefore, the focus of this work is development of a Protégé (Gennari, 2003) plug-in, called Dyna, which supports dynamic knowledge modeling and testing. Within Dyna, the Task Behaviour Language (TBL) supports formalized representation of the task behaviour component of dynamic knowledge. The interpreter for TBL can also enable the task behaviour representation to be run and tested, thus enabling verification and testing of the model. Dyna also supports storing the dynamic knowledge models in XML and OWL so that they can be shared and re-used across systems. The tool is applied for constructing an ontology model in the domain of petroleum contamination remediation selection.