Knowledge Science, Engineering and Management: First International Conference, KSEM 2006, Guilin, China, August 5-8, 2006. Proceedings

Front Matter....Pages -
On Representational Issues About Combinations of Classical Theories with Nonmonotonic Rules....Pages 1-22
Towards a Software/Knowware Co-engineering....Pages 23-32
Modeling and Evaluation of Technology Creation Process in Academia....Pages 33-33
Knowledge Management Systems (KMS) Continuance in Organizations: A Social Relational Perspective....Pages 34-41
Modelling the Interaction Between Objects: Roles as Affordances....Pages 42-54
Knowledge Acquisition for Diagnosis in Cellular Networks Based on Bayesian Networks....Pages 55-65
Building Conceptual Knowledge for Managing Learning Paths in e-Learning....Pages 66-77
Measuring Similarity in the Semantic Representation of Moving Objects in Video....Pages 78-87
A Case Study for CTL Model Update....Pages 88-101
Modeling Strategic Beliefs with Outsmarting Belief Systems....Pages 102-113
Marker-Passing Inference in the Scone Knowledge-Base System....Pages 114-126
Hyper Tableaux — The Third Version....Pages 127-138
A Service-Oriented Group Awareness Model and Its Implementation....Pages 139-150
An Outline of a Formal Ontology of Genres....Pages 151-163
An OWL-Based Approach for RBAC with Negative Authorization....Pages 164-175
LCS: A Linguistic Combination System for Ontology Matching....Pages 176-189
Framework for Collaborative Knowledge Sharing and Recommendation Based on Taxonomic Partial Reputations....Pages 190-201
On Text Mining Algorithms for Automated Maintenance of Hierarchical Knowledge Directory....Pages 202-214
Using Word Clusters to Detect Similar Web Documents....Pages 215-228
Construction of Concept Lattices Based on Indiscernibility Matrices....Pages 229-240
Selection of Materialized Relations in Ontology Repository Management System....Pages 241-251
Combining Topological and Directional Information: First Results....Pages 252-264
Measuring Conflict Between Possibilistic Uncertain Information Through Belief Function Theory....Pages 265-277
WWW Information Integration Oriented Classification Ontology Integrating Approach....Pages 278-291
Configurations for Inference Between Causal Statements....Pages 292-304
Taking Levi Identity Seriously: A Plea for Iterated Belief Contraction....Pages 305-317
Description and Generation of Computational Agents....Pages 318-329
Knowledge Capability: A Definition and Research Model....Pages 330-340
Quota-Based Merging Operators for Stratified Knowledge Bases....Pages 341-353
Enumerating Minimal Explanations by Minimal Hitting Set Computation....Pages 354-365
Observation-Based Logic of Knowledge, Belief, Desire and Intention....Pages 366-378
Repairing Inconsistent XML Documents....Pages 379-391
A Framework for Automated Test Generation in Intelligent Tutoring Systems....Pages 392-404
A Study on Knowledge Creation Support in a Japanese Research Institute....Pages 405-417
Identity Conditions for Ontological Analysis....Pages 418-430
Knowledge Update in a Knowledge-Based Dynamic Scheduling Decision System....Pages 431-441
Knowledge Contribution in the Online Virtual Community: Capability and Motivation....Pages 442-453
Effective Large Scale Ontology Mapping....Pages 454-465
A Comparative Study on Representing Units in Chinese Text Clustering....Pages 466-476
A Description Method of Ontology Change Management Using Pi-Calculus....Pages 477-489
On Constructing Environment Ontology for Semantic Web Services....Pages 490-503
Knowledge Reduction in Incomplete Systems Based on γ –Tolerance Relation....Pages 504-513
An Extension Rule Based First-Order Theorem Prover....Pages 514-524
An Extended Meta-model for Workflow Resource Model....Pages 525-534
Knowledge Reduction Based on Evidence Reasoning Theory in Ordered Information Systems....Pages 535-547
A Novel Maximum Distribution Reduction Algorithm for Inconsistent Decision Tables....Pages 548-555
An ICA-Based Multivariate Discretization Algorithm....Pages 556-562
An Empirical Study of What Drives Users to Share Knowledge in Virtual Communities....Pages 563-575
A Method for Evaluating the Knowledge Transfer Ability in Organization....Pages 576-585
Information Extraction from Semi-structured Web Documents....Pages 586-598
Si-SEEKER: Ontology-Based Semantic Search over Databases....Pages 599-611
Efficient Computation of Multi-feature Data Cubes....Pages 612-624
NKIMathE – A Multi-purpose Knowledge Management Environment for Mathematical Concepts....Pages 625-636
Linguistic Knowledge Representation and Automatic Acquisition Based on a Combination of Ontology with Statistical Method....Pages 637-649
Toward Formalizing Usefulness in Propositional Language....Pages 650-661
Back Matter....Pages -