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.

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.