Knowledge Science, Engineering and Management Book

Invited Talks
On Representational Issues About Combinations of Classical Theories with Nonmonotonic Rules   Jos de Bruijn   Thomas Eiter   Axel Polleres   Hans Tompits     1
Towards a Software/Knowware Co-engineering   Ruqian Lu     23
Modeling and Evaluation of Technology Creation Process in Academia   Yoshiteru Nakamori     33
Knowledge Management Systems (KMS) Continuance in Organizations: A Social Relational Perspective   Joy Wei He   Kwok-Kee Wei     34
Regular Papers
Modelling the Interaction Between Objects: Roles as Affordances   Matteo Baldoni   Guido Boella   Leendert van der Torre     42
Knowledge Acquisition for Diagnosis in Cellular Networks Based on Bayesian Networks   Raquel Barco   Pedro Lazaro   Volker Wille   Luis Diez     55
Building Conceptual Knowledge for Managing Learning Paths in e-Learning   Yu-Liang Chi   Hsun-Ming Lee     66
Measuring Similarity in the Semantic Representation of Moving Objects in Video   Miyoung Cho   Dan Song   Chang Choi   Pankoo Kim     78
A Case Study for CTL Model Update   Yulin Ding   Yan Zhang     88
Modeling Strategic Beliefs with OutsmartingBelief Systems   Ronald Fadel     102
Marker-Passing Inference in the Scone Knowledge-Base System   Scott E. Fahlman     114
Hyper Tableaux - The Third Version   Shasha Feng   Jigui Sun   Xia Wu     127
A Service-Oriented Group Awareness Model and Its Implementation   Gao-feng Ji   Yong Tang   Yun-cheng Jiang     139
An Outline of a Formal Ontology of Genres   Pawel Garbacz     151
An OWL-based Approach for RBAC with Negative Authorization   Nuermaimaiti Heilili   Yang Chen   Chen Zhao   Zhenxing Luo   Zuoquan Lin     164
LCS: A Linguistic Combination System for Ontology Matching   Qiu Ji   Weiru Liu   Guilin Qi   David A. Bell     176
Framework for Collaborative Knowledge Sharing and Recommendation Based on Taxonomic Partial Reputations   Dong-Hwee Kim   Soon-Ja Kim     190
On Text Mining Algorithms for Automated Maintenance of Hierarchical Knowledge Directory   Han-joon Kim     202
Using Word Clusters to Detect Similar Web Documents   Jonathan Koberstein   Yiu-Kai Ng     215
Construction of Concept Lattices Based on Indiscernibility Matrices   Hongru Li    Ping Wei   Xiaoxue Song     229
Selection of Materialized Relations in Ontology Repository Management System   Man Li   Xiaoyong Du   Shan Wang     241
Combining Topological and Directional Information: First Results   Sanjiang Li     252
Measuring Conflict Between Possibilistic Uncertain Information Through Belief Function Theory   Weiru Liu     265
WWW Information Integration Oriented Classification Ontology Integrating Approach   Anxiang Ma   Kening Gao   Bin Zhang   Yu Wang   Ying Yin     278
Configurations for Inference Between Causal Statements   Philippe Besnard   Marie-Odile Cordier   Yves Moinard     292
Taking Levi Identity Seriously: A Plea for Iterated Belief Contraction   Abhaya Nayak   Randy Goebel   Mehmet Orgun   Tam Pham     305
Description and Generation of Computational Agents   Roman Neruda   Gerd Beuster     318
Knowledge Capability: A Definition and Research Model   Ye Ning   Zhi-Ping Fan   Bo Feng     330
Quota-Based Merging Operators for Stratified Knowledge Bases   Guilin Qi   Weiru Liu   David A. Bell      341
Enumerating Minimal Explanations by Minimal Hitting Set Computation   Ken Satoh   Takeaki Uno     354
Observation-Based Logic of Knowledge, Belief, Desire and Intention   Kaile Su   Weiya Yue   Abdul Sattar   Mehmet A. Orgun   Xiangyu Luo     366
Repairing Inconsistent XML Documents   Zijing Tan   Wei Wang   JianJun Xu   Baile Shi     379
A Framework for Automated Test Generation in Intelligent Tutoring Systems   Suqin Tang   Cungen Cao     392
A Study on Knowledge Creation Support in a Japanese Research Institute   Jing Tian   Andrzej P. Wierzbicki   Hongtao Ren   Yoshiteru Nakamori     405
Identity Conditions for Ontological Analysis   Nwe Ni Tun   Satoshi Tojo     418
Knowledge Update in a Knowledge-Based Dynamic Scheduling Decision System   Chao Wang   Zhen-Qiang Bao   Chang-Yi Li   Fang Yang     431
Knowledge Contribution in the Online Virtual Community: Capability and Motivation   Chih-Chien Wang   Cheng-Yu Lai     442
Effective Large Scale Ontology Mapping   Zongjiang Wang   Yinglin Wang   Shensheng Zhang   Ge Shen   Tao Du     454
A Comparative Study on Representing Units in Chinese Text Clustering   Hongjun Wang   Shiwen Yu   Xueqiang Lv   Shuicai Shi   Shibin Xiao     466
A Description Method of Ontology Change Management Using Pi-Calculus   Meiling Wang   Longfei Jin   Lei Liu     477
On Constructing Environment Ontology for Semantic Web Services   Puwei Wang   Zhi Jin   Lin Liu     490
Knowledge Reduction in Incomplete Systems Based on [gamma]-Tolerance Relation   Da-Kuan Wei     504
An Extension Rule Based First-Order Theorem Prover   Xia Wu   Jigui Sun   Kun Hou     514
An Extended Meta-model for Workflow Resource Model   Zhijiao Xiao   Huiyou Chang   Sijia Wen   Yang Yi   Atsushi Inoue     525
Knowledge Reduction Based on Evidence Reasoning Theory in Ordered Information Systems   Wei-Hua Xu   Ming-Wen Shao   Wen-Xiu Zhang     535
A Novel Maximum Distribution Reduction Algorithm for Inconsistent Decision Tables   Dongyi Ye   Zhaojiong Chen   Chunyan Yu     548
An ICA-Based Multivariate Discretization Algorithm   Ye Kang   Shanshan Wang    Xiaoyan Liu   Hokyin Lai   Huaiqing Wang   Baiqi Miao     556
An Empirical Study of What Drives Users to Share Knowledge in Virtual Communities   Shun Ye   Huaping Chen   Xiaoling Jin     563
A Method for Evaluating the Knowledge Transfer Ability in Organization   Tian-Hui You   Fei-Fei Li   Zhu-Chao Yu     576
Information Extraction from Semi-structured Web Documents   Bo-Hyun Yun   Chang-Ho Seo     586
Si-Seeker: Ontology-Based Semantic Search over Databases   Jun Zhang   Zhaohui Peng   Shan Wang   Huijing Nie     599
Efficient Computation of Multi-feature Data Cubes   Shichao Zhang   Rifeng Wang   Yanping Guo     612
NKImathE - A Multi-purpose Knowledge Management Environment for Mathematical Concepts   Qingtian Zeng   Cungen Cao   Hua Duan   Yongquan Liang     625
Linguistic Knowledge Representation and Automatic Acquisition Based on a Combination of Ontology with Statistical Method   Dequan Zheng   Tiejun Zhao   Sheng Li   Hao Yu     637
Toward Formalizing Usefulness in Propositional Language   Yi Zhou   Xiaoping Chen      650
Author Index     663