Knowledge Science, Engineering and Management: Third International Conference, KSEM 2009, Vienna, Austria, November 25-27, 2009. Proceedings

Front Matter....Pages -
Models in Knowledge Management....Pages 1-1
Two Applications of Computer-Aided Theorem Discovery and Verification....Pages 2-2
Knowware: The Third Star after Hardware and Software....Pages 3-3
Required Knowledge for Delivering Services....Pages 4-4
Mapping Relational Databases to the Semantic Web with Original Meaning....Pages 5-16
Computing Knowledge-Based Semantic Similarity from the Web: An Application to the Biomedical Domain....Pages 17-28
An Anytime Algorithm for Computing Inconsistency Measurement....Pages 29-40
Forwarding Credible Information in Multi-agent Systems....Pages 41-53
Convergence Analysis of Affinity Propagation....Pages 54-65
Propagation of Random Perturbations under Fuzzy Algebraic Operators....Pages 66-77
Two Approaches to Iterated Belief Contraction....Pages 78-89
The Dual Spatial Connectives of Separation Logic....Pages 90-99
Knowledge Engineering in Future Internet....Pages 100-109
Developing Diagnostic DSSs Based on a Novel Data Collection Methodology....Pages 110-121
Data Integration for Business Analytics: A Conceptual Approach....Pages 122-133
New Labeling Strategy for Semi-supervised Document Categorization....Pages 134-145
A Competitive Learning Approach to Instance Selection for Support Vector Machines....Pages 146-157
Knowledge Discovery from Academic Search Engine....Pages 158-167
Interactive Visualization in Knowledge Discovery for Academic Evaluation and Accreditation....Pages 168-179
Aggregation Models for People Finding in Enterprise Corpora....Pages 180-191
Debt Detection in Social Security by Adaptive Sequence Classification....Pages 192-203
Ontology Based Opinion Mining for Movie Reviews....Pages 204-214
Concept-Based, Personalized Web Information Gathering: A Survey....Pages 215-228
The Online Market Observatory: A Domain Model Approach....Pages 229-240
Data Driven Rank Ordering and Its Application to Financial Portfolio Construction....Pages 241-252
Prioritizing Non-functional Concerns in MAMIE Methodology....Pages 253-262
Verifying Software Requirements Based on Answer Set Programming....Pages 263-274
Blending the Sketched Use Case Scenario with License Agreements Using Semantics....Pages 275-284
A Comparative Analysis for Detecting Seismic Anomalies in Data Sequences of Outgoing Longwave Radiation....Pages 285-296
On Optimization of Predictions in Ontology-Driven Situation Awareness....Pages 297-309
On Undecidability of Cyclic Scheduling Problems....Pages 310-321
Combination of Two KM Strategies by Web 2.0....Pages 322-334
Measuring KM Success and KM Service Quality with KnowMetrix – First Experiences from a Case Study in a Software Company....Pages 335-346
Knowledge Creation Spaces: The Power of Project Teams....Pages 347-357
Competence Management in Knowledge-Based Organisation: Case Study Based on Higher Education Organisation....Pages 358-369
Knowledge Maturing Services: Supporting Knowledge Maturing in Organisational Environments....Pages 370-381
How Much Well Does Organizational Knowledge Transfer Work with Domain and Rule Ontologies?....Pages 382-393
Ontology Evaluation through Assessment of Inferred Statements: Study of a Prototypical Implementation of an Ontology Questionnaire for OWL DL Ontologies....Pages 394-405
Knowledge-Based Process Modelling for Nuclear Inspection....Pages 406-417
Two Dependency Modeling Approaches for Business Process Adaptation....Pages 418-429
The IT-Socket: Model-Based Business and IT Alignment....Pages 430-441
Identifying and Supporting Collaborative Architectures....Pages 442-449
An Examination of Talent Management Concepts in Knowledge Intensive Settings....Pages 450-457
A ‘Soft’ Approach to TLM Requirements Capture to Support Through-Life Management....Pages 458-469
Back Matter....Pages -