This book constitutes the refereed proceedings of the Second International Conference on Knowledge Science, Engineering and Management, KSEM 2007, held in Melbourne, Australia, in November 2007. The 42 revised full papers and 28 revised short papers presented together with 5 invited talks were carefully reviewed and selected from 124 submissions. The papers provide new ideas and report state of the art research results in the broad areas of knowledge science, knowledge engineering, and knowledge management. This book constitutes the refereed proceedings of the Second International Conference on Knowledge Science, Engineering and Management, KSEM 2007, held in Melbourne, Australia, in November 2007. The 42 revised full papers and 28 revised short papers presented together with five invited talks were carefully reviewed and selected. The papers provide new ideas and report research results in the broad areas of knowledge science, knowledge engineering, and knowledge management. Invited Talks Building Relationships and Negotiating Agreements in a Network of Agents (Abstract) 1 John Debenham Knowledge Technologies for the Social Semantic Desktop 2 Andreas R. Dengel Knowledge-Based Intelligent Engineering Systems in Defence and Security (Abstract) 10 Lakhmi Jain Auditing and Mapping the Knowledge Assets of Business Processes An Empirical Study 11 W.B. Lee, Vivien Shek, and Benny Cheung Quotient Space Based Multi-granular Analysis (Abstract) 17 Ling Zhang and Bo Zhang Regular Papers Knowledge Science An Ontology-Based Reasoning Framework for Reaction Mechanisms Simulation 18 Y.C. Alicia Tang, Sharifuddin Mohd. Zain, Noorsaadah Abdul Rahman, and Rukaini Abdullah Identifying Dependency Between Secure Messages for Protocol Analysis 30 QiNgfeng Chen, Shichao Zhang, and Yi-Ping Phoebe Chen A Diagrammatic Reasoning System for ACC 39 Frithjof Dan and Peter Eklund Fuzzy Constraint Logic Programming with Answer Set Semantics 52 Jie Wang and Chunnian Liu Prime Implicates for Approximate Reasoning 61 David Rajaratnam and Maurice Pagnucco Distributed Constraint Satisfaction for Urban Traffic Signal Control 73 Kazunori Mizuno and Seiichi Nishihara Convergence Analysis on Approximate Reinforcement Learning 85 Jirisong Leng, Lakhmi Jain, and Cohn Fyfe Combinative Reasoning with RCC5 and Cardinal Direction Relations 92 Juan Chen, Dayou Liu, Changhai Zhang, and Qi Xie A Merging-Based Approach to Handling Inconsistency in Locally Prioritized Software Requirements 103 Kedian Mu, Weiru Liu, Zhi Jin, Rugian Lu, Anbu Yue, and David Bell A Dynamic Description Logic for Representation and Reasoning About Actions 115 Liang Chang, Fen Lin, and Zhongzhi Shi An Argumentative Reasoning Service for Deliberative Agents 128 Alejandro J. Garcia, Nicolds D. Rotstein, Mariano Twat, and Guillermo R. Simari On Defense Strength of Blocking Defeaters in Admissible Sets 140 Diego C. Martinez, Alejandro J. Garcia, and Guillermo R. Simari Ontology-Based Inference for Causal Explanation 153 Ph. Besnard, M.-O. Cordier, and Y. Moinard Predicting Partners' Behaviors in Negotiation by Using Regression Analysis 165 Fenghui Ren and Minjie Zhang Knowledge Engineering Enhancing Web-Based Adaptive Learning with Colored Timed Petri Net 177 Shang Gao and Robert Dew Proof Explanation for the Semantic Web Using Defensible Logic 186 Grigoris kilt077,i011, Antonis Bikakis, Nikos Dimaresis, Manolis Genetzakis, Giannis Georgalis, Guido Governatori, Eke Karouzaki, Nikolas Kazepis, Dimitris Kosmadakis, Manolis Kritsolakis, Giannis Lilis, Antonis Papadogiannakis, Panagiotis Pediaditis, Comstantinos Terzakis, Rena Theodosaki, and Dimitris Zeginis Automatic Construction of a Lexical Attribute Knowledge Base 198 Jinglei Zhao, Yanbo Gao, Hui Liu, and Ruzhan Lu Populating CRAB Ontology Using Context-Profile Based Approaches 210 Lian Shi, Jigui Sun, and Haiyan Che Learning Dependency Model for AMP-Activated Protein Kinase Regulation 221 Yi-Ping Phoebe Chen, Qiumei Qin, and Qingfeng Chen Towards a Wrapper-Driven Ontology-Based Framework for Knowledge Extraction 230 Jigui Sun, Xi Bai, Zehai Li, Haiyan Che, and Huawen Liu A Google-Based Statistical Acquisition Model of Chinese Lexical Concepts 243 Jiayu Zhou, Shi Wang, and Cungen Cao Learning Concepts from Text Based on the Inner-Constructive Model 255 Shi Wang, Ya,nan, Cao, Xinyu Cao, and Cungen Cao Contextual Proximity Based Term-Weighting for Improved Web Information Retrieval 267 M.P.S. Bhatia and Akshi Kumar Khalid Collection Profiling for Collection Fusion in Distributed Information Retrieval Systems 279 Chengye Lu, Yue X71,, and Shlomo Geva Integration of Descriptors for Software Component Retrieval 289 Yuhanis Yusof and Omer F. Rana Framework for Text-Based Conversational User-Interface for Business Applications 301 Shefali Bhat, C. Anantarain and Hemant Jain Ontology Mining for Semantic Interpretation of Information Needs 313 Xiaohui Tao, Yuefeng Li, and Richi Nayak Knowledge Flow-Based Document Recommendation for Knowledge Sharing 325 Chin-Hui Lai and Duen-Ren Liu Finding Similar RSS News Articles Using Correlation-Based Phrase Matching 336 Maria Soledad Peru and Yiu-Kai Ng Automatic Data Record Detection in Web Pages 349 Xiaoying Gao, Le Phony Bao Vuong, and Mengjie Zhang Visualizing Trends in Knowledge Management 362 Maria R. Lee and Tsung Teng Chen Constructing an Ontology for a Research Program from a Knowledge Science Perspective 372 Jing Tian, Andrzej P. Wierzbicki, Hongtao Ren, and Yoshiteru Nakamori An Ontology of Problem Frames for Guiding Problem Frame Specification 384 Xiaohong Chen, Zhi in; and Lijun Yi Knowledge Management A Speaker Based Unsupervised Speech Segmentation Algorithm Used in Conversational Speech 396 Yanxiang Chen and Qiong Wang Distributed Knowledge Management Based on Ontological Engineering and Multi-Agent System Towards Semantic Interoperation 403 Yonggui Wang, Jiangning Wu, Zhongtuo Wang, and Yanzhong Dang WTPMiner - Efficient Mining of Weighted Frequent Patterns Based on Graph Traversals 412 Runian Geng, Wenbo Xu, and Xiang:jun Dung Development of Enhanced Data Mining System to Approximate Empirical Formula for Ship Design 425 Kyung Ho Lee, Kyung Su Kim, drum Hymn Lee. Jong Hoon Park, Dung Geun Kim, and Dae Suk Kim Research on a Novel Word Co-occurrence Model and Its Application 437 Duman Zheng, Tiejun Zhao, Sheng Li, and Hao Yu Cost-Time Sensitive Decision Tree with Missing Values 447 Shichao Zhang, Xiaofeng Zhu, Jilian Zhang, and Chengqi Zhang Knowledge in Product and Performance Support 460 Rossitza Setchi and Nikolaus Lagos What Drives Members to Continue Sharing Knowledge in a Virtual Professional Community? The Role of Knowledge Self-efficacy and Satisfaction 472 Christy M.K. Cheung and Matthew K.O. Lee MMFI_DSSW - A New Method to Incrementally Mine Maximal Frequent Itemsets in Transaction Sensitive Sliding Window 485 Jiamin rem) and Jiadong Ren Short Papers Term Consistency Checking of Ontology Model Based on Description Logics 496 Changrui Yu and Yan Luo Design and Realization of Advertisement Promotion Based on the Content of Webpage 502 Tao Cheng, Shuicai Shi, and Xueqiang Lv Irregular Behavior Recognition Based on Two Types of Treading Tracks Under Particular Scenes 508 Ye Zhang, Xiao-Jun Zhang, and Zhi-Jing Liu Ontology-Based Focused Crawling of Deep Web Sources 514 Wei Fang, Zhiming Cui, and Pengpeng Zhao Pattern Recognition in Stock Data Based on a New Segmentation Algorithm 520 Zhe Zhang, Jian Jiang, Xiaoyan Liu, Wing Chiu Lau, Huaiqing Wang, Shanshan Wang, Xinzhu Song, and Dongming Xu HMM-Based Korean Named Entity Recognition for Information Extraction 526 Bo-Hyun Yun Activity Recognition Based on Hidden Markov Models 532 Weiyao Huang, Jun Zhang, and Zhijing Liu Novel Data Management Algorithms in Peer-to-Peer Content Distribution Networks 538 Ke Li, Wantei Zhou, Shui Yu, and Ping Li On-Line Monitoring and Diagnosis of Failures Using Control Charts and Fault Tree Analysis (FTA) Based on Digital Production Model 544 Hui Peng, Wenli Shang, Haibo Shi, and Wei Peng An Improved NN-SVM Based on K Congener Nearest Neighbors Classification Algorithm 550 Shirong Zhang, Kuanjiu Zhou, and Yuan Tian Handling Contradictions in Default Theories 556 Zhangang Lin and Zuoquan Lin Algorithm for Public Transit Trip with Minimal Transfer Times and Shortest Travel Time 562 Gang Hou, Kuanjiu Zhou, and Yang Tian Typed Category Theory-Based Micro-view Emergency Knowledge lepresentation 568 Qingquan Wang and Lili Rong A Chinese Time Ontology 575 Chunxia Zhange, Cungen Cao, Yuefei Sui, and Zhendong Niu Toward Patterns for Collaborative Knowledge Creation 581 Haoxing Xia, Zhaoguo Xuan, Taketoshi Yoshida, and Zhongtuo Wang Service-Mining Based on Knowledge and Customer Databases 587 Yan Li, Peng Wen, Hu Wang, and Chungiang Gong A Multi-criteria Decision Support System of Water Resource Allocation Scenarios 593 Jing He, Yanchun Zhang, and Yong Shi GOdel, Escher, Bach and Super-expertise 599 Pamela N. Gray, Xenogene Gray, and Deborah Richards Extracting Features for Verifying WordNet 605 Altangerel Chagnaa, Cheol-Young Ock, and Ho-Seop Choe A Hybrid Approach for Learning Markov Equivalence Classes of Bayesian Network 611 Haiyang Jia, Dayou Liu, Juan Chen, and Xin Liu A WSMO-Based Semantic Web Services Discovery Framework in Heterogeneous Ontologies Environment 617 Haihua Li, Xiaoyong Du, and Xuan Tian Cardinal Direction Relations in 3D Space 623 Juan Chen, Dayou Liu, Haiyang Jia, and Changhai Zhang Knowledge Integration on Fresh Food Management 630 Yoshiteru Nakamori, Yukihiro Yamashita, and Mina Ryoke An Approach to Knowledge Transferring in Science-Policy Process 636 Mitsumi Miyashita and Yoshitera Nakamori Trust Analysis of Web Services Based on a Trust Ontology 642 Manling Zhu and Zhi Jin Building Bilingual Ontology from WordNet and Chinese Classified Thesaurus 649 He Hu and Xiaoyong Du An Ontology-Based Framework for Building Adaptable Knowledge Management Systems 655 Yinglin Wang, Jianrnei Guo, Tao Hu, and Jie Wang Knowledge Engineering Technique for Cluster Development 661 Pradorn Sureephong, Nopasit Chakpitak, Yacine Ouzroute, Gilles Neubert, and Abdelaziz Bouras Author Index 667