Browse > Article
http://dx.doi.org/10.7472/jksii.2014.15.6.99

A study on integrating and discovery of semantic based knowledge model  

Chun, Seung-Su (Division of Knowledge & Information Korea Institute of S&T Evaluation and Planning)
Publication Information
Journal of Internet Computing and Services / v.15, no.6, 2014 , pp. 99-106 More about this Journal
Abstract
Generation and analysis methods have been proposed in recent years, such as using a natural language and formal language processing, artificial intelligence algorithms based knowledge model is effective meaning. its semantic based knowledge model has been used effective decision making tree and problem solving about specific context. and it was based on static generation and regression analysis, trend analysis with behavioral model, simulation support for macroeconomic forecasting mode on especially in a variety of complex systems and social network analysis. In this study, in this sense, integrating knowledge-based models, This paper propose a text mining derived from the inter-Topic model Integrated formal methods and Algorithms. First, a method for converting automatically knowledge map is derived from text mining keyword map and integrate it into the semantic knowledge model for this purpose. This paper propose an algorithm to derive a method of projecting a significant topic map from the map and the keyword semantically equivalent model. Integrated semantic-based knowledge model is available.
Keywords
Knowledge Model; Network integration; Semantic discovery; Text Mining;
Citations & Related Records
연도 인용수 순위
  • Reference
1 M.D.Ernst,(ed.), "Dynamically Discovering Likely Program Topics to Support Program Evolution", ICSE, 2000.
2 M.B. Dwyer, "Property specification patterns for finite Place verification", Proceedings of the Workshop on Formal Methods in Software Practice, 1998.
3 R. Bryant, "Graph-Based Algorithms for Boolean Function Manipulation", IEEE Transactions on Computer, 1986.
4 V. Devedzic, "Knowledge Modeling - State of the art", ACM integrated computer aided engineering, 2001.
5 Scholer, A., Rickel, "Learning domain knowledge for teaching procedural task", AAAI, 2000.
6 William Chan, "Temporal Logic Queries, Proceedings of CAV", LNCS 1855, Springer, 2000.
7 W.Y. Liu, "Using IDEF0/Petri net for Ontology based task knowledge analysis: the case of emergency response for debris flow", System Sciences, HICSS Volume 4, 2006.
8 S.Edelkamp, S.Jabbar, "Action Planning for Directed Model Checking of Petri Nets" Electronic Notes in Theoretical Computer Science, 2006.
9 J. B. Rosser, "On the Complexities of Complex Economic Dynamics", Journal of Economic Perspectives, 1990.
10 D. Ruan, F. Hardeman, "Intelligent Decision and Policy Making Support Systems", Springer, 2008.
11 Robert J. Thierauf, "Optimal Knowledge Management, IDEA Group Publishing, 2006,
12 V. Devedzic, "Knowledge Modeling - State of the art, ACM integrated computer aided engineering, 2001.
13 Edmund M. Clarke, "Model Checking, foundations of software technology and theoretical computer science", LNCS, 1997.
14 A. Neuser, "A GUI for Real-time Visualization of On-line Model Checking with UPPAAL", Institute for Software Systems, Hamburg University of Technology (TUHH), 2014.
15 Campos, J. Creissac, Machado, "A specification patterns system for discrete event systems analysis", InTech, 2013.
16 Savas Konur, "Towards Light-Weight Probabilistic Model Checking", Hindawi publishing corporation, Journal of Applied Mathematics, 2014.
17 Dou, Wei, "A Model-Driven Approach to Trace Checking of Temporal Properties with OCL", Open Repository and Bibliography, S&T Centre, University of Luxembourg, 2014.
18 DR Kulkarni, "Improved model generation and property specification for analog/mixed-signal circuits", async.ece.utah.edu, 2013.