Product development requires the ability to check design consistency, to verify design properties, and to answer questions about a design's possible implementations. These tas...
The purpose of the chapter is to help someone familiar with DLs to understand the issues involved in developing an ontology for some universe of discourse, which is to become a co...
Abstract. Patterns are now widely used for describing software designs. However, they may also be used to describe process structure rather than the product structure. This may be ...
In order to handle the large amount of variability in product families, automated product derivation support is desirable. To make automated product derivation possible one importa...
Theo Dirk Meijler, Silvie Schoenmaker, Egbert de R...
In this chapter we will introduce description logics, a family of logic-based knowledge representation languages that can be used to represent the terminological knowledge of an a...