LEADER 05256nam 22005415 450 001 9910143607303321 005 20200704064121.0 010 $a3-540-39967-4 024 7 $a10.1007/3-540-39967-4 035 $a(CKB)1000000000211382 035 $a(SSID)ssj0000324262 035 $a(PQKBManifestationID)11254249 035 $a(PQKBTitleCode)TC0000324262 035 $a(PQKBWorkID)10304535 035 $a(PQKB)10323400 035 $a(DE-He213)978-3-540-39967-4 035 $a(MiAaPQ)EBC3073228 035 $a(PPN)155190075 035 $a(EXLCZ)991000000000211382 100 $a20121227d2000 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aKnowledge Engineering and Knowledge Management. Methods, Models, and Tools $e12th International Conference, EKAW 2000, Juan-les-Pins, France, October 2-6, 2000 Proceedings /$fedited by Rose Dieng, Olivier Corby 205 $a1st ed. 2000. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2000. 215 $a1 online resource (XIV, 462 p.) 225 1 $aLecture Notes in Artificial Intelligence ;$v1937 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-41119-4 320 $aIncludes bibliographical references at the end of each chapters and index. 327 $aKnowledge 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. 330 $aThis 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. 410 0$aLecture Notes in Artificial Intelligence ;$v1937 606 $aArtificial intelligence 606 $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000 615 0$aArtificial intelligence. 615 14$aArtificial Intelligence. 676 $a006.3/31 702 $aDieng$b Rose$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aCorby$b Olivier$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 12$aEuropean Knowledge Acquisition Workshop 906 $aBOOK 912 $a9910143607303321 996 $aKnowledge Engineering and Knowledge Management. Methods, Models, and Tools$92257112 997 $aUNINA