Skip to main content
SpringerLink
Log in
Book cover

Handbook on Ontologies pp 321–341Cite as

Ontologies in Support of Problem Solving

  • Chapter

Part of the book series: International Handbooks on Information Systems ((INFOSYS))

Summary

Problem-solving methods are ready-made software components that can be assembled with domain knowledge bases to create application systems. Ontologies and problem-solving methods have a long history of intricate relationships. In this chapter, we describe these relationships and how they can be used in a principled manner to construct knowledge systems. We have developed a methodology that strongly relies on ontologies: first, to describe domain knowledge bases and problem-solving methods as independent components that can be reused in different application systems; and second, to mediate knowledge between the two kinds of components when they are assembled in a specific system. We present our methodology and a set of associated tools (based on the Protégé knowledge-engineering environment) that we have created to support developers in building knowledge systems and that we have used to conduct problem-solving method reuse experiments.

This is a preview of subscription content, log in via an institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   74.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. V. R. Benjamins, E. Plaza, E. Motta, D. Fensel, R. Studer, R. Wielinga, G. Schreiber, Z. Zdrahal, and S. Decker. An Intelligent Brokering Service for Knowledge-Component Reuse on the World-Wide Web. In Workshop on Knowledge Acquisition, Modeling and Management (KAW’98), 1998.

    Google Scholar 

  2. V. Richard Benjamins. Problem Solving Methods for Diagnosis. PhD Thesis, University of Amsterdam, 1993.

    Google Scholar 

  3. J.A. Breuker and W. van de Velde, editors. The CommonKADS Library for Expertise Modeling. IOS Press, Amsterdam, 1994.

    Google Scholar 

  4. B. G Buchanan and E. H. Shortliffe. Rule-Based Expert Systems: The MYCIN Experiments of the Stanford Heuristic Programming Project. Addison-Wesley, 1984.

    Google Scholar 

  5. B. Chandrasekaran. Generic Tasks for Knowledge-Based Reasoning: High-Level Building Blocks for Expert System Design. IEEE Expert, 1 (3): 23–30, 1986.

    Article  Google Scholar 

  6. B. Chandrasekaran, T. Johnson, and J.W. Smith. Task Structure Analysis for Knowledge Modeling. Communications of the ACM, 33 (9): 124–136, 1992.

    Article  Google Scholar 

  7. 7 B. Chandrasekaran, J. R. Josephson, and V. Richard Benjamins. Ontology of Tasks and Methods. In Workshop on Knowledge Acquisition, Modeling and Management (KAW’98), Banff, Canada, 1998.

    Google Scholar 

  8. W. J. Clancey. Heuristic Classification. Artificial Intelligence, 27: 289–350, 1985.

    Article  Google Scholar 

  9. W.J. Clancey. The Epistemology of a Rule-based Expert System: A Framework for Explanation. Artificial Intelligence, 20: 215–251, 1983.

    Article  Google Scholar 

  10. M. Crubézy, E. Motta, W. Lu, and M. A. Musen. Configuring Online Problem-Solving Resources with the Internet Reasoning Service. IEEE Intelligent Systems, 18 (2): 34–42, 2003.

    Article  Google Scholar 

  11. H. Eriksson, Y. Shahar, S. W. Tu, A. R. Puerta, and M. A. Musen. Task Modeling with Reusable Problem-Solving Methods. Artificial Intelligence, 79: 293–326, 1995.

    Article  Google Scholar 

  12. D. Fensel, H. Eriksson, M. A. Musen, and R. Studer. Conceptual and Formal Specifications of Problem-Solving Methods. International Journal of Expert Systems,9(4):507532, 1996.

    Google Scholar 

  13. D. Fensel and E. Motta. Structured Development of Problem Solving Methods. IEEE Transactions on Knowledge and Data Engineering, 13 (6): 913–932, 2001.

    Article  Google Scholar 

  14. D. Fensel, E. Motta, S. Decker, and Z. Zdrahal. Using Ontologies For Defining Tasks, Problem-Solving Methods and Their Mappings. In E. Plaza (eds.), editor, European Conference on Knowledge Acquisition, Modeling and Management (EKAW’97), volume 1319 of Lecture Notes in Artificial Intelligence, pages 113–128. Springer-Verlag, Berlin, 1997.

    Google Scholar 

  15. D. Fensel, E. Motta, E van Harmelen, V. R. Benjamins, M. Crubézy, S. Decker, M. Gas-pari, R. Groenboom, W. Grosso, M. A. Musen, E. Plaza, G. Schreiber, R. Studer, and R. Wielinga. The Unified Problem-solving Method Development Language UPML. Knowledge and Information Systems Journal (KAIS), 5 (1), 2003.

    Google Scholar 

  16. J. H. Gennari, W. E. Grosso, and M. A. Musen. A Method-Description Language: An Initial Ontology with Examples. In Workshop on Knowledge Acquisition, Modeling and Management (KAW’98), Banff, Canada, 1998.

    Google Scholar 

  17. J. H. Gennari, M. A. Musen, R. W. Fergerson, W. E. Grosso, M. Crubézy, H. Eriksson, N. F. Noy, and S. W. Tu. The Evolution of Protégé: An Environment for Knowledge-Based Systems Development. International Journal of Human-Computer Studies, 58 (1): 89–123, 2003.

    Article  Google Scholar 

  18. J.H. Gennari, R.B. Altman, and M.A. Musen. Reuse with Protégé-II: From Elevators to Ribosomes. In ACM-SigSoft 1995 Symposium on Software Reusability, Seattle, WA, 1995.

    Google Scholar 

  19. J.H. Gennari, S.W. Tu, T.E. Rothenfluh, and M.A. Musen. Mapping Domains to Methods in Support of Reuse. International Journal of Human-Computer Studies, 41:399–424., 1994.

    Google Scholar 

  20. Y. Gil and E. Melz. Explicit Representations of Problem-Solving Methods to Support Knowledge Acquisition. In Thirteenth National Conference on Artificial Intelligence (AAAI-96),Portland, Oregon, 1996. AAAI Press.

    Google Scholar 

  21. S. Marcus, J. Stout, and J. McDermott. VT: An Expert Elevator Designer that Uses Knowledge-Directed Backtracking. AI Magazine, 9 (1): 95–112, 1988.

    Google Scholar 

  22. J. McDermott. Preliminary Steps Toward a Taxonomy of Problem-Solving Methods. In S. Marcus, editor, Automatic Knowledge for Acquisition for Expert Systems, pages 22554. Boston: Kluwer Academic Publishers, 1988.

    Google Scholar 

  23. E. Motta. Reusable Components for Knowledge Modelling: Principles and Case Studies in Parametric Design. IOS Press, Amsterdam, 1999.

    Google Scholar 

  24. E. Motta and W. Lu. A Library of Components for Classification Problem Solving. Deliverable 1, IBROW Project IST-1999–19005: An Intelligent Brokering Service for Knowledge-Component Reuse on the World-Wide Web, 2000.

    Google Scholar 

  25. M. A. Musen. Scalable Software Architectures for Decision Support. Methods of Information in Medicine, 38: 229–238, 1999.

    Google Scholar 

  26. M. A. Musen and A. T. Schreiber. Architectures for Intelligent Systems Based on Reusable Components. Artificial Intelligence in Medicine, 7: 189–199, 1995.

    Article  Google Scholar 

  27. B. Omelayenko, M. Crubézy, D. Fensel, V R. Benjamins, B. J. Wielinga, E. Motta, M. A. Musen, and Y. Ding. UPML: The Language and Tool Support for Making the Semantic Web Alive. In D. Fensel, J. Hendler, H. Liebermann, and W. Wahlster, editors, Spinning the Semantic Web: Bringing the World Wide Web to its Full Potential. MIT Press, 2003.

    Google Scholar 

  28. J.Y. Park, J.H. Gennari, and M.A. Musen. Mappings for Reuse in Knowledge-Based Systems. In Eleventh Banff Knowledge Acquisition for Knowledge-Based Systems Workshop, Banff, Alberta, 1998.

    Google Scholar 

  29. E Puppe. Systematic Introduction to Expert Systems, Knowledge Representations and Problem-Solving Methods Springer-Verlag, 1993.

    Google Scholar 

  30. T. R. Rothenfluh, J. H. Gennari, H. Eriksson, A. R. Puerta, S. W. Tu, and M. A. Musen. Reusable Ontologies, Knowledge-Acquisition Tools, and Performance Systems: PROTÉGÉ-II Solutions to Sisyphus-2. International Journal of Human-Computer Studies, 44: 303–332, 1996.

    Article  Google Scholar 

  31. A. Th. Schreiber and W. P. Birmingham. Editorial: the Sisyphus-VT Initiative. International Journal of Human-Computer Studies, 44 (3/4): 275–280, 1996.

    Article  Google Scholar 

  32. A.T. Schreiber, J.M. Akkermans, A.A. Anjewierden, R. de Hoog, N.R. Shadbolt, W. van de Velde, and B.J. Wielinga. Knowledge Engineering and Management: The CommonKADS Methodology. MIT Press, Cambridge, 2000.

    Google Scholar 

  33. D.S. Smith, J.Y. Park, and M.A. Musen. Therapy Planning as Constraint Satisfaction: A Computer-Based Antiretroviral Therapy Advisor for the Management of HIV. In AMIA Fall Symposium, American Medical Informatics Association, pages 627–631, Orlando, FL, 1998.

    Google Scholar 

  34. L. Steels. Components of Expertise. AI Magazine, 11:30–49, 1990

    Google Scholar 

  35. S.W. Tu, Y. Shahar, J. Dawes, J. Winkles, A.R. Puerta, and M.A. Musen. A Problem-Solving Model for Episodic Skeletal-Plan Refinement. Knowledge Acquisition, 4: 197216, 1992.

    Google Scholar 

  36. A. Valente, V. R. Benjamins, and L. Nunes de Barros. A Library of System-Derived Problem-Solving Methods for Planning. International Journal of Human-Computer Studies, 48 (4): 417–447, 1998.

    Article  Google Scholar 

  37. G. Wiederhold. Mediators in the Architecture of Future Information Systems. IEEE Computer, 25 (3): 38–49, 1992.

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Stanford Medical Informatics, Stanford University, CA, 94305, USA

    Monica Crubézy & Mark A. Musen

Authors
  1. Monica Crubézy
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Mark A. Musen
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Institute AIFB, University of Karlsruhe, Kaiserstraße 12, 76131, Karlsruhe, Germany

    Steffen Staab  & Rudi Studer  & 

Rights and permissions

Reprints and permissions

Copyright information

© 2004 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Crubézy, M., Musen, M.A. (2004). Ontologies in Support of Problem Solving. In: Staab, S., Studer, R. (eds) Handbook on Ontologies. International Handbooks on Information Systems. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-24750-0_16

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-24750-0_16

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-662-11957-0

  • Online ISBN: 978-3-540-24750-0

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation