Configuration knowledge representations for Semantic Web applications

  • Authors:

  • Alexander Felfernig;Gerhard Friedrich;Dietmar Jannach;Markus Stumptner;Markus Zanker

  • Affiliations:

  • Institut für Wirtschaftsinformatik und Anwendungssysteme, Produktionsinformatik, Klagenfurt, Austria;Institut für Wirtschaftsinformatik und Anwendungssysteme, Produktionsinformatik, Klagenfurt, Austria;Institut für Wirtschaftsinformatik und Anwendungssysteme, Produktionsinformatik, Klagenfurt, Austria;University of South Australia, Advanced Computing Research Centre, Adelaide, Australia;Institut für Wirtschaftsinformatik und Anwendungssysteme, Produktionsinformatik, Klagenfurt, Austria

  • Venue:
  • Artificial Intelligence for Engineering Design, Analysis and Manufacturing
  • Year:
  • 2003

Quantified Score

Hi-index 0.03

Visualization

Abstract

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