Proceedings of Tenth Knowledge Acquisition for Knowledge-Based Systems Workshop

Shareable and reusable problem-solving methods

• Modeling Problem-Solving Methods in New KARL, Juergen Angele, Stefan Decker, Rainer Perkuhn, and Rudi Studer, Germany.
• Remedying the Reusability-Usability Tradeoff for Problem-Solving Methods, Pascal Beys, Richard Benjamins and Gertjan van Heijst, the Netherlands and France.
• Describing Reusable Problem-Solving Methods with a Method Ontology, Eliana Coelho and Guy Lapalme, Canada.
• Specification and Verification of Knowledge-Based Systems, Dieter Fensel, Arno Schönegge, Rix Groenboom and Bob Wielinga, The Netherlands.
• Assumptions in model-based diagnosis, D. Fensel and R. Benjamins, The Netherlands.
• Explicit Representations of Problem-Solving Strategies to Support Knowledge Acquisition, Yolanda Gil and Eric Melz, USA.
• Problem-solving Method Reuse and Assembly: From Clinical Monitoring to Traffic Control, Martin Molina and Yuval Shahar, Spain and USA.
• A Structure of Problem-Solving Methods for Real-time Decision Support: Modeling Approaches Using PROTÉGÉ-II and KSM, Martin Molina, Yuval Shahar, Jose Cuena, Mark A. Musen, Spain and USA.
• Parametric Design Problem Solving, Enrico Motta & Zdenek Zdrahal, UK
• Applying a Library of Problem Solving Methods on a Real-Life Task, Piet-Hein Speel and Manfred Aben, The Netherlands.
• Ontologies and the Configuration of Problem-Solving Methods, Rudi Studer, Henrik Eriksson, John Gennari, Samson Tu, Dieter Fensel and Mark Musen, Germany, Sweden, USA and Holland.
• Construction of problem-solving methods as parametric design, Annette ten Teije, Frank van Harmelen, Guus Schreiber and Bob Wielinga, The Netherlands
• Improving Competence by Integrating Case-Based Reasoning and Heuristic Search, Zdenek Zdrahal and Enrico Motta, UK.

KA for temporal reasoning and planning

• Constructing Planners Through Problem-Solving Methods, Richard Benjamins, Leliane Nunes de Barros, Andre Valente, the Netherlands and USA.
• Temporal Semantics of Complex Reasoning Tasks, Frances Brazier, Jan Treur, Niek Wijngaards and Mark Willems, The Netherlands.
• DDL.1: A Formal Description of a Constraint Representation Language for Physical Domains, Amedeo Cesta and Angelo Oddi, Italy.
• Knowledge Acquisition, Validation, and Maintenance in A Planning System for Automated Image Processing, Steve A. Chien, USA.
• Knowledge Acquisition for Search and Rescue, Hugh Cottam and Nigel Shadbolt, UK.
• A Task-Specific Ontology for Design and Execution of Time-Oriented Skeletal Plans, Yuval Shahar, Silvia Miksch, Peter Johnson, USA.
• Episodic Refinement of Episodic Skeletal Plan Refinement, Samson W. Tu, Mark A. Musen, USA.

Agent-oriented approaches to knowledge engineering

• KAoS: An Open Agent Architecture Supporting Reuse, Interoperabiliby, and Extensibility, Jeffrey M. Bradshaw, USA.
• Beliefs, Intentions and DESIRE, Frances Brazier, Barbara Dunin-Keplicz, Jan Treur, Rineke Verbrugge, The Netherlands and Poland.
• Compositional Modelling of Reflective Agents, Frances Brazier, Jan Treur, The Netherlands.
• The Emergence of Knowledge through Modeling and Management Processes in Societies of Adaptive Agents, Brian R. Gaines, Canada.
• A Methodological Proposal for Multiagent Systems Development extending CommonKADS, Carlos A. Iglesias, Mercedes Garijo, José C. Gonzàlez and Juan R. Velasco, Spain.
• Software Agents Based on Formal KL-Models, Josefina Sierra Santibáñez, USA.

Shareable and reusable ontologies.

• Engineering Ontologies, Pim Borst, Hans Akkermans and Jan Top, The Netherlands.
• Using Ontologies in Multi-Agent Systems, Sabina Falasconi, Giordano Lanzola and Mario Stefanelli, Italy.
• Understanding, Building, and Using Ontologies, Nicola Guarino, Italy.
• Ontologies as Vehicles for Reuse: a mini-experiment, I. Laresgoiti, A. Anjewierden, A. Bernaras, J. Corera, A.Th. Schreiber and B.J. Wielinga, Spain and The Netherlands.
• ONIONS Methodology and the Ontological Commitment of Medical Ontology ON8.5, Geri Steve and Aldo Gangemi, Italy.
• Toward Distributed Use of Large-Scale Ontologies, Bill Swartout, Ramesh Patil, Kevin Knight and Tom Russ, USA.
• Towards Principled Core Ontologies, Andre Valente and Joost Breuker, USA and the Netherlands.

Corporate Memory and Enterprise Modeling

• A Unifying View an Business Process Modelling and Knowledge Engineering, Stefan Decker, Michael Erdmann and Rudi Studer, Germany.
• Building of a Corporate Memory for Traffic Accident Analysis, Rose Dieng, Alain Giboin, Christelle Amergé, Olivier Corby, Sylvie Després, Laurence Alpay, Sofiane Labidi, Stéphane Lapalut, France.
• Corporate memory through cooperative creation of knowledge bases and hyper-documents, Jérôme Euzenat, France.
• Knowledge Management for Distributed Enterprises, Brian R. Gaines, Douglas H. Norrie, Andrew Z. Lapsley and Mildred L.G. Shaw, Canada.
• Competence in Human Beings and Knowledge-Based Systems, Renaud Lecoeuche and Olivier Catinaud, France.
• An Original Model To Organize Know-How In a Benchmarking Context, S. Mahe, C. Rieu and D. Beauchene, France.
• Corporate Memories as Distributed Case Libraries, M.V. Nagendra Prasad and Enric Plaza, USA.
• Knowledge Acquisition and Modeling For Corporate Memory: Lessons Learnt from Experience, Gaële Simon, France.
• Organizing Corporate Memories, Gertjan van Heijst, Rob van der Spek, Eelco Kruizinga, The Netherlands.

Distributed Knowledge Modeling over the Internet

• Knowledge Acquisition Processes in Internet Communities, Lee Li-Jen Chen and Brian R. Gaines, Canada.
• The Ontolingua Server: a Tool for Collaborative Ontology Construction, Adam Farquhar, Richard Fikes and James Rice, USA.
• A Networked, Open Architecture Knowledge Management System, Brian R. Gaines and Mildred L. G. Shaw, Canada.
• Reuse for knowledge-based systems and CORBA components, John H. Gennari, Adam R. Stein and Mark A. Musen, USA.
• Users' Involvement in the Requirements Engineering Process, Daniela Elena Herlea, Canada.
• Toward a Multi-User, Programmable Web Concept Mapping "Shell" to Handle Multiple Formalisms, Rob Kremer, Canada.
• Coordinating System Development Processes, Frank Maurer, Germany.

Knowledge engineering

• Knowledge based systems that have some idea of their limits, P. Compton, P. Preston, G. Edwards, B. Kang, Australia and Japan.
• Design Critiquing for a Knowledge-Engineering Development Environment, Henrik Eriksson and Niklas Frost, Sweden.
• Vague Models and Their Implications for the KBS Design Cycle, Tim Menzies and Simon Goss, Australia.
• Assessing Responses to Situated Cognition, Tim Menzies, Monash Uni, Australia.
• Deep Interoperation between Diagnostic Distributed Expert Systems, Takahira Yamaguchi and Daiki Kishimoto, Japan.

Requirements engineering and knowledge engineering

• Kate's story - from RE to KE, and back again, Stephen Fickas, USA.
• Meta models for requirements engineering, Matthias Jarke, Germany.

Knowledge acquisition from natural language

• Unification of Language Understanding, Device Comprehension and Knowledge Acquisition, Ashok Goel, Kavi Mahesh, Justin Peterson, and Kurt Eiselt, USA.
• Automated Knowledge Acquisition Meets Metareasoning: Incremental Quality Assessment of Concept Hypotheses during Text Understanding, Udo Hahn, Manfred Klenner, Klemens Schnattinger, Germany.
• Deriving formal parameters for comparing knowledge elicitation techniques based on mathematical functions, Rodrigo Martinez-Bejar, Richard Benjamins, Fernando Martin and Victor Castillo, Spain.

Knowledge modeling using conceptual graphs

• MODEL-ECS: Executable Conceptual Modelling Language, Dickson Lukose, Australia.

Demonstration track

• KSM: An Environment for Building and Reusing Knowledge Models, Jose Cuena, Martin Molina, Spain.
• HyTropes: a WWW front-end to an object knowledge management system, Jérôme Euzenat, France.
• The Ontolingua Server: a Tool for Collaborative Ontology Construction, Adam Farquhar, Richard Fikes, James Rice, USA.
• Distributed Concept Mapping Collaboration using Java , Roberto Flores-Mendez, Canada.
• WebGrid: Knowledge Modeling and Inference through the World Wide Web, Brian R. Gaines and Mildred L. G. Shaw, Canada.
• Requirements Elicitation over the Electronic Workspace, Daniela Elena Herlea, Canada.
• A Demonstration of KSIMapper and Constraint Graphs , Rob Kremer, Canada.
• An Implementation of Multiple Classification Ripple Down Rules, P. Preston, P. Compton, G. Edwards, and B. Kang, Australia.
• Ontosaurus: A Tool for Browsing and Editing Ontologies, Bill Swartout, Ramesh Patil, Kevin Knight, Tom Russ, USA.
• Chronological Awareness Tools: CHRONO and Meta-CHRONO, Lee Li-Jen Chen, Canada (not in printed proceedings).