Formalising knowledge-intensive nuclear fuel process models using pattern theory

  • Authors:

  • Florin Abazi;Hans-Georg Fill;Wilfried Grossmann;Dimitris Karagiannis

  • Affiliations:

  • Research Group Knowledge Engineering, Faculty of Computer Science, University of Vienna, Vienna, Austria;Research Group Knowledge Engineering, Faculty of Computer Science, University of Vienna, Vienna, Austria;Research Group Knowledge Engineering, Faculty of Computer Science, University of Vienna, Vienna, Austria;Research Group Knowledge Engineering, Faculty of Computer Science, University of Vienna, Vienna, Austria

  • Venue:
  • KSEM'11 Proceedings of the 5th international conference on Knowledge Science, Engineering and Management
  • Year:
  • 2011

Quantified Score

Hi-index 0.00

Visualization

Abstract

In this paper we present a formalisation for a previously elaborated model-based approach for representing knowledge intensive processes in the domain of nuclear knowledge management. It is shown how a Nuclear Fuel Cycle Process Model can be formalised and represented visually by using the concepts of pattern theory. The formalisation is then applied to the configuration of acquisition paths and the analysis of the evolution of the models. Thereby a basis for the application of formal queries and advanced visual analyses can be established.