Advertisement

Using ontologies for defining tasks, problem-solving methods and their mappings

Long Papers
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1319)

Abstract

In recent years two main technologies for knowledge sharing and reuse have emerged: ontologies and problem solving methods (PSMs). Ontologies specify reusable conceptualizations which can be shared by multiple reasoning components communicating during a problem solving process. PSMs describe in a domain-independent way the generic reasoning steps and knowledge types needed to perform a task. Typically PSMs are specified in a task-specific fashion, using modelling frameworks which describe their control and inference structures as well as their knowledge requirements and competence. In this paper we discuss a novel approach to PSM specification, which is based on the use of formal ontologies. In particular our specifications abstract from control, data flow and other dynamic aspects of PSMs to focus on the logical theory associated with a PSM (method ontology). This approach concentrates on the competence and knowledge requirements of a PSM, rather than internal control details, thus enabling black-box-style reuse. In the paper we also look at the nature of PSM specifications and we show that these can be characterised in a task-independent style as generic search strategies. The resulting ‘modelling gap’ between method-independent task specifications and task-independent method ontologies can be bridged by constructing the relevant adapter ontology, which reformulates the method ontology in task-specific terms. An important aspect of the ontology-centred approach described here is that, in contrast with other characterisations of task-independent PSMs, it does away with the simple, binary distinction between weak and strong methods. We argue that any method can be defined in either task-independent or task-dependent style and therefore such distinction is of limited utility in PSM reuse. The differences between PSMs which affect reuse concern the ontological commitments which they make with respect to domain knowledge and goal specifications.

Keywords

