| Knowledge Modelling Languages and Tools | |
| OIL in a Nutshell | p. 1 |
| The Knowledge Model of Protege-2000: Combining Interoperability and Flexibility | p. 17 |
| A Case Study in Using Protégé-2000 as a Tool for CommonKADS | p. 33 |
| The MOKA Modelling Language (Short Paper) | p. 49 |
| Mdς: A Modelling Language to Build a Formal Ontology in Either Description Logics or Conceptual Graphs (Short Paper) | p. 57 |
| Ontologies | |
| Ontology's Crossed Life Cycles | p. 65 |
| A Roadmap to Ontology Specification Languages | p. 80 |
| A Formal Ontology of Properties | p. 97 |
| Construction and Deployment of a Plant Ontology | p. 113 |
| The Role of Ontologies for an Effective and Unambiguous Dissemination of Clinical Guidelines | p. 129 |
| Supporting Inheritance Mechanisms in Ontology Representation | p. 140 |
| Conflict Resolution in the Collaborative Design of Terminological Knowledge Bases | p. 156 |
| Knowledge Acquisition from Texts | |
| Revisiting Ontology Design: A Methodology Based on Corpus Analysis | p. 172 |
| Mining Ontologies from Text | p. 189 |
| SVETLAN' or How to Classify Words Using Their Context | p. 203 |
| Machine Learning | |
| KIDS: An Iterative Algorithm to Organize Relational Knowledge | p. 217 |
| Informed Selection of Training Examples for Knowledge Refinement | p. 233 |
| Experiences with a Generic Refinement Toolkit (Short Paper) | p. 249 |
| Knowledge Management & E-Commerce | |
| What's in an Electronic Business Model? | p. 257 |
| Chinese Encyclopaedias and Balinese Cockfights - Lessons for Business Process Change and Knowledge Management | p. 274 |
| Using Problem-Solving Models to Design Efficient Cooperative KnowledgeManagement Systems Based on Formalization and Traceability of Argumentation (Short Paper) | p. 288 |
| Integrating Textual Knowledge and Formal Knowledge for Improving Traceability (Short Paper) | p. 296 |
| Knowledge Management by Reusing Experience (Short Paper) | p. 304 |
| Problem-Solving Methods | |
| Integrating Knowledge-Based Configuration Systems by Sharing Functional Architectures | p. 312 |
| The Nature of Knowledge in an Abductive Event Calculus Planner | p. 328 |
| Adapting Tableaux for Classification (Short Paper) | p. 344 |
| Knowledge Representation | |
| Conceptual Information Systems Discussed through an IT-Security Tool | p. 352 |
| Translations of Ripple Down Rules into Logic Formalisms | p. 366 |
| Generalising Ripple-Down Rules (Short Paper) | p. 380 |
| Validation, Evaluation and Certification Monitoring Knowledge Acquisition Instead of Evaluating Knowledge Bases | p. 387 |
| Torture Tests: A Quantitative Analysis for the Robustness of Knowledge-Based Systems | p. 403 |
| Certifying KBSs: Using CommonKADS to Provide Supporting Evidence for Fitness for Purpose of KBSs | p. 419 |
| Methodologies | |
| Kinesys, a Participative Approach to the Design of Knowledge Systems | p. 435 |
| An Organizational Semiotics Model for Multi-agent Systems Design (Short Paper) | p. 449 |
| Author Index | p. 457 |
| Table of Contents provided by Publisher. All Rights Reserved. |