KSEM 2006: Guilin, China

Invited Talks

• Jos de Bruijn, Thomas Eiter, Axel Polleres, Hans Tompits:
  On Representational Issues About Combinations of Classical Theories with Nonmonotonic Rules. 1-22
  
• Ruqian Lu:
  Towards a Software/Knowware Co-engineering. 23-32
  
• Yoshiteru Nakamori:
  Modeling and Evaluation of Technology Creation Process in Academia. 33-33
  
• Joy He, Kwok Kee Wei:
  Knowledge Management Systems (KMS) Continuance in Organizations: A Social Relational Perspective. 34-41
  

Regular Papers

• Matteo Baldoni, Guido Boella, Leendert W. N. van der Torre:
  Modelling the Interaction Between Objects: Roles as Affordances. 42-54
  
• Raquel Barco, Pedro Lázaro, Volker Wille, Luis Díez:
  Knowledge Acquisition for Diagnosis in Cellular Networks Based on Bayesian Networks. 55-65
  
• Yu-Liang Chi, Hsun-Ming Lee:
  Building Conceptual Knowledge for Managing Learning Paths in e-Learning. 66-77
  
• Miyoung Cho, Dan Song, Chang Choi, PanKoo Kim:
  Measuring Similarity in the Semantic Representation of Moving Objects in Video. 78-87
  
• Yulin Ding, Yan Zhang:
  A Case Study for CTL Model Update. 88-101
  
• Ronald Fadel:
  Modeling Strategic Beliefs with Outsmarting Belief Systems. 102-113
  
• Scott E. Fahlman:
  Marker-Passing Inference in the Scone Knowledge-Base System. 114-126
  
• Shasha Feng, Jigui Sun, Xia Wu:
  Hyper Tableaux - The Third Version. 127-138
  
• Ji Gao-feng, Tang Yong, Jiang Yun-cheng:
  A Service-Oriented Group Awareness Model and Its Implementation. 139-150
  
• Pawel Garbacz:
  An Outline of a Formal Ontology of Genres. 151-163
  
• NuerMaimaiti Heilili, Yang Chen, Chen Zhao, Zhenxing Luo, Zuoquan Lin:
  An OWL-Based Approach for RBAC with Negative Authorization. 164-175
  
• Qiu Ji, Weiru Liu, Guilin Qi, David A. Bell:
  LCS: A Linguistic Combination System for Ontology Matching. 176-189
  
• Dong-Hwee Kim, Soon-Ja Kim:
  Framework for Collaborative Knowledge Sharing and Recommendation Based on Taxonomic Partial Reputations. 190-201
  
• Han-joon Kim:
  On Text Mining Algorithms for Automated Maintenance of Hierarchical Knowledge Directory. 202-214
  
• Jonathan Koberstein, Yiu-Kai Ng:
  Using Word Clusters to Detect Similar Web Documents. 215-228
  
• Hongru Li, Ping Wei, Xiaoxue Song:
  Construction of Concept Lattices Based on Indiscernibility Matrices. 229-240
  
• Man Li, Xiaoyong Du, Shan Wang:
  Selection of Materialized Relations in Ontology Repository Management System. 241-251
  
• Sanjiang Li:
  Combining Topological and Directional Information: First Results. 252-264
  
• Weiru Liu:
  Measuring Conflict Between Possibilistic Uncertain Information Through Belief Function Theory. 265-277
  
• Anxiang Ma, Kening Gao, Bin Zhang, Yu Wang, Ying Yin:
  WWW Information Integration Oriented Classification Ontology Integrating Approach. 278-291
  
• Philippe Besnard, Marie-Odile Cordier, Yves Moinard:
  Configurations for Inference Between Causal Statements. 292-304
  
• Abhaya C. Nayak, Randy Goebel, Mehmet A. Orgun, Tam Pham:
  Taking Levi Identity Seriously: A Plea for Iterated Belief Contraction. 305-317
  
• Roman Neruda, Gerd Beuster:
  Description and Generation of Computational Agents. 318-329
  
• Ye Ning, Zhi-Ping Fan, Bo Feng:
  Knowledge Capability: A Definition and Research Model. 330-340
  
• Guilin Qi, Weiru Liu, David A. Bell:
  Quota-Based Merging Operators for Stratified Knowledge Bases. 341-353
  
• Ken Satoh, Takeaki Uno:
  Enumerating Minimal Explanations by Minimal Hitting Set Computation. 354-365
  
• Kaile Su, Weiya Yue, Abdul Sattar, Mehmet A. Orgun, Xiangyu Luo:
  Observation-Based Logic of Knowledge, Belief, Desire and Intention. 366-378
  
• Zijing Tan, Wei Wang, Jianjun Xu, Baile Shi:
  Repairing Inconsistent XML Documents. 379-391
  
• Tang Suqin, Cao Cungen:
  A Framework for Automated Test Generation in Intelligent Tutoring Systems. 392-404
  
• Jing Tian, Andrzej P. Wierzbicki, Hongtao Ren, Yoshiteru Nakamori:
  A Study on Knowledge Creation Support in a Japanese Research Institute. 405-417
  
• Nwe Ni Tun, Satoshi Tojo:
  Identity Conditions for Ontological Analysis. 418-430
  
• Chao Wang, Zhen-Qiang Bao, Chang-Yi Li, Fang Yang:
  Knowledge Update in a Knowledge-Based Dynamic Scheduling Decision System. 431-441
  
• Chih-Chien Wang, Cheng-Yu Lai:
  Knowledge Contribution in the Online Virtual Community: Capability and Motivation. 442-453
  
• Zongjiang Wang, Yinglin Wang, Shensheng Zhang, Ge Shen, Tao Du:
  Effective Large Scale Ontology Mapping. 454-465
  
• Hongjun Wang, Shiwen Yu, Xueqiang Ly, Shuicai Shi, Shibin Xiao:
  A Comparative Study on Representing Units in Chinese Text Clustering. 466-476
  
• Meiling Wang, Longfei Jin, Lei Liu:
  A Description Method of Ontology Change Management Using Pi-Calculus. 477-489
  
• Puwei Wang, Zhi Jin, Lin Liu:
  On Constructing Environment Ontology for Semantic Web Services. 490-503
  
• Da-kuan Wei:
  Knowledge Reduction in Incomplete Systems Based on gamma-Tolerance Relation. 504-513
  
• Xia Wu, Jigui Sun, Kun Hou:
  An Extension Rule Based First-Order Theorem Prover. 514-524
  
• Zhijiao Xiao, HuiYou Chang, Sijia Wen, Yang Yi, Atsushi Inoue:
  An Extended Meta-model for Workflow Resource Model. 525-534
  
• Wei-Hua Xu, Ming-Wen Shao, Wen-Xiu Zhang:
  Knowledge Reduction Based on Evidence Reasoning Theory in Ordered Information Systems. 535-547
  
• Dongyi Ye, Zhaojiong Chen, Chunyan Yu:
  A Novel Maximum Distribution Reduction Algorithm for Inconsistent Decision Tables. 548-555
  
• Ye Kang, Shanshan Wang, Xiaoyan Liu, Hokyin Lai, Huaiqing Wang, Baiqi Miao:
  An ICA-Based Multivariate Discretization Algorithm. 556-562
  
• Shun Ye, Huaping Chen, Xiaoling Jin:
  An Empirical Study of What Drives Users to Share Knowledge in Virtual Communities. 563-575
  
• Tian-hui You, Fei-fei Li, Zhu-chao Yu:
  A Method for Evaluating the Knowledge Transfer Ability in Organization. 576-585
  
• Bo-Hyun Yun, Chang-Ho Seo:
  Information Extraction from Semi-structured Web Documents. 586-598
  
• Jun Zhang, Zhaohui Peng, Shan Wang, Huijing Nie:
  Si-SEEKER: Ontology-Based Semantic Search over Databases. 599-611
  
• Shichao Zhang, Rifeng Wang, Yanping Guo:
  Efficient Computation of Multi-feature Data Cubes. 612-624
  
• Qingtian Zeng, Cungen Cao, Hua Duan, Yongquan Liang:
  NKIMathE - A Multi-purpose Knowledge Management Environment for Mathematical Concepts. 625-636
  
• Dequan Zheng, Tiejun Zhao, Sheng Li, Hao Yu:
  Linguistic Knowledge Representation and Automatic Acquisition Based on a Combination of Ontology with Statistical Method. 637-649
  
• Yi Zhou, Xiaoping Chen:
  Toward Formalizing Usefulness in Propositional Language. 650-661