{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期-部件”：[[2023,2,13]]，“日期-时间”：“2023-02-13T20:37:39Z”，“时间戳”：1676320659889}，“参考-计数”：53，“出版商”：“剑桥大学出版社（CUP）”，“问题”：“1”，“许可证”：[{“开始”：{:“日期-零件”：[2003,8,7]]，”日期-时间“：“2003-08-07T00:00:00Z”，“时间戳”：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”（摘要）：“当今的经济呈现出一种日益增长的趋势，即高度专业化的解决方案提供商合作向客户提供可配置的产品和服务。这种范式转换需要扩展当前的独立配置技术，使其具备知识共享和分布式问题解决的能力。在这种情况下，需要一种具有形式语义的标准化配置知识表示语言，以支持不同配置环境之间的知识交换。诸如本体推理层（OIL）和DARPA代理标记语言（DAML+OIL）之类的语言基于这种形式语义（描述逻辑），并且对于语义网中的知识表示非常流行。本文分析了这些语言在配置知识表示方面的适用性，并讨论了对表达性的额外要求。为了解决联合配置问题，有必要商定一个共同的问题定义。因此，我们给出了配置问题的一个基于描述逻辑的定义，并证明了其与现有基于一致性的定义的等价性，从而将基于知识的配置中的两个主要流（描述逻辑和基于谓词逻辑的配置）连接起来<\/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“：51，”title“：[”语义Web应用程序的配置知识表示“]，”前缀“：“10.1017”，“volume”：“17”，“作者“：[{“given”：“ALEXANDER”，“family”：“FELFERNIG”，“sequence”：“first”，“affiliation”：[]}，{“Givent”：“GERHARD”，“家族”：“FRIEDRICH”，“序列”：“additional”，“ffiliation”：[]}，}“givind”：“DIETMAR”，“：”additional“，”affiliation“：[]}，{”given“：”MARKUS“，”family“：”ZANKER“，”sequence“：”additional“，”affiliation“：[]}]，”member“：”56“，”published-on-line“：{”date-parts“：[[2003,8,7]]}，”reference“：[{”key“：”S0890060403171041_ref002“，”unstructured“：”Ardissono，L.，Felfernig，A.，Friedrich，G.，Jannach，D.，ZANKER，M.，&Sch\u00e4fer，R.（2001）CAWICOMS项目中的客户自适应和分布式在线产品配置。程序。配置研讨会，结合第17届国际人工智能大会（IJCAI-2001），第8\u201314页。“}，{“key”：“S0890060403171041_ref016”，“unstructured”：“Felfernig，A.，Friedrich，G.，Jannach，D.，&Stumptner，M.（2000b）。基于一致性的配置知识库诊断。第14届欧洲会议记录。《人工智能》（ECAI 2000），第146\u2013150页Heinrich，M.&J\u00fcngst，E.（1991）。一种基于资源的范式，用于从模块化组件配置技术系统。程序。第七届IEEE Conf.AI Applications（CAIA），第257\u2013264页非结构化”：“Hella，L.、Libkin，L.，Nurmonen，J.和Wong，L.（2001）。带有聚合运算符的逻辑。Journal ACM 48（4），880\u2013907.“，”DOI“：”10.1145\/50209.502100“｝，｛”key“：”S0890060403171041_ref006“，”DOI断言“：”crossref“，”非结构化“：”Bechhofer，S.，Horrocks，I.，Goble，C.，&Stevens，R.（2001）。OilEd：语义网的合理本体编辑器。Proc.德国/奥地利联合人工智能会议，第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）.面向对象的建模与设计.新泽西州Englewood Cliffs：Prentice\u2013Hall。”}，}，“key“：”S089006403171041_rev007“，“unsructured“：”Burners\u2013Lee，T.（2000）.编织网络。纽约：Harper Business。“}，{”key“：”S0890060403171041_ref049“，”unstructured“：”Swartout，B.&Gil，Y.（1995）。EXPECT:灵活获取的显式表示。Proc.第九届知识型系统知识获取研讨会（KAW-95）。“}配置设计本体论和VT电梯领域理论。《国际人类2013计算机研究杂志》44（3/4），569\u2013598.“，”DOI“：”10.1006\/ijhc.1996.0024“}，{”key“：”S0890060403171041_ref042“，”unstructured“：”Schr\u00f6der，C.，M\u00f 6ller，R.，&Lutz，C.（1996）PLAKON\/KONWERK.Proc的部分逻辑重建。知识表示与配置研讨会，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）。数字配置专家系统：XCON及其后。ACM通信32（3），298\u2013318。”，“doi”：“10.1145\/62065.62067“}，{”key“：”S0890060403171041_ref028“，”doi-asserted-by“：”crossref“，”unstructured“：”Immerman，N.（1982）.一阶可表达性的上下限.《计算机与系统科学杂志》25,76\u201398.“，”doi“：”10.1016\/0022-0000（82）90011-3“}”，{G\u00fcnther，A.&Cunis，R.（1992）。施工任务专家系统中的灵活控制。《应用智能杂志》2（4），369\u2013385.“，“DOI”：“10.1007\/BF00058652”}，{“key”：“S0890060403171041_ref033”，“unstructured”：“McIlraith，S.，Son，T.，&Zeng，H.（2001）。使用支持DAML的Web服务来移动语义Web。《IJCAI 2001电子商务和智能Web研讨会》，第29\u201339页S0890060403171041_ref030“，”doi-asserted-by“：”crossref“，”unstructured“：”Klein，R.，Buchheit，M.，&Nutt，W.（1994）。配置作为模型构建：建设性问题解决方法。程序。第三届设计人工智能国际会议，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）一种用于语义Web应用程序的表达约束语言。程序。IJCAI 2001年电子商务和智能网络研讨会，第46\u201353页。“}，{“key”：“S0890060403171041_ref011”，“unstructured”：“Cai，J.，F\u00fcrer，M.，&Immerman，N.（1989）。图形识别变量数量的最优下界。Proc.第30届IEEE FOCS研讨会，第612_2013617页。”}，}“key”：“SO890060403171041_ref 050”，“非结构化“：”VanHarmelen，F.，Patel\u2013Schneider，P.，&Horrocks，I.（2001）。DAML+OIL的模型\u2013理论语义。网址：www.daml.org.“}，{“key”：“S0890060403171041_ref003”，“doi-asserted-by”：“crossref”，”unstructured“：“Artale，A.，Franconi，E.，Guarino，N.，&Pazzi，L.（1996）.Part\u2013whole relationships 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）。什么是本体，为什么我们需要它们？IEEE智能系统14（1），20\u201326.“，”DOI“：”10.1109\/5254.747902“｝，｛”key“：”S0890060403171041_ref052“，”非结构化“：”Wright，J.，Weixelbaum，E.，Vesonder，G.，Brown，K.，Palmer，S.，Berman，J.，&Moore，H.（1993）。一个基于知识的配置器，支持at&T网络系统的销售、工程和制造。AI杂志14（3），69\u201380.“}，{”key“：”S0890060403171041_ref010“，”unstructured“：”Buchheit，M.，Klein，R.，&Nutt，W.（1995）.建设性问题解决：面向配置的模型构建方法.技术报告TM-95-01。Saarbr\u00fccken，德国：DFKI。“}，{”key“：”S0890060403171041_ref032“，”doi-asserted-by“：”crossref“，”unstructured“：”McGuinness，D.&Wright，J.（1998）。配置的概念建模：基于逻辑的描述dapproach.工程设计、分析和制造的人工智能12（4），333\u2013344.“，”doi“：”10.1017\/S089006049812406X“}”，{“key”：“”S0890060403171041_ref022“，“非结构化”：”Gruber，T.（1992）。Ontolingua：支持可移植Ontologies的机制。技术报告KSL 91-66。加利福尼亚州斯坦福：KSL。“}，{”key“：”S0890060403171041_ref045“，”unstructured“：”Smith，C.，Inder，R.，&Chung，P.（1988）.产品配置的知识获取和表示.第1届国际会议.AI和专家系统的工业和工程应用（IEA\/AIE'88），pp.805\u2013811.“}非结构化”：“Owsnicki\u2013Klewe，B.（1988）。配置作为一致性维护任务。程序。GWAI-88\u2014第12届德国人工智能研讨会，第77页\u201387。”，“DOI”：“10.1007\/978-3-642-74064-0_8”｝，｛“key”：“S0890060403171041_ref034”，“非结构化”：“Mittal，S.&Falkenhainer，B.（1990）。动态约束满足问题。美国国家会议人工智能（AAAI 90），第25页\u201332。”｝，｛“key”：“S0890060403171041_ref038“，“非结构化”：”Ramachandran，S.&Gil，Y.（1999）。配置任务的知识获取：EXPECT方法。程序。AAAI关于配置的研讨会，技术报告WS-99-05，第29\u201334页.面向对象软件工程\u2014A用例驱动方法。马萨诸塞州雷丁：Addison\u2013Wesley。“}，{”key“：”S0890060403171041_ref019“，”doi-asserted-by“：”crossref“，”unstructured“：”Fleischanderl，G.，Friedrich，G.、Haselb\u00f6ck，A.、Schreiner，H.和Stumptner，M.（1998）。使用生成约束满足配置大型系统。EEE Intelligent systems 13（4），59\u201368。“，”doi“：”10.1109\/5254.708434“}、{”“key”：”S0890060403171041_ref008“，”非结构化“：”Booch，G.（1994）。面向对象的分析和设计及应用程序。ObjectTechnology系列。马萨诸塞州雷丁：Addison\u2013Wesley。“}，{”key“：”S0890060403171041_ref031“，”doi-asserted-by“：”crossref“，”unstructured“：”Mailharro，D.（1998）.基于分类和约束的配置框架.工程设计、分析和制造人工智能12（4），383\u2013397.“，”doi“：”10.1017\/S0890060498124101“}”，{doi-asserted-by“：”crossref“，”unstructured“：”Borgida，A.（1996）。关于描述逻辑和谓词演算的相对表达能力。人工智能82353\u2013367.“，”DOI“：”10.1016\/0004-3702（96）00004-5“}，{”key“：”S0890060403171041_ref021“，”unstructured“：”Grosof，B.（2001）.标准化XML规则.Proc.IJCAI 2001电子商务和智能Web研讨会，pp.2\u20133.“}”，{“key”：“S089006403171041_rev035”，“unstructure”：“Mittal，S.&Frayman，F.（1989）。朝向配置任务的通用模型。程序。第11届国际人工智能联合会，第1395\u20131401页。“}，{“key”：“S0890060403171041_ref040”，“unstructured”：“Rumbaugh，J.，Jacobson，I.，&Booch，G.（1998）。统一建模语言参考手册。阅读，马萨诸塞州：Addison\u2013Wesley。”}，}，“key“：”S089006403171041_rev017“，”doi-asserted-by“：”crossref“，”非结构化“：”Fensel，D.、Ding，Y.、Omelayenko，B.、Schulten，E.、Botquin，G.、Brown，M.和Fett，A.（2001a）。B2B电子商务中的产品数据集成。IEEE智能系统16（4），54\u201359.“，“DOI”：“10.1109\/5254.941358”}，{“key”：“S0890060403171041_ref041”，“unstructured”：“Sattler，U.（2000）.聚合对象表示的描述逻辑.Proc.14th Eur.Conf.Artificial Intelligence（ECAI 2000），pp.239\u2013243.”}、{“密钥”：“SO890060403171041_ref1_ref014”，“DOI-asserted-by”：“crossref”，“非结构化”：“Cunis，R.，G\u00fcenter，A.，Syska，I.，Peters，H.，&Bode，H.（1989）。PLAKON\u2014领域独立构建方法。程序。国际人工智能和专家系统工业和工程应用会议，第298\u2013318页，“DOI”：“10.1145\/67312.67359”}，{“key”：“S0890060403171041_ref048”，“DOI-asserted-by”：“crossref”，“unstructured”：“Stumptner，M.，Friedrich，G.，&Haselb\u00f6ck，A.（1998）.基于生成约束的大型技术系统配置。工程设计、分析和制造的人工智能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：语义web的本体基础设施。IEEE智能系统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.“}Felfernig，A.、Friedrich，G.和Jannach，D.（2000a）。UML作为领域特定语言，用于构建基于知识的配置系统。国际软件工程与知识工程杂志10（4），449\u2013469.“，”DOI“：”10.1142\/S021894000000249“}，{”key“：”S0890060403171041_ref001“，”unstructured“：”Aldanondo，M.，Moynard，G.，&Hamou，K.（2000）.一般配置器要求和建模元素.Proc.配置研讨会，ECAI 2000，pp.1\u20136.“}”，{“key”：“S0890060403171041_ref051“，“非结构化”：”Weida，R.（1996）。描述逻辑中的封闭术语。1996年AAAI秋季研讨会，第11\u201318页。“}，{“key”：“S0890060403171041_ref046”，“doi-asserted-by”：“crossref”，“unstructured”：“Soininen，T.，Tiihonen，J.，M\u00e4nnist\u00f6，T.和Sulonen，R.（1998）。走向配置的一般本体。工程设计、分析和制造的人工智能12（4），357\u2013372。”，“doi”：“10.1017 \/S0890060498124083“}，{“key”：“S0890060403171041_ref036”，“unstructured”：“OMG.（1999）.XMI规范。可在线获取，网址：www.OMG.org.”}，}，“key“：”S0890060 40317104 1_ref047“，”unstructure“：”Stumptner，M.（1997）。基于知识的配置概述。AI Communications 10（2），111\u2013125。“}doi-asserted-by“：”crossref“，”unstructured“：”Simons，P.，Niemel\u00e4，I.，&Soininen，T.（2002）。扩展和实现稳定的模型语义。人工智能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）.分布式约束满足问题.IEEE知识与数据工程学报10（5），673\u2013685.“，”DOI“：”10.1109\/69.729707“}]，”container-title“：[”工程设计、分析和制造的人工智能“]，”原始标题“：[]，”语言“：”en“，”链接“：[{”URL“：”https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S0890060403171041“，”内容类型“：”未指定“，”content-version“：”vor“，”intended-application“：”similarity-checking“}]，”deposed“：{”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”：[]，“shorttitle”：[]，“已发布”：{日期部分”：[[2003,2]]}，“参考文献计数”：53，“期刊问题”：｛“问题”：“1”，“已出版印刷品”：｛“日期部分”：[[2003,2]]}｝，“替代id”：[“S0890060403171041”]，“URL”：“http:\/\/dx.doi.org/10.1017\/s08890060403171041”，“关系”：｛｝，“ISSN”：[“0890-0604”，“1469-1760”]，“ISSN类型”：[｛”value“：”0890-0604“，“type”：“print”｝，｛“value”：“1469-1760”，“type”：电子“}”，“主题”：[]，“已发布”：{“日期部分”：[[2003,2]}}}