Configuration knowledge representations for Semantic Web applications

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).

[1]  Lauri Hella,et al.  Logics with aggregate operators , 1999, Proceedings. 14th Symposium on Logic in Computer Science (Cat. No. PR00158).

[2]  Markus Stumptner,et al.  Generative constraint-based configuration of large technical systems , 1998, Artificial Intelligence for Engineering Design, Analysis and Manufacturing.

[3]  Robert A. Weida,et al.  Closed Terminologies in Description Logics , 1996, AAAI/IAAI, Vol. 1.

[4]  Ian Horrocks,et al.  OIL: An Ontology Infrastructure for the Semantic Web , 2001, IEEE Intell. Syst..

[5]  Markus Stumptner,et al.  Configuring Large Systems Using Generative Constraint Satisfaction , 1998, IEEE Intell. Syst..

[6]  Deborah L. McGuinness,et al.  Conceptual modelling for configuration: A description logic-based approach , 1998, Artificial Intelligence for Engineering Design, Analysis and Manufacturing.

[7]  Jon R. Wright,et al.  A Knowledge-Based Configurator that Supports Sales, Engineering, and Manufacturing at AT&T Network Systems , 1993, AI Mag..

[8]  Nicola Guarino,et al.  Dwq : Esprit Long Term Research Project, No 22469 Part-whole Relations in Object-centered Systems: an Overview Part-whole Relations in Object-centered Systems: an Overview , 2022 .

[9]  Reijo Sulonen,et al.  Towards a general ontology of configuration , 1998, Artificial Intelligence for Engineering Design, Analysis and Manufacturing.

[10]  Virginia E. Barker,et al.  Expert systems for configuration at Digital: XCON and beyond , 1989, Commun. ACM.

[11]  Markus Stumptner,et al.  An overview of knowledgedbased configuration , 1997 .

[12]  Grady Booch,et al.  Object-oriented analysis and design with applications (2nd ed.) , 1993 .

[13]  Stephen Cranefield.  UML and the Semantic Web , 2001, SWWS.

[14]  Makoto Yokoo,et al.  The Distributed Constraint Satisfaction Problem: Formalization and Algorithms , 1998, IEEE Trans. Knowl. Data Eng..

[15]  Markus Stumptner,et al.  Consistency-based diagnosis of configuration knowledge bases , 1999, Artif. Intell..

[16]  W. Nutt,et al.  Constructive problem solving : a model construction approach towards configuration , 1995 .

[17]  Thomas R. Gruber,et al.  Ontolingua: a mechanism to support portable ontologies , 1991 .

[18]  Neil Immerman,et al.  An optimal lower bound on the number of variables for graph identification , 1989, 30th Annual Symposium on Foundations of Computer Science.

[19]  M. Heinrich,et al.  A resource-based paradigm for the configuring of technical systems from modular components , 1991, [1991] Proceedings. The Seventh IEEE Conference on Artificial Intelligence Application.

[20]  Ivar Jacobson,et al.  The unified modeling language reference manual , 2010 .

[21]  Neil Immerman.  Upper and lower bounds for first order expressibility , 1980, 21st Annual Symposium on Foundations of Computer Science (sfcs 1980).

[22]  William E. Lorensen,et al.  Object-Oriented Modeling and Design , 1991, TOOLS.

[23]  G. Höfner,et al.  Data integration , 1993 .

[24]  Tran Cao Son,et al.  Mobilizing the Semantic Web with DAML-enabled Web Services , 2001, SemWeb.

[25]  MailharroDaniel.  A classification and constraint-based framework for configuration , 1998 .

[26]  Dieter Fensel,et al.  Product Data Integration in B2B E-Commerce , 2001, IEEE Intell. Syst..

[27]  Yolanda Gil,et al.  Knowledge Acquisition for Configuration Tasks : The EXPECT Approach , 1999 .

[28]  Gregory R. Olsen,et al.  The configuration design ontologies and the VT elevator domain theory , 1996, Int. J. Hum. Comput. Stud..

[29]  Grady Booch,et al.  Object-Oriented Analysis and Design with Applications , 1990 .

[30]  YokooMakoto,et al.  The Distributed Constraint Satisfaction Problem , 1998 .

[31]  Gerhard Friedrich,et al.  Uml as Domain Specific Language for the Construction of Knowledge-Based Configuration Systems , 1999, Int. J. Softw. Eng. Knowl. Eng..

[32]  Sanjay Mittal,et al.  Towards a Generic Model of Configuraton Tasks , 1989, IJCAI.

[33]  Alexander Borgida,et al.  On the Relative Expressiveness of Description Logics and Predicate Logics , 1996, Artif. Intell..

[34]  Daniel Mailharro,et al.  A classification and constraint-based framework for configuration , 1998, Artificial Intelligence for Engineering Design, Analysis and Manufacturing.

[35]  Bernd Owsnicki-Klewe,et al.  Configuration as a Consistency Maintenance Task , 1988, GWAI.

[36]  Brian Falkenhainer,et al.  Dynamic Constraint Satisfaction Problems , 1990, AAAI.

[37]  Makoto Yokoo.  Distributed Constraint Satisfaction Problem , 2001 .

[38]  Ian Horrocks,et al.  OilEd: a Reason-able Ontology Editor for the Semantic Web , 2001, Description Logics.

[39]  Tim Berners-Lee,et al.  Weaving The Web: The Original Design And Ultimate Destiny of the World Wide Web , 1999 .

[40]  Balakrishnan Chandrasekaran,et al.  What are ontologies, and why do we need them? , 1999, IEEE Intell. Syst..

[41]  Carsten Schröder,et al.  A Partial Logical Reconstruction of PLAKON/KONWERK , 2005 .

[42]  Markus Stumptner,et al.  An Overview of Knowledge-Based Configuration , 1997, AI Commun..

[43]  Lauri Hella,et al.  Logics with aggregate operators , 2001, JACM.

[44]  Ulrike Sattler.  Description Logics for the Representation of Aggregated Objects , 2000, ECAI.

[45]  Andreas Günter,et al.  PLAKON—an approach to domain-independent construction , 1989, IEA/AIE '89.

[46]  Andreas Günter,et al.  Flexible control in expert systems for construction tasks , 2004, Applied Intelligence.

[47]  Marius-Calin Silaghi,et al.  Asynchronous Search with Aggregations , 2000, AAAI/IAAI.

[48]  Alun Preece,et al.  An Expressive Constraint Language for Semantic Web Applications , 2001 .

[49]  Timo Soininen,et al.  Extending and implementing the stable model semantics , 2000, Artif. Intell..

[50]  Werner Nutt,et al.  Configuration as Model Construction: The Constructive Problem Solving Approach , 1994 .

[51]  Paul W. H. Chung,et al.  Knowledge acquisition and representation for product configuration: charting a way through a company's information jungle , 1988, IEA/AIE '88.

[52]  Ivar Jacobson,et al.  Object-oriented software engineering - a use case driven approach , 1993, TOOLS.

[53]  Liliana Ardissono,et al.  Customer-Adaptive and Distributed Online Product Configuration in the CAWICOMS project , 2001, IJCAI 2001.

[54]  Franz Baader,et al.  Description Logics with Concrete Domains and Aggregation , 1998, ECAI.