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

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1319, Issue , 1997, Pages 113-128

  Fensel, D ^a   Motta, E ^b   Decker, S ^a   Zdrahal, Z ^b  

^a UNIVERSITY OF KARLSRUHE   (Germany)

^b OPEN UNIVERSITY   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 84957883450     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/BFb0026781     Document Type: Conference Paper

References (42)

1. 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, Leture Notes in AI, no 723, Springer-Verlag, 1993.
2. 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.
3. 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.
4. 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 (KA W'96), Banff, Canada, November 9-14, 1996.
5. J. Breuker and W. Van de Velde (eds.): The CommonKADS Library for Expertise Modelling, IOS Press, Amsterdam, The Netherlands, 1994.
6. 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 I, pp. 65-77. Academic Press, London, 1988.
7. B. Chandrasekaran: Design Problem Solving: A Task Analysis. AI Magazine, 11(4):59-71, Winter Issue, 1990.
8. B. Chandrasekaran, T.R. Johnson, and J. W. Smith: Task Structure Analysis for Knowledge Modeling, Communications of the ACM, 35(9): 124-137, 1992.
9. 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.
10. 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.
11. 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.
12. 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.
13. 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.
14. D. Fenset and A. Sch6negge: Specifying and Verifying Knowledge-Based Systems with KIV. In Proceedings of the European Symposium on the Validation and Verification of Knowledge Based Systems EUROVA V-97, Leuven Belgium, June 26-28, 1997.
15. 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.
16. 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 (KA W-94), Banff, Canada, 1994.
17. T. R. Gruber: A Translation Approach to Portable Ontology Specifications, Knowledge Acquisition, 5(2), 1993.
18. 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.
19. M. Kifer, G. Lausen, and J. Wu: Logical Foundations of Object-Oriented and Frame-Based Languages, Journal of the ACM, 42, 1995.
20. G. Klinker, C. Bhola, G. Dallemagne, D. Marques, and J. McDermott: Usable and Reusable Programmin Constructs, Knowledge Acquisition, 3:117-136, 1991.
21. 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.
22. S. Marcus, J. Stout, and J. McDermott VT: An Expert Elevator Designer That Uses Knowledge-based Backtracking, AI Magazine, 9(1):95-111, 1988.
23. S. Marcus, and J. McDermott: SALT: A Knowledge Acquisition Language for Propose and Revise Systems, Artificial Intelligence, 39(1): 1-37.
24. J. McDermott: Preliminary Steps Toward a Taxonomy of Problem-Solving Methods. In S. Marcus (ed.). Automating Knowledge Acquisition for Experts Systems, Kluwer Academic Publisher, Boston, 1988.
25. 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.
26. 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.
27. E. Motta and Z. Zdrahal: Parametric Design Problem Solving. In Proceedings of the lOth Banff Knowledge Acquisition for Knowledge-Based System Workshop (KAW'96), Banff, Canada, November 9-14, 1996.
28. A. Newell and H. A. Simon: Human Problem Solving, Prentice Hall, 1972.
29. F. Puppe: Systematic Introduction to Expert Systems: Knowledge Representation and Problem-Solving Methods, Springer-Verlag, Berlin, 1993.
30. C. Reynaud and F. Tort: Using Explicit Ontologies to Create Problem Solving Methods, International Journal of Human-Computer Studies (IJHCS), 46:339-364, 1997.
31. 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.
32. L. Steels: Components of Expertise, AI Magazine, 11(2), 1990.
33. A. ten Teije: Automated Configuration of Problem Solving Methods in Diagnosis, PhD thesis, University of Amsterdam, Amsterdam, NL, 1997.
34. 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.
35. J. Top and H. Akkermans: Tasks and Ontologies in Engineering Modeling, International Journal of Human-Computer Studies (IJHCS), 41:585-617, 1994.
36. 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 EKA W-96, Nottingham, England, May 14-17, 1996.
37. 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.
38. F. van Harmelen and D. Fensel: Formal Methods in Knowledge Engineering, The Knowledge Engineering Review, 10(4), 1995.
39. 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.
40. 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.
41. G. R. Yost and T.R. Rothenfluh: Configuring elevator systems, International Journal of Human-Computer Studies (IJHCS), 44(3/4):521-568, 1996.
42. 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.