{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,9]],"date-time":"2026-05-09T16:22:14Z","timestamp":1778343734543,"version":"3.51.4"},"reference-count":53,"publisher":"Cambridge University Press (CUP)","issue":"1","license":[{"start":{"date-parts":[[2003,8,7]],"date-time":"2003-08-07T00:00:00Z","timestamp":1060214400000},"content-version":"unspecified","delay-in-days":187,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["AIEDAM"],"published-print":{"date-parts":[[2003,2]]},"abstract":"<jats:p>Today's economy exhibits a growing trend toward highly specialized solution providers cooperatively offering configurable products and services to their customers. This paradigm shift requires the extension of current standalone configuration technology with capabilities of knowledge sharing and distributed problem solving. In this context a standardized configuration knowledge representation language with formal semantics is needed in order to support knowledge interchange between different configuration environments. Languages such as Ontology Inference Layer (OIL) and DARPA Agent Markup Language (DAML+OIL) are based on such formal semantics (description logic) and are very popular for knowledge representation in the Semantic Web. In this paper we analyze the applicability of those languages with respect to configuration knowledge representation and discuss additional demands on expressivity. For joint configuration problem solving it is necessary to agree on a common problem definition. Therefore, we give a description logic based definition of a configuration problem and show its equivalence with existing consistency-based definitions, thus joining the two major streams in knowledge-based configuration (description logics and predicate logic\/constraint based configuration).<\/jats:p>","DOI":"10.1017\/s0890060403171041","type":"journal-article","created":{"date-parts":[[2003,11,3]],"date-time":"2003-11-03T15:07:27Z","timestamp":1067872047000},"page":"31-50","source":"Crossref","is-referenced-by-count":52,"title":["Configuration knowledge representations for Semantic Web applications"],"prefix":"10.1017","volume":"17","author":[{"given":"ALEXANDER","family":"FELFERNIG","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"GERHARD","family":"FRIEDRICH","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"DIETMAR","family":"JANNACH","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"MARKUS","family":"STUMPTNER","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"MARKUS","family":"ZANKER","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"56","published-online":{"date-parts":[[2003,8,7]]},"reference":[{"key":"S0890060403171041_ref002","unstructured":"Ardissono, L. , Felfernig, A. , Friedrich, G. , Jannach, D. , Zanker, M. , & Sch\u00e4fer, R. (2001).Customer-adaptive and distributed online product configuration inthe CAWICOMS Project.Proc. Workshop on Configuration, in Conjunction with the 17thInternational Conf. Artificial Intelligence (IJCAI-2001), pp.8\u201314."},{"key":"S0890060403171041_ref016","unstructured":"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\u2013150."},{"key":"S0890060403171041_ref004","unstructured":"Baader, F. & Sattler, U. (1998).Description logics with concrete domains and aggregation.Proc. 13th European Conf. Artificial Intelligence (ECAI '98), pp.336\u2013340."},{"key":"S0890060403171041_ref026","unstructured":"Heinrich, M. & J\u00fcngst, E. (1991).A resource-based paradigm for the configuring of technical systemsfrom modular components.Proc. 7th IEEE Conf. AI Applications (CAIA), pp.257\u2013264."},{"key":"S0890060403171041_ref043","unstructured":"Silaghi, M. , Sam\u2013Haroud, D. , & Faltings, B. (2000).Asynchronous search with aggregations.Proc. 17th National Conf. Artificial Intelligence (AAAI), pp.917\u2013922."},{"key":"S0890060403171041_ref027","doi-asserted-by":"crossref","unstructured":"Hella, L. , Libkin, L. , Nurmonen, J. , & Wong, L. (2001).Logics with aggregate operators.Journal ACM 48(4),880\u2013907.","DOI":"10.1145\/502090.502100"},{"key":"S0890060403171041_ref006","doi-asserted-by":"crossref","unstructured":"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\u2013408.","DOI":"10.1007\/3-540-45422-5_28"},{"key":"S0890060403171041_ref039","unstructured":"Rumbaugh, J. , Blaha, M. , Premerlani, W. , Eddy, F. , & Lorensen, W. (1991).Object-Oriented Modeling and Design.Englewood Cliffs, NJ:Prentice\u2013Hall."},{"key":"S0890060403171041_ref007","unstructured":"Burners\u2013Lee, T. (2000).Weaving the Web.New York:Harper Business."},{"key":"S0890060403171041_ref049","unstructured":"Swartout, B. & Gil, Y. (1995).EXPECT: Explicit representation for flexible acquisition.Proc. 9th Knowledge Acquisition for Knowledge-Based SystemsWorkshop (KAW-95)."},{"key":"S0890060403171041_ref023","doi-asserted-by":"crossref","unstructured":"Gruber, T. , Olsen, R. , & Runkel, J. (1996).The configuration design ontologies and the VT elevator domaintheory.International Journal of Human\u2013Computer Studies 44(3\/4),569\u2013598.","DOI":"10.1006\/ijhc.1996.0024"},{"key":"S0890060403171041_ref042","unstructured":"Schr\u00f6der, C. , M\u00f6ller, 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\u201364."},{"key":"S0890060403171041_ref005","doi-asserted-by":"crossref","unstructured":"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\u2013318.","DOI":"10.1145\/62065.62067"},{"key":"S0890060403171041_ref028","doi-asserted-by":"crossref","unstructured":"Immerman, N. (1982).Upper and lower bounds for first-order expressibility.Journal of Computer and System Sciences 25,76\u201398.","DOI":"10.1016\/0022-0000(82)90011-3"},{"key":"S0890060403171041_ref024","doi-asserted-by":"crossref","unstructured":"G\u00fcnther, A. & Cunis, R. (1992).Flexible control in expert systems for construction tasks.Journal of Applied Intelligence 2(4),369\u2013385.","DOI":"10.1007\/BF00058652"},{"key":"S0890060403171041_ref033","unstructured":"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\u201339."},{"key":"S0890060403171041_ref030","doi-asserted-by":"crossref","unstructured":"Klein, R. , Buchheit, M. , & Nutt, W. (1994).Configuration as model construction: The constructive problemsolving approach.Proc. 3rd Int. Conf. Artificial Intelligence in Design, AID'94, pp.201\u2013218.","DOI":"10.1007\/978-94-011-0928-4_12"},{"key":"S0890060403171041_ref020","unstructured":"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\u201353."},{"key":"S0890060403171041_ref011","unstructured":"Cai, J. , F\u00fcrer, M. , & Immerman, N. (1989).An optimal lower bond on the number of variables for graphidentification.Proc. 30th IEEE Symposium on FOCS, pp.612\u2013617."},{"key":"S0890060403171041_ref050","unstructured":"VanHarmelen, F. , Patel\u2013Schneider, P. , & Horrocks, I. (2001).A Model\u2013Theoretic Semantics for DAML+OIL.Available on-line at www.daml.org."},{"key":"S0890060403171041_ref003","doi-asserted-by":"crossref","unstructured":"Artale, A. , Franconi, E. , Guarino, N. , & Pazzi, L. (1996).Part\u2013whole relations in object-centered systems: An overview.Data & Knowledge Engineering 20(3),347\u2013383.","DOI":"10.1016\/S0169-023X(96)00013-4"},{"key":"S0890060403171041_ref012","doi-asserted-by":"crossref","unstructured":"Chandrasekaran, B. , Josephson, J. , & Benjamins, R. (1999).What are ontologies, and why do we need them? IEEE Intelligent Systems 14(1),20\u201326.","DOI":"10.1109\/5254.747902"},{"key":"S0890060403171041_ref052","unstructured":"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\u201380."},{"key":"S0890060403171041_ref010","unstructured":"Buchheit, M. , Klein, R. , & Nutt, W. (1995).Constructive Problem Solving: A Model Construction Approach TowardsConfiguration.Technical Report TM-95-01. Saarbr\u00fccken, Germany:DFKI."},{"key":"S0890060403171041_ref032","doi-asserted-by":"crossref","unstructured":"McGuinness, D. & Wright, J. (1998).Conceptual modeling for configuration: A description logic-basedapproach.Artificial Intelligence for Engineering Design, Analysis andManufacturing 12(4),333\u2013344.","DOI":"10.1017\/S089006049812406X"},{"key":"S0890060403171041_ref022","unstructured":"Gruber, T. (1992).Ontolingua: A Mechanism to Support Portable Ontologies.Technical Report KSL 91-66. Stanford, CA:KSL."},{"key":"S0890060403171041_ref045","unstructured":"Smith, C. , Inder, R. , & Chung, P. (1988).Knowledge acquisition and representation for productconfiguration.Proc. 1st Int. Conf. Industrial and Engineering Applications of AIand Expert Systems (IEA\/AIE'88), pp.805\u2013811."},{"key":"S0890060403171041_ref037","doi-asserted-by":"crossref","unstructured":"Owsnicki\u2013Klewe, B. (1988).Configuration as a consistency maintenance task.Proc. GWAI-88\u2014The 12th German Workshop on ArtificialIntelligence, pp.77\u201387.","DOI":"10.1007\/978-3-642-74064-0_8"},{"key":"S0890060403171041_ref034","unstructured":"Mittal, S. & Falkenhainer, B. (1990).Dynamic constraint satisfaction problems.Proc. National Conf. Artificial Intelligence (AAAI 90), pp.25\u201332."},{"key":"S0890060403171041_ref038","unstructured":"Ramachandran, S. & Gil, Y. (1999).Knowledge acquisition for configuration tasks: The EXPECTapproach.Proc. AAAI Workshop on Configuration,Technical Report WS-99-05, pp.29\u201334."},{"key":"S0890060403171041_ref013","unstructured":"Cranefield, S. (2001).UML and the Semantic Web.Semantic Web Working Symposium."},{"key":"S0890060403171041_ref029","unstructured":"Jacobson, I. , Christerson, M. , & \u00d6vergaard, G. (1992).Object-oriented Software Engineering\u2014A Use-Case DrivenApproach.Reading, MA:Addison\u2013Wesley."},{"key":"S0890060403171041_ref019","doi-asserted-by":"crossref","unstructured":"Fleischanderl, G. , Friedrich, G. , Haselb\u00f6ck, A. , Schreiner, H. , & Stumptner, M. (1998).Configuring large systems using generative constraint satisfaction.IEEE Intelligent Systems 13(4),59\u201368.","DOI":"10.1109\/5254.708434"},{"key":"S0890060403171041_ref008","unstructured":"Booch, G. (1994).Object-Oriented Analysis and Design with Applications. ObjectTechnology Series.Reading, MA:Addison\u2013Wesley."},{"key":"S0890060403171041_ref031","doi-asserted-by":"crossref","unstructured":"Mailharro, D. (1998).A classification and constraint-based framework for configuration.Artificial Intelligence for Engineering Design, Analysis andManufacturing 12(4),383\u2013397.","DOI":"10.1017\/S0890060498124101"},{"key":"S0890060403171041_ref009","doi-asserted-by":"crossref","unstructured":"Borgida, A. (1996).On the relative expressive power of description logics andpredicate calculus.Artificial Intelligence 82,353\u2013367.","DOI":"10.1016\/0004-3702(96)00004-5"},{"key":"S0890060403171041_ref021","unstructured":"Grosof, B. (2001).Standardizing XML rules.Proc. IJCAI 2001 Workshop on E-Business and the Intelligent Web, pp.2\u20133."},{"key":"S0890060403171041_ref035","unstructured":"Mittal, S. & Frayman, F. (1989).Towards a generic model of configuration tasks.Proc. 11th Int. Joint Conf. Artificial Intelligence, pp.1395\u20131401."},{"key":"S0890060403171041_ref040","unstructured":"Rumbaugh, J. , Jacobson, I. , & Booch, G. (1998).The Unified Modeling Language Reference Manual.Reading, MA:Addison\u2013Wesley."},{"key":"S0890060403171041_ref017","doi-asserted-by":"crossref","unstructured":"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\u201359.","DOI":"10.1109\/5254.941358"},{"key":"S0890060403171041_ref041","unstructured":"Sattler, U. (2000).Description logics for the representation of aggregated objects.Proc. 14th Eur. Conf. Artificial Intelligence (ECAI 2000), pp.239\u2013243."},{"key":"S0890060403171041_ref014","doi-asserted-by":"crossref","unstructured":"Cunis, R. , G\u00fcnter, A. , Syska, I. , Peters, H. , & Bode, H. (1989).PLAKON\u2014An approach to domain independent construction.Proc. Int. Conf. Industrial and Engineering Applications ofArtificial Intelligence and Expert Systems, pp.298\u2013318.","DOI":"10.1145\/67312.67359"},{"key":"S0890060403171041_ref048","doi-asserted-by":"crossref","unstructured":"Stumptner, M. , Friedrich, G. , & Haselb\u00f6ck, A. (1998).Generative constraint-based configuration of large technicalsystems.Artificial Intelligence for Engineering Design, Analysis andManufacturing 12(4),307\u2013320.","DOI":"10.1017\/S0890060498124046"},{"key":"S0890060403171041_ref018","doi-asserted-by":"crossref","unstructured":"Fensel, D. , VanHarmelen, F. , Horrocks, I. , McGuinness, D. , & Patel\u2013Schneider, P. (2001b).OIL: An ontology infrastructure for the semantic web.IEEE Intelligent Systems 16(2),38\u201345.","DOI":"10.1109\/5254.920598"},{"key":"S0890060403171041_ref025","unstructured":"G\u00fcnther, A. (1995).Wissensbasiertes Konfigurieren: Ergebnisse aus dem Projekt PROKON.Sankt Augustin, Germany:Infix."},{"key":"S0890060403171041_ref015","doi-asserted-by":"crossref","unstructured":"Felfernig, A. , Friedrich, G. , & Jannach, D. (2000a).UML as domain specific language for the construction ofknowledge-based configuration systems.International Journal of Software Engineering and KnowledgeEngineering 10(4),449\u2013469.","DOI":"10.1142\/S0218194000000249"},{"key":"S0890060403171041_ref001","unstructured":"Aldanondo, M. , Moynard, G. , & Hamou, K. (2000).General configurator requirements and modeling elements.Proc. Workshop on Configuration, ECAI 2000, pp.1\u20136."},{"key":"S0890060403171041_ref051","unstructured":"Weida, R. (1996).Closed terminologies in description logics.AAAI Fall Symposium 1996, pp.11\u201318."},{"key":"S0890060403171041_ref046","doi-asserted-by":"crossref","unstructured":"Soininen, T. , Tiihonen, J. , M\u00e4nnist\u00f6, T. , & Sulonen, R. (1998).Towards a general ontology of configuration.Artificial Intelligence for Engineering Design, Analysis andManufacturing 12(4),357\u2013372.","DOI":"10.1017\/S0890060498124083"},{"key":"S0890060403171041_ref036","unstructured":"OMG .(1999).XMI Specification.Available on-line at www.omg.org."},{"key":"S0890060403171041_ref047","unstructured":"Stumptner, M. (1997).An overview of knowledge-based configuration.AI Communications 10(2),111\u2013125."},{"key":"S0890060403171041_ref044","doi-asserted-by":"crossref","unstructured":"Simons, P. , Niemel\u00e4, I. , & Soininen, T. (2002).Extending and implementing the stable model semantics.Artificial Intelligence 138(1\u20132).181\u2013234.","DOI":"10.1016\/S0004-3702(02)00187-X"},{"key":"S0890060403171041_ref053","doi-asserted-by":"crossref","unstructured":"Yokoo, M. , Durfee, E. , Ishida, T. , & Kuwabara, K. (1998).The distributed constraint satisfaction problem.IEEE Transactions on Knowledge and Data Engineering 10(5),673\u2013685.","DOI":"10.1109\/69.729707"}],"container-title":["Artificial Intelligence for Engineering Design, Analysis and Manufacturing"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S0890060403171041","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,3,26]],"date-time":"2020-03-26T14:17:33Z","timestamp":1585232253000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S0890060403171041\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003,2]]},"references-count":53,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2003,2]]}},"alternative-id":["S0890060403171041"],"URL":"https:\/\/doi.org\/10.1017\/s0890060403171041","relation":{},"ISSN":["0890-0604","1469-1760"],"issn-type":[{"value":"0890-0604","type":"print"},{"value":"1469-1760","type":"electronic"}],"subject":[],"published":{"date-parts":[[2003,2]]}}}