Manfred Theißen, Lars v.Wedel:
The need for an n-ary existential quantifier in description logics
KI-2004 Workshop on Applications of Description Logics,Ulm, Germany,24.9.2004
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 quantifier for Description Logics is proposed. We show that the quantifier can be paraphrased using concept conjunctions and disjunctions and qualified number restrictions. Due to its high cost in current DL systems, the periphrasis does not allow for practical applications. We state the need for an efficient implementation of the proposed n-ary existential quantifier.
description logics, model management, existential quantifier