Configuration knowledge representations for Semantic Web applications

ALEXANDER FELFERNIG, GERHARD FRIEDRICH, DIETMAR JANNACH, MARKUS STUMPTNER, MARKUS ZANKER
2003 Artificial intelligence for engineering design, analysis and manufacturing  
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
more » ... figuration 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 logic0constraint based configuration!.
doi:10.1017/s0890060403171041 fatcat:my6to5uj6bfwbffxjdhd7rztxq