This work investigates the quantifier elimination problem in real closed fields with respect to the application in description logics. The motivation for the investigation in this topic is mainly based on the demand for an extension of description logic systems to support a default concrete domain for non-linear multivariate equations and inequations. The authors provide a literature overview that summarizes main mathematical tools for checking whether a set of non-linear multivariate (in-)equatins is satisfiable (quantifier elimination problem). The authors shortly describe how application...

Der Europaische Gerichtshof fur Menschenrechte ist in seiner jungeren Rechtsprechung dazu ubergegangen, den materiellen Grundrechten, insbesondere dem Totungs- und Folterverbot der Art. 2 und 3 EMRK sowie dem Schutz des Privat- und Familienlebens nach Art. 8 EMRK, umfangreiche verfahrensrechtliche Anforderungen zu entnehmen. Die Arbeit untersucht die Grunde und moglichen Folgewirkungen dieser Entwicklung. Es wird aufgezeigt, dass der Gerichtshof die Verfahrensdimensionen materieller Garantien vornehmlich aus Effektivitatsgesichtspunkten entwickelt hat. Gleichzeitig kommt der Rechtsprechung...