Motivated by a chemical process engineering application, we introduce a new concept constructor in Description Logics (DLs), an n-ary variant of the existential restriction constructor, which generalizes both the usual existential restrictions and so-called qualified number restrictions. We show that the new constructor can be expressed in ALCQ, the… (More)
Motivated by the development of an information system based on Description Logics (DL), which provides efficient support for searching mathematical models in chemical process engineering, an n-ary existential quan-tifier for Description Logics is proposed. We show that the quantifier can be paraphrased using concept conjunctions and disjunctions and… (More)
Documenting the rationale in design processes is commonly accepted to be rewarding, but rarely done in practice due to the required time and effort. We propose an integrated approach to work process and decision modeling, characterized by both an improved usefulness of the models and less effort for their creation.
Expressive models of the work processes performed in the chemical and process industries provide a basis for diverse applications like work process documentation, analysis, and enactment. In this contribution , we present a generic modeling language for different types of work processes to allow for their integrated representation in the life cycle of a… (More)