Configuration knowledge representations for semantic web applications

Artificial Intelligence for Engineering Design, Analysis and Manufacturing: AIEDAM

Volumn 17, Issue 1, 2003, Pages 31-50

  Felfernig, Alexander ^a   Friedrich, Gerhard ^a   Jannach, Dietmar ^a   Stumptner, Markus ^b   Zanker, Markus ^a  

^a UNIVERSITY OF KLAGENFURT   (Austria)

^b UNIVERSITY OF SOUTH AUSTRALIA   (Australia)

Author keywords

Configuration; Knowledge representation; Ontologies

Indexed keywords

CONSTRAINT THEORY; FORMAL LOGIC; PROBLEM SOLVING; SEMANTICS; WORLD WIDE WEB;

ONTOLOGY INFERENCE LAYER; SEMANTIC WEB;

KNOWLEDGE REPRESENTATION;

EID: 0037866797     PISSN: 08900604     EISSN: None     Source Type: Journal    
DOI: 10.1017/S0890060403171041     Document Type: Article

References (53)

1. Aldanondo, M., Moynard, G., & Hamou, K. (2000). General configurator requirements and modeling elements. Proc. Workshop on Configuration, ECAI 2000, pp. 1-6.
2. Ardissono, L., Felfernig, A., Friedrich, G., Jannach, D., Zanker, M., & Schäfer, R. (2001). Customer-adaptive and distributed online product configuration in the CAWICOMS Project. Proc. Workshop on Configuration, in Conjunction with the 17th International Conf. Artificial Intelligence (IJCAI-2001), pp. 8-14.
3. Artale, A., Franconi, E., Guarino, N., & Pazzi, L. (1996). Part-whole relations in object-centered systems: An overview. Data & Knowledge Engineering 20(3), 347-383.
4. Baader, F., & Sattler, U. (1998). Description logics with concrete domains and aggregation. Proc. 13th European Conf. Artificial Intelligence (ECAI '98), pp. 336-340.
5. Barker, V., O'Connor, D., Bachant, J., & Soloway, E. (1989). Expert systems for configuration at Digital: XCON and beyond. Communications of the ACM 32(3), 298-318.
6. Bechhofer, S., Horrocks, I., Goble, C., & Stevens, R. (2001). OilEd: A reasonable ontology editor for the Semantic Web. Proc. Joint German/Austrian Conf. on AI, pp. 396-408.
7. Burners-Lee, T. (2000). Weaving the Web. New York: Harper Business.
8. Booch, G. (1994). Object-Oriented Analysis and Design with Applications. Object Technology Series. Reading, MA: Addison-Wesley.
9. Borgida, A. (1996). On the relative expressive power of description logics and predicate calculus. Artificial Intelligence 82, 353-367.
10. Buchheit, M., Klein, R., & Nutt, W. (1995). Constructive Problem Solving: A Model Construction Approach Towards Configuration. Technical Report TM-95-01. Saarbrücken, Germany: DFKI.
11. Cai, J., Fürer, M., & Immerman, N. (1989). An optimal lower bond on the number of variable for graph identification. Proc. 30th IEEE Symposium on FOCS, pp. 612-617.
12. Chandrasekaran, B., Josephson, J., & Benjamins, R. (1999). What are ontologies, and why do we need them? IEEE Intelligent Systems 14(1), 20-26.
13. Cranefield, S. (2001). UML and the Semantic Web. Semantic Web Working Symposium.
14. Cunis, R., Günter, A., Syska, I., Peters, H., & Bode, H. (1989). PLAKON-An approach to domain independent construction. Proc. Inf. Conf. Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, pp. 298-318.
15. Felfernig, A., Friedrich, G., & Jannach, D. (2000a) UML as domain specific language for the construction of knowledge-based configuration systems. International Journal of Software Engineering and Knowledge Engineering 10(4), 449-469.
16. Felfernig, A., Friedrich, G., Jannach, D., & Stumptner, M. (2000b). Consistency-based diagnosis of configuration knowledge bases. Proc. 14th European Conf. Artificial Intelligence (ECAI 2000), pp. 146-150.
17. Fensel, D., Ding, Y., Omelayenko, B., Schulten, E., Botquin, G., Brown, M., & Fett, A. (2001a). Product data integration in B2B E-commerce. IEEE Intelligent Systems 16(4), 54-59.
18. Fensel, D., VanHarmelen, F., Horrocks, I., McGuinness, D., & Patel-Schneider, P. (2001b). OIL: An ontology infrastructure for the semantic web. IEEE Intelligent Systems 16(2), 38-45.
19. Fleischanderl, G., Friedrich, G., Haselböck, A., Schreiner, H., & Stumptner, M. (1998). Configuring large systems using generative constraint satisfaction. IEEE Intelligent Systems 13(4), 59-68.
20. Gray, P., Hui, K., & Preece, A. (2001). An expressive constraint language for Semantic Web applications. Proc. IJCAI 2001 Workshop on E-Business and the Intelligent Web, pp. 46-53.
21. Grosof, B. (2001). Standardizing XML rules. Proc. IJCAI 2001 Workshop on E-Business and the Intelligent Web, pp. 2-3.
22. Gruber, T. (1992). Ontolingua: A Mechanism to Support Portable Ontologies. Technical Report KSL 91-66. Stanford, CA: KSL.
23. Gruber, T., Olsen, R., & Runkel, J. (1996). The configuration design ontologies and the VT elevator domain theory. International Journal of Human-Computer Studies 44(3/4), 569-598.
24. Günther, A., & Cunis, R. (1992). Flexible control in expert systems for construction tasks. Journal of Applied Intelligence 2(4), 369-385.
25. Günther, A. (1995). Wissensbasiertes Konfigurieren: Ergebnisse aus dem Projekt PROKON. Sankt Augustin, Germany: Infix.
26. Heinrich, M., & Jüngst, E. (1991). A resource-based paradigm for the configuring of technical systems from modular components. Proc. 7th IEEE Conf. AI Applications (CAIA), pp. 257-264.
27. Hella, L., Libkin, L., Nurmonen, J., & Wong, L. (2001). Logics with aggregate operators. Journal ACM 48(4), 880-907.
28. Immerman, N. (1982). Upper and lower bounds for first-order expressibility. Journal of Computer and System Sciences 25, 76-98.
29. Jacobson, I., Christerson, M., & Övergaard, G. (1992). Object-oriented Software Engineering-A Use-Case Driven Approach. Reading, MA: Addison-Wesley.
30. Klein, R., Buchheit, M., & Nutt, W. (1994). Configuration as model construction: The constructive problem solving approach. Proc. 3rd Int. Conf. Artificial Intelligence in Design. AID'94, pp. 201-218.
31. Mailharro, D. (1998). A classification and constraint-based framework for configuration. Artificial Intelligence for Engineering Design, Analysis and Manufacturing 12(4), 383-397.
32. McGuinness, D., & Wright, J. (1998). Conceptual modeling for configuration: A description logic-based approach. Artificial Intelligence for Engineering Design, Analysis and Manufacturing 12(4), 333-344.
33. McIlraith, S., Son, T., & Zeng, H. (2001). Mobilizing the Semantic Web with DAML-enabled web services. Proc. IJCAI 2001 Workshop on E-Business and the Intelligent Web, pp. 29-39.
34. Mittal, S., & Falkenhainer, B. (1990). Dynamic constraint satisfaction problems. Proc. National Conf. Artificial Intelligence (AAAI 90), pp. 25-32.
35. Mittal, S., & Frayman, F. (1989). Towards a generic model of configuration tasks. Proc. 11th Int. Joint Conf. Artificial Intelligence, pp. 1395-1401.
36. OMG. (1999). XMI Specification. Available on-line at www.omg.org.
37. Owsnicki-Klewe, B. (1988). Configuration as a consistency maintenance task. Proc. GWAI-88-The 12th German Workshop on Artificial Intelligence, pp. 77-87.
38. Ramachandran, S., & Gil, Y. (1999). Knowledge acquisition for configuration tasks: The EXPECT approach. Proc. AAAI Workshop on Configuration, Technical Report WS-99-05, pp. 29-34.
39. Rumbaugh, J., Blaha, M., Premerlani, W., Eddy, F., & Lorensen, W. (1991). Object-Oriented Modeling and Design. Englewood Cliffs, NJ: Prentice-Hall.
40. Rumbaugh, J., Jacobson, I., & Booch, G. (1998). The Unified Modeling Language Reference Manual. Reading, MA: Addison-Wesley.
41. Sattler, U. (2000). Description logics for the representation of aggregated objects. Proc. 14th Eur. Conf. Artificial Intelligence (ECAI 2000), pp. 239-243.
42. Schröder, C., Möller, R., & Lutz, C. (1996). A partial logical reconstruction of PLAKON/KONWERK. Proc. Workshop on Knowledge Representation and Configuration, DFKI Memo D-96-04, pp. 55-64.
43. Silaghi, M., Sam-Haroud, D., & Faltings, B. (2000). Asynchronous search with aggregations, Proc. 17th National Conf. Artificial Intelligence (AAAI), pp. 917-922.
44. Simons, P., Niemelä, I., & Soininen, T. (2002). Extending and implementing the stable model semantics, Artificial Intelligence 138(1-2), 181-234.
45. Smith, C., Inder, R., & Chung, P. (1988). Knowledge acquisition and representation for product configuration. Proc. 1st Int. Conf. Industrial and Engineering Applications of AI and Expert Systems (IEA/AIE'88), pp. 805-811.
46. Soininen, T., Tiihonen, J., Männistö, T., & Sulonen, R. (1998). Towards a general ontology of configuration. Artificial Intelligence for Engineering Design, Analysis and Manufacturing 12(4), 357-372.
47. Stumptner, M. (1997). An overview of knowledge-based configuration. AI Communications 10(2), 111-125.
48. Stumptner, M., Friedrich, G., & Haselböck, A. (1998). Generative constraint-based configuration of large technical systems. Artificial Intelligence for Engineering Design, Analysis and Manufacturing 12(4), 307-320.
49. Swartout, B., & Gil, Y. (1995). EXPECT: Explicit representation for flexible acquisition. Proc. 9th Knowledge Acquisition for Knowledge-Based Systems Workshop (KAW-95).
50. VanHarmelen, F., Patel-Schneider, P., & Horrocks, I. (2001). A Model-Theoretic Semantics for DAML+OIL. Available on-line at www.daml.org.
51. Weida, R. (1996). Closed terminologies in description logics. AAAI Fall Symposium 1996, pp. 11-18.
52. Wright, J., Weixelbaum, E., Vesonder, G., Brown, K., Palmer, S., Berman, J., & Moore, H. (1993). A knowledge-based configurator that supports sales, engineering, and manufacturing at AT&T Network Systems. AI Magazine 14(3), 69-80.
53. Yokoo, M., Durfee, E., Ishida, T., & Kuwabara, K. (1998). The distributed constraint satisfaction problem. IEEE Transactions on Knowledge and Data Engineering 10(5), 673-685.