Design Model Knowledge Acquisition Ontological Commitment Formal Ontology Knowledge Type 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [Akkermans et al., 1993]
    J. M. Akkermans, B. Wielinga, and A. TH. Schreiber: Steps in Constructing Problem-Solving Methods. In N. Aussenac et al. (eds.): Knowledge-Acquisition for Knowledge-Based Systems, Lecture Notes in AI, no 723, Springer-Verlag, 1993.Google Scholar
  2. [Angele et al., 1996]
    J. Angele, D. Fensel, and R. Studer: Domain and Task Modelling in MIKE. In A. Sutcliffe et al. (eds.), Domain Knowledge for Interactive System Design, Chapman & Hall, 1996.Google Scholar
  3. [Benjamins, 1995]
    R. Benjamins: Problem Solving Methods for Diagnosis And Their Role in Knowledge Acquisition, International Journal of Expert Systems: Research and Application, 8(2):93–120, 1995.Google Scholar
  4. [Beys et al., 1996]
    P. Beys, R. Benjamins, and G. van Heijst: Remedying the Reusability-Usability Tradeoff for Problem-solving Methods. In Proceedings of the 10th Banff Knowledge Acquisition for Knowledge-Based System Workshop (KAW 96), Banff, Canada, November 9–14, 1996.Google Scholar
  5. [Breuker & Van de Velde, 1994]
    J. Breuker and W. Van de Velde (eds.): The CommonKADS Library for Expertise Modelling, IOS Press, Amsterdam, The Netherlands, 1994.Google Scholar
  6. [Bylander & Chandrasekaran, 1988]
    T. Bylander, and B. Chandrasekaran: Generic Tasks in Knowledge-Based Reasoning: The Right Level of Abstraction for Knowledge Acquisition. In B. Gaines et al. (eds.), Knowledge Acquisition for Knowledge-Based Systems, vol 1, pp. 65–77. Academic Press, London, 1988.Google Scholar
  7. [Chandrasekaran, 1990]
    B. Chandrasekaran: Design Problem Solving: A Task Analysis. AI Magazine, 11(4):59–71, Winter Issue, 1990.Google Scholar
  8. [Chandrasekaran et al., 1992]
    B. Chandrasekaran, T.R. Johnson, and J. W. Smith: Task Structure Analysis for Knowledge Modeling, Communications of the ACM, 35(9): 124–137, 1992.CrossRefGoogle Scholar
  9. [Eriksson et al., 1995]
    H. Eriksson, Y. Shahar, S. W. Tu, A. R. Puerta, and M. A. Musen: Task Modeling with Reusable Problem-Solving Methods, Artificial Intelligence, 79(2):293–326, 1995.CrossRefGoogle Scholar
  10. [Farquhar et al., 1997]
    A. Farquhar, R. Fickas, and J. Rice: The Ontolingua Server: a Tool for Collaborative Ontology Construction, International Journal of Human-Computer Studies (IJHCS), 46(6):707–728, 1997.CrossRefGoogle Scholar
  11. [Fensel, 1997a]
    D. Fensel: An Ontology-based Broker: Making Problem-Solving Method Reuse Work. In Proceeedings of the Workshop on Problem-Solving Methods for Knowledge-based Systems (W26) during IJCAI-97, Japan, August 23, 1997.Google Scholar
  12. [Fensel, 1997b]
    D. Fensel: The Tower-of-Adapters Method for Developing and Reusing Problem-Solving Methods. To appear in Proceedings of European Knowledge Acquisition Workshop (EKAW-97), LNAI, Springer-Verlag, 1997.Google Scholar
  13. [Fensel & Groenboom, 1997]
    D. Fensel and R. Groenboom: Specifying Knowledge-Based Systems with Reusable Components. In Proceedings of the 9th International Conference on Software Engineering & Knowledge Engineering (SEKE-97), Madrid, Spain, June 18–20, 1997.Google Scholar
  14. [Fensel & Schönegge, 1997]
    D. Fensel and A. Schönegge: Specifying and Verifying Knowledge-Based Systems with KIV. In Proceedings of the European Symposium on the Validation and Verification of Knowledge Based Systems EUROVAV-97, Leuven Belgium, June 26–28, 1997.Google Scholar
  15. [Fensel et al., 1996]
    D. Fensel, H. Eriksson, M. A. Musen, and R. Studer: Developing Problem-Solving by Introducing Ontological Commitments, International Journal of Expert Systems: Research & Applications, vol 9(4), 1996.Google Scholar
  16. [Gennari et a]., 1994]
    Gennari, J. H., Tu, S. W., Rothenfluh, T. E., Musen, M. A. Mapping Domains to Methods in Support of Reuse. In Proceedings of the 8th Banff Knowledge Acquisition Workshop (KAW-94), Banff, Canada, 1994.Google Scholar
  17. [Gruber, 1993]
    T. R. Gruber: A Translation Approach to Portable Ontology Specifications, Knowledge Acquisition, 5(2), 1993.Google Scholar
  18. [Gruber, 1995]
    T. R. Gruber: Toward Principles for the Design of Ontologies Used for Knowledge Sharing, International Journal of Human-Computer Studies (IJHCS), 43(5/6):907–928, 1995.CrossRefGoogle Scholar
  19. [Kifer et al., 1995]
    M. Kifer, G. Lausen, and J. Wu: Logical Foundations of Object-Oriented and Frame-Based Languages, Journal of the ACM, 42, 1995.Google Scholar
  20. [Klinker et al., 1991]
    G. Klinker, C. Bhola, G. Dallemagne, D. Marques, and J. McDermott: Usable and Reusable Programmin Constructs, Knowledge Acquisition, 3:117–136, 1991.CrossRefGoogle Scholar
  21. [Lenat & Feigenbaum, 1987]
    D. B. Lenat and E. A. Feigenbaum: On the Thresholds of Knowledge. In Proceedings of the 10th International Joint Conference on Artificial Intelligence (IJCAI-87), 1987.Google Scholar
  22. [Marcus et al., 1988]
    S. Marcus, J. Stout, and J. McDermott VT: An Expert Elevator Designer That Uses Knowledge-based Backtracking, AI Magazine, 9(1):95–111, 1988.Google Scholar
  23. [Marcus & McDermott, 1989]
    S. Marcus, and J. McDermott: SALT: A Knowledge Acquisition Language for Propose and Revise Systems, Artificial Intelligence, 39(1):1–37.Google Scholar
  24. [Mc Dermott, 1988]
    J. Mc Dermott: Preliminary Steps Toward a Taxonomy of Problem-Solving Methods. In S. Marcus (ed.). Automating Knowledge Acquisition for Experts Systems, Kluwer Academic Publisher, Boston, 1988.Google Scholar
  25. [Mittal & Frayman, 1989]
    S. Mittal and F. Frayman: Towards a Generic Model of Configuration Tasks. In Proceedings of the 11th International Joint Conference on Artificial Intelligence — IJCAI `89, San Mateo, CA, Morgan-Kaufman, 1989.Google Scholar
  26. [Mizoguchi et al., 1995]
    R. Mizoguchi, J. Vanwelkenhuysen, and M. Ikeda: Task Ontologies for reuse of Problem Solving Knowledge. In N. J. I. Mars (ed.), Towards Very Large Knowledge Bases, IOS Press, 1995.Google Scholar
  27. [Motta & Zdrahal, 1996]
    E. Motta and Z. Zdrahal: Parametric Design Problem Solving. In Proceedings of the 10th Banff Knowledge Acquisition for Knowledge-Based System Workshop (KAW 96), Banff, Canada, November 9–14,1996.Google Scholar
  28. [Newell & Simon, 1972]
    A. Newell and H. A. Simon: Human Problem Solving, Prentice Hall, 1972.Google Scholar
  29. [Puppe, 1993]
    F. Puppe: Systematic Introduction to Expert Systems: Knowledge Representation and Problem-Solving Methods, Springer-Verlag, Berlin, 1993.Google Scholar
  30. [Reynaud & Tort, 1997]
    C. Reynaud and F. Tort: Using Explicit Ontologies to Create Problem Solving Methods, International Journal of Human-Computer Studies (IJHCS), 46:339–364, 1997.CrossRefGoogle Scholar
  31. [Schreiber et al., 1994]
    A. TH. Schreiber, B. Wielinga, J. M. Akkermans, W. Van De Velde, and R. de Hoog: CommonKADS. A Comprehensive Methodology for KBS Development, IEEE Expert, 9(6):28–37, 1994.CrossRefGoogle Scholar
  32. [Steels, 1990]
    L. Steels: Components of Expertise, AI Magazine, 11(2), 1990.Google Scholar
  33. [ten Teije, 1997]
    A. ten Teije: Automated Configuration of Problem Solving Methods in Diagnosis, PhD thesis, University of Amsterdam, Amsterdam, NL, 1997.Google Scholar
  34. [Terpstra et al., 1993]
    P. Terpstra, G. van Heijst, B. Wielinga, and N. Shadbolt: Knowledge Acquisition Support Through Generalised Directive Models. In M. David et al. (eds.): Second Generation Expert Systems, Springer-Verlag, 1993.Google Scholar
  35. [Top & Akkermans, 1994]
    J. Top and H. Akkermans: Tasks and Ontologies in Engineering Modeling, International Journal of Human-Computer Studies (IJHCS), 41:585–617, 1994.CrossRefGoogle Scholar
  36. [van Heijst and A. Anjewerden, 1996]
    G. van Heijst and A. Anjewerden: Four Propositions concerning the specification of Problem-Solving Methods. In Supplementary Proceedings of the 9th European Knowledge Acquisition Workshop EKAW-96, Nottingham, England, May 14–17,1996.Google Scholar
  37. [van de Velde, 1988]
    W. van de Velde: Inference Structure as a Basis for Problem Solving. In Proceedings of the 8th European Conference on Artificial Intelligence (ECAI-88), Munich, August 1–5, 1988.Google Scholar
  38. [van Harmelen & Fensel, 1995]
    F. van Harmelen and D. Fensel: Formal Methods in Knowledge Engineering, The Knowledge Engineering Review, 10(4), 1995.Google Scholar
  39. [van Heijst et al., 1997]
    G. van Heijst, A. T. Schreiber, and B. J. Wielinga: Using Explicit Ontologies in Knowledge-Based System Development, International Journal of Human-Computer Interaction (IJHCI), to appear 1997.Google Scholar
  40. [Wielinga et al., 1995]
    B. J. Wielinga, J. M. Akkermans, and A. Th. Schreiber: A Formal Analysis of Parametric Design Problem Solving. In Proceedings of the 9th Banff Knowledge Acquisition Workshop (KAW-95), Banff, Canada, January 26–Feruary 3, 1995.Google Scholar
  41. [Yost & Rothenfluh, 1996]
    G. R. Yost and T.R. Rothenfluh: Configuring elevator systems, International Journal of Human-Computer Studies (IJHCS), 44(3/4):521–568, 1996.CrossRefGoogle Scholar
  42. [Zdrahal & Motta, 1995]
    Z. Zdrahal and E. Motta: An In-Depth Analysis of Propose & Revise Problem Solving' Methods. In Proceedings of the 9th Banff Knowledge Acquisition Workshop (KAW-95), Banff, Canada, January 26–Feruary 3, 1995.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1997

Authors and Affiliations

  1. 1.Institut AIFBUniversity of KarlsruheKarlsruhe
  2. 2.Knowledge Media InstituteThe Open UniversityMilton KeynesUK

Personalised recommendations