Includes supplementary material: sn.pub/extras

Knowledge Modelling Languages and Tools.- OIL in a Nutshell.- The Knowledge Model of Protégé-2000: Combining Interoperability and Flexibility.- A Case Study in Using Protégé-2000 as a Tool for CommonKADS.- The MOKA Modelling Language.- Md??: A Modelling Language to Build a Formal Ontology in Either Description Logics or Conceptual Graphs.- Ontologies.- Ontology's Crossed Life Cycles.- A Roadmap to Ontology Specification Languages.- A Formal Ontology of Properties.- Construction and Deployment of a Plant Ontology.- The Role of Ontologies for an Effective and Unambiguous Dissemination of Clinical Guidelines.- Supporting Inheritance Mechanisms in Ontology Representation.- Conflict Resolution in the Collaborative Design of Terminological Knowledge Bases.- Knowledge Acquisition from Texts.- Revisiting Ontology Design: A Method Based on Corpus Analysis.- Mining Ontologies from Text.- SVETLAN' Or How to Classify Words Using Their Context.- Machine Learning.- KIDS: An Iterative Algorithm to Organize Relational Knowledge.- Informed Selection of Training Examples for Knowledge Refinement.- Experiences with a Generic Refinement Toolkit.- Knowledge Management & E-Commerce.- What's in an Electronic Business Model?.- Chinese Encyclopaedias and Balinese Cockfights - Lessons for Business Process Change and Knowledge Management.- Using Problem-Solving Models to Design Efficient Cooperative Knowledge-Management Systems Based on Formalization and Traceability of Argumentation.- Integrating Textual Knowledge and Formal Knowledge for Improving Traceability.- Knowledge Management by Reusing Experience.- Problem-Solving Methods.- Integrating Knowledge-Based Configuration Systems by Sharing Functional Architectures.- The Nature of Knowledge in an Abductive Event Calculus Planner.-Adapting Tableaux for Classification.- Knowledge Representation.- Conceptual Information Systems Discussed through an IT-Security Tool.- Translations of Ripple Down Rules into Logic Formalisms.- Generalising Ripple-Down Rules.- Validation, Evaluation and Certification.- Monitoring Knowledge Acquisition Instead of Evaluating Knowledge Bases.- Torture Tests: A Quantitative Analysis for the Robustness of Knowledge-Based Systems.- Certifying KBSs: Using CommonKADS to Provide Supporting Evidence for Fitness for Purpose of KBSs.- Methodologies.- Kinesys, a Participative Approach to the Design of Knowledge Systems.- An Organizational Semiotics Model for Multi-agent Systems Design.

This book constitutes the refereed proceedings of the 12th International Conference on Knowledge Engineering and Knowledge Management, EKAW 2000, held in Juan-les-Pins, France in October 2000.
The 28 revised full papers and six revised short papers presented were carefully reviewed and selected from a high number of high-quality submissions. The book offers topical sections on knowledge modeling languages and tools, ontologies, knowledge acquisition from texts, machine learning, knowledge management and electronic commerce, problem solving methods, knowledge representation, validation, evaluation and certification, and methodologies.