Skip to main content
Springer Nature Link
Log in

Dyna: A Tool for Dynamic Knowledge Modeling

  • Chapter
Transactions on Computational Science V

Part of the book series: Lecture Notes in Computer Science ((TCOMPUTATSCIE,volume 5540))

  • 489 Accesses

Abstract

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  1. Berners-Lee, T., Hendler, J., Lassila, O.: The Semantic Web. Scientific American (May 2001)

    Google Scholar 

  2. Chan, C.W.: From Knowledge Modeling to Ontology Construction. Int. Journal of Software Engineering and Knowledge Engineering 14(6) (December 2004)

    Google Scholar 

  3. Chan, C.W., Huang, G., Hu, Z.: Development of an Expert Decision Support System for Selection of Remediation Technologies for Petroleum-Contaminated Sites, Final Report for Petroleum Technology Research Center, Project No. 00-03-018, University of Regina, Regina, SK, Canada (May 2002)

    Google Scholar 

  4. Chan, C.W.: Development and Application of A Knowledge Modeling Technique. Journal of Experimental and Theoretical Artificial Intelligence 7(2), 217–236 (1995)

    Article  MATH  Google Scholar 

  5. Chen, L.L.: Construction of an ontology for the domain of selecting remediation techniques for petroleum contaminated sites, M.A.Sc. Thesis, University of Regina, Canada (2001)

    Google Scholar 

  6. Cranefield, S., Pan, J., Purvis, M.: A UML Ontology and Derived Content Language for a Travel Booking Scenario. In: OAS 2003, pp. 55–62 (2003)

    Google Scholar 

  7. Das, A., Wu, W., McGuinness, D.: Industrial Strength Ontology Management. In: Proceedings of SWWS 2001, The First Semantic Web Working Symposium, August 2001, pp. 17–38 (2001)

    Google Scholar 

  8. Fensel, D., Harmelen, F., van Ding, Y., Klein, M., Akkermans, H., Broekstra, J., Kampman, A., van der Meer, J., Studer, R., Sure, Y., Davies, J., Duke, A., Engels, R., Iosif, V., Kiryakov, A., Lau, T., Reimer, U., Horrocks, I.: On-To-Knowledge in a Nutshell. IEEE Computer (2002)

    Google Scholar 

  9. Gabel, T., Sure, Y., Voelker, J.: KAON- An Overview (April 7, 2004)

    Google Scholar 

  10. Gal, A., Eyal, A., Roitman, H., Jamil, H., Anaby-Tavor, A., Modica, G., Enan, M.: OntoBuilder (2006), http://iew3.technion.ac.il/OntoBuilder/

  11. Gasevic, D., Djuric, D., Devedzic, V.: Ontology Modeling and MDA. Journal of Object Technology 4(1), 109–128 (2005)

    Article  Google Scholar 

  12. Gennari, J.H., Musen, M.A., Fergerson, R.W., Grosso, W.E., Crubezy, M., Eriksson, H., Noy, N.F., Tu, S.W.: The evolution of Protégé: an environment for knowledge-based systems development. International Journal of Human-Computer Studies 58(1), 89–123 (2003)

    Article  Google Scholar 

  13. Gomez-Perez, A., Fernandez-Lopez, M., Corcho, O.: Ontological Engineering: with examples from the areas of Knowledge Management, e-Commerce, and the Semantic Web, pp. 112, 179. Springer, Heidelberg (2005)

    Google Scholar 

  14. Gomez-Perez, A., Fernandez-Lopez, M., Corcho, O.: WebODE Ontology Engineering Platform (2003), http://webode.dia.fi.upm.es/WebODEWeb/index.html

  15. Gruber, T.: Towards Principles for the Design of Ontologies Used for Knowledge Sharing. In: Guarino, Poli (eds.) Formal Ontology in Conceptual Analysis & Knowledge Representation. Kluwer, Padova (1993)

    Google Scholar 

  16. Guarino, N.: Formal Ontology in Information Systems. In: Guarino (ed.) 1st International Conference on Formal Ontology in Information Systems (FOIS 1998), Trento, Italy, pp. 3–15. IOS Press, Amsterdam (1998)

    Google Scholar 

  17. Harrison, R., Chan, C.W.: Tools for Industrial Knowledge Modeling. In: Proceedings of the 20th Annual Canadian Conference on Electrical and Computer Engineering (CCECE 2007), Vancouver, BC, Canada, April 22-26 (2007)

    Google Scholar 

  18. Harrison, R., Chan, C.W.: Implementation of an Application Ontology: A Comparison of Two Tools. In: Artificial Intelligence Applications and Innovations II: Second IFIP TC12 and WG12 Conference on Artificial Intelligence Applications and Innovations (AIAI 2005), Beijing, China, September 7-9, 2005, pp. 131–143 (2005)

    Google Scholar 

  19. Horridge, M.: OWL Unit Test Framework (2005a), http://www.co-ode.org/downloads/owlunittest/

  20. Horridge, M.: Protégé OWLViz (2005b), http://www.co-ode.org/downloads/owlviz/co-ode-index.php

  21. Huang, Z., Stuckenschmidt, H.: Reasoning with Multi-Version Ontologies: a Temporal Logic Approach. In: Gil, Y., Motta, E., Benjamins, V.R., Musen, M.A. (eds.) ISWC 2005. LNCS, vol. 3729, pp. 398–412. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  22. Janzen, D., Saiedian, H.: Test Driven Development: Concepts, Taxonomy, and Future Direction. IEEE Computer (September 2005)

    Google Scholar 

  23. Klein, M., Fensel, D.: Ontology Versioning on the Semantic Web. In: Proceedings of SWWS 2001, The First Semantic Web Working Symposium, August 2001, pp. 75–92 (2001)

    Google Scholar 

  24. McGuiness, D., Fikes, R., Rice, J., Wilder, S.: An Environment for Merging and Testing Large Ontologies. In: Proceedings of KR 2000, pp. 485–493 (2000)

    Google Scholar 

  25. Menezes, A.J., van Oorschot, P.C., Vanstone, S.A.: Handbook of Applied Cryptography, p. 426 (1997)

    Google Scholar 

  26. Norvig, P.: AAAI: Google and the Semantic, Satanic, Romantic Web (2006), http://www.nodalpoint.org/2006/07/19/aaai_google_and_the_semantic_satanic_romantic_web

  27. Noy, N.F., Chugh, A., Liu, W., Musen, M.A.: A Framework for Ontology Evolution in Collaborative Environments. In: Cruz, I., Decker, S., Allemang, D., Preist, C., Schwabe, D., Mika, P., Uschold, M., Aroyo, L.M. (eds.) ISWC 2006. LNCS, vol. 4273, pp. 544–558. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  28. Obst, D.: Distributed Framework for Knowledge Evolution, Presentation at University of Regina Grad. Student Conf., Regina, SK, Canada (2006)

    Google Scholar 

  29. Richardson, M., Agrawal, R., Domingos, P.: Trust Management for the Semantic Web. In: Fensel, D., Sycara, K.P., Mylopoulos, J. (eds.) ISWC 2003. LNCS, vol. 2870, pp. 351–368. Springer, Heidelberg (2003)

    Chapter  Google Scholar 

  30. Volz, R., Oberle, D.: KAON SERVER - A Semantic Web Management System (May 2003)

    Google Scholar 

  31. Yildiz, B.: Ontology Evolution and Versioning: The State of the Art, Asgaard-TR-2006-3 (October 2006)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Energy Informatics Laboratory, Faculty of Engineering, University of Regina, Regina, Saskatchewan, Canada

    Robert Harrison & Christine W. Chan

Authors
  1. Robert Harrison
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Christine W. Chan
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. University of Calgary, Department of Computer Science, 2500 University Drive N.W, T2N 1N4, Calgary, AB, Canada

    Marina L. Gavrilova

  2. OptimaNumerics Ltd., Cathedral House, 23-31 Waring Street, BT1 2DX, Belfast, UK

    C. J. Kenneth Tan

  3. Theoretical and Empirical Software Engineering Research Centre (TESERC), University of Calgary, 2500 University Drive, NW, T2N 1N4, Calgary, Alberta, Canada

    Yingxu Wang

  4. Department of Computing, The Hong Kong Polytechnic University, Hung Hom, Kowloon, Hong Kong

    Keith C. C. Chan

Rights and permissions

Reprints and permissions

Copyright information

© 2009 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Harrison, R., Chan, C.W. (2009). Dyna: A Tool for Dynamic Knowledge Modeling. In: Gavrilova, M.L., Tan, C.J.K., Wang, Y., Chan, K.C.C. (eds) Transactions on Computational Science V. Lecture Notes in Computer Science, vol 5540. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-02097-1_9

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-02097-1_9

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-02096-4

  • Online ISBN: 978-3-642-02097-1

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics