We investigate ontology-based query answering (OBQA) in a setting where both the ontology and the query can refer to concrete values such as numbers and strings. In contrast to previous work on this topic, the built-in predicates used to compare values are not restricted to being unary. We introduce restrictions on these predicates and on the ontology language that allow us to reduce OBQA to query answering in databases using the so-called combined rewriting approach. Though at first sight our restrictions are different from the ones used in previous work, we show that our results strictly subsume some of the existing first-order rewritability results for unary predicates. / This is an extended version of a paper published in the proceedings of IJCAI 2017.

The Golog action programming language is a powerful means to express high-level behaviours in terms of programs over actions defined in a Situation Calculus theory. In particular for physical systems, verifying that the program satisfies certain desired temporal properties is often crucial, but undecidable in general, the latter being due to the language’s high expressiveness in terms of first-order quantification and program constructs. So far, approaches to achieve decidability involved restrictions where action effects either had to be contextfree (i.e. not depend on the current state), local (i.e. only affect objects mentioned in the action’s parameters), or at least bounded (i.e. only affect a finite number of objects). In this paper, we present a new, more general class of action theories (called acyclic) that allows for context-sensitive, non-local, unbounded effects, i.e. actions that may affect an unbounded number of possibly unnamed objects in a state-dependent fashion. We contribute to the further exploration of the boundary between decidability and undecidability for Golog, showing that for acyclic theories in the two-variable fragment of first-order logic, verification of CTL properties of programs over ground actions is decidable.

The verification problem for action logic programs with non-terminating behaviour is in general undecidable. In this paper, we consider a restricted setting in which the problem becomes decidable. On the one hand, we abstract from the actual execution sequences of a non-terminating program by considering infinite sequences of actions defined by a Büchi automaton. On the other hand, we assume that the logic underlying our action formalism is a decidable description logic rather than full first-order predicate logic.

Ontology-based data access (OBDA) generalizes query answering in relational databases. It allows to query a database by using the language of an ontology, abstracting from the actual relations of the database. For ontologies formulated in Description Logics of the DL-Lite family, OBDA can be realized by rewriting the query into a classical first-order query, e.g. an SQL query, by compiling the information of the ontology into the query. The query is then answered using classical database techniques. In this report, we consider a temporal version of OBDA. We propose a temporal query language that combines a linear temporal logic with queries over DL-Litecore-ontologies. This language is well-suited for expressing temporal properties of dynamical systems and is useful in context-aware applications that need to detect specific situations. Using a first-order rewriting approach, we transform our temporal queries into queries over a temporal database. We then present three approaches to answering the resulting queries, all having different advantages and drawbacks. / This revised version proves that the presented algorithm achieves a bounded history encoding.

Gegenstand der vorliegenden Dissertationsschrift ist das zumeist als Revolution of Military Affairs wahrgenommene Auftreten der ersten Panzer. Diese „Tanks“ der Jahre 1916-1918 mit den ihnen innewohnenden Möglichkeiten, das blutige Patt des Stellungskrieges an der Westfront aufzuheben, beeinflußten der Legende nach das Kriegsende 1918 erheblich. Die Alliierten erkannten das Potential der neuen Waffe, ließen sich von frühen Rückschlägen nicht entmutigen und besaßen gegen Ende des Krieges eine gepanzerte Speerspitze ihrer nun modern auf Feuer und Bewegung ausgelegten Offensiven, denen man deutscherseits angeblich nichts entgegenzusetzen hatte. Die deutsche Führung, anscheinend geprägt durch technikfeindliche und geradezu blauäugig agierende Köpfe, verpaßte bis zuletzt ignorant jede Chance, ihrerseits auf diese die Landkriegführung bis heute prägende Waffe zu setzen und selbst Tanks in Massen zu produzieren. Im Sommer 1918 kollabierten die deutschen Linien, als britische, französische und amerikanische Tankgeschwader unaufhaltsam auf sie und ihre technisch und taktisch plötzlich hoffnungslos unterlegenen Verteidiger einstürmten. Inwieweit diese plausibel erscheinende Darstellung den Realitäten in höchsten Führungskreisen beider Seiten und auf den Gefechtsfeldern entsprach, ist eine grundsätzliche Frage innerhalb der vorliegenden Dissertation. Anhand der operationsgeschichtlichen Untersuchung der namhaftesten Tankeinsätze zwischen dem ersten Auftreten der neuen Waffe im September 1916 und ihrem Siegeslauf im Sommer 1918 wird geklärt, welcher Anteil am alliierten Sieg den frühen Panzern zuzubilligen ist und inwiefern sich die deutsche Führung tatsächlich eines letztlich katastrophalen „Versagens“ schuldig machte. / The central theme of this thesis is the appearance on the battlefield of the first armoured vehicles, an event generally held to have been a revolution in military affairs. The exploits of these so-called ‘tanks’ of 1916 -1918, which had the inherent capability of breaking the bloody deadlock of trench warfare, contributed greatly during the interwar period to the promotion of a myth, which went roughly as follows: The Allies had recognised the potential of this new weapon; did not allow themselves to be deflected by early setbacks and so, towards the end of the war, their modern offensives, founded on the joint principles of fire and manoeuvre, possessed an armoured spearhead, against which the Germans had no answer. The German High Command, seemingly technophobic and blundering, ignored right to the bitter end, the chance to throw their weight behind the development and mass production of weapons, which to this day play a key role in land warfare. In the summer of 1918 the German lines simply folded in the face of British, French and American tank squadrons which rolled forward unstoppably to assault a defence which was suddenly and hopelessly tactically and technically inferior. The fundamental question of this thesis is to what extent this apparently plausible representation of the facts actually corresponds to the reality, both in the High Commands of both sides and on the battlefield. On the basis of historical-operational analysis of the most notable tank actions between the first appearance of the new weapon in September 1916 and its advance to victory during the summer of 1918, the thesis explores how much credit for the Allied victory is due to these early armoured vehicles and to what extent the German High Command itself was actually responsible for this final, catastrophic failure.

In dieser Arbeit beschäftigen wir uns mit dem Wasserstein Baryzentrumproblem diskreter Wahrscheinlichkeitsmaße sowie mit dem population Wasserstein Baryzentrumproblem gegeben von a Fréchet Mittelwerts von der rechnerischen und statistischen Seiten. Der statistische Fokus liegt auf der Schätzung der Stichprobengröße von Maßen zur Berechnung einer Annäherung des Fréchet Mittelwerts (Baryzentrum) der Wahrscheinlichkeitsmaße mit einer bestimmten Genauigkeit. Für empirische Risikominimierung (ERM) wird auch die Frage der Regularisierung untersucht zusammen mit dem Vorschlag einer neuen Regularisierung, die zu den besseren Komplexitätsgrenzen im Vergleich zur quadratischen Regularisierung beiträgt. Der Rechenfokus liegt auf der Entwicklung von dezentralen Algorithmen zurBerechnung von Wasserstein Baryzentrum: duale Algorithmen und Sattelpunktalgorithmen. Die Motivation für duale Optimierungsmethoden ist geschlossene Formen für die duale Formulierung von entropie-regulierten Wasserstein Distanz und ihren Derivaten, während, die primale Formulierung nur in einigen Fällen einen Ausdruck in geschlossener Form hat, z.B. für Gaußsches Maß. Außerdem kann das duale Orakel, das den Gradienten der dualen Darstellung für die entropie-regulierte Wasserstein Distanz zurückgibt, zu einem günstigeren Preis berechnet werden als das primale Orakel, das den Gradienten der (entropie-regulierten) Wasserstein Distanz zurückgibt. Die Anzahl der dualen Orakel rufe ist in diesem Fall ebenfalls weniger, nämlich die Quadratwurzel der Anzahl der primalen Orakelrufe. Im Gegensatz zum primalen Zielfunktion, hat das duale Zielfunktion Lipschitz-stetig Gradient aufgrund der starken Konvexität regulierter Wasserstein Distanz. Außerdem untersuchen wir die Sattelpunktformulierung des (nicht regulierten) Wasserstein Baryzentrum, die zum Bilinearsattelpunktproblem führt. Dieser Ansatz ermöglicht es uns auch, optimale Komplexitätsgrenzen zu erhalten, und kann einfach in einer dezentralen Weise präsentiert werden. / In this thesis, we consider the Wasserstein barycenter problem of discrete probability measures as well as the population Wasserstein barycenter problem given by a Fréchet mean from computational and statistical sides. The statistical focus is estimating the sample size of measures needed to calculate an approximation of a Fréchet mean (barycenter) of probability distributions with a given precision. For empirical risk minimization approaches, the question of the regularization is also studied along with proposing a new regularization which contributes to the better complexity bounds in comparison with the quadratic regularization. The computational focus is developing decentralized algorithms for calculating Wasserstein barycenters: dual algorithms and saddle point algorithms. The motivation for dual approaches is closed-forms for the dual formulation of entropy-regularized Wasserstein distances and their derivatives, whereas the primal formulation has a closed-form expression only in some cases, e.g., for Gaussian measures.Moreover, the dual oracle returning the gradient of the dual representation forentropy-regularized Wasserstein distance can be computed for a cheaper price in comparison with the primal oracle returning the gradient of the (entropy-regularized) Wasserstein distance. The number of dual oracle calls in this case will be also less, i.e., the square root of the number of primal oracle calls. Furthermore, in contrast to the primal objective, the dual objective has Lipschitz continuous gradient due to the strong convexity of regularized Wasserstein distances. Moreover, we study saddle-point formulation of the non-regularized Wasserstein barycenter problem which leads to the bilinear saddle-point problem. This approach also allows us to get optimal complexity bounds and it can be easily presented in a decentralized setup.

„Der heilsame Umweg”, 1939 mit dem Schleswig-Holsteinischen Literaturpreis ausgezeichnet, gehört zu der Gattung der deutsch-französischen Verständigungsromane, die in den dreißiger Jahren des 20. Jahrhunderts sehr erfolgreich waren. Der Roman beschreibt das Leben französischer Kriegsgefangener in einem holsteinischen Dorf während des Ersten Weltkriegs und ist das fiktionale Pendant zu den Kriegserinnerungen von F.E. Peters, der selbst von 1914 bis 1920 Gefangener in Frankreich war und dort als Dolmetscher eingesetzt wurde. Im Mittelpunkt der Handlung steht die junge Elisabeth Tormählen, die sich von der weltfremden Schülerin eines Mädchenpensionats zu einer tüchtigen Bäuerin und reifen Ehefrau entwickelt. Während ihr Mann an der Front ist, entspinnt sich eine kurze harmlose Romanze zwischen ihr und dem französischen Dolmetscher Gaston Marzais, die schnell beendet ist, als Elisabeth endgültig zu ihrem Mann findet und dieser sich nach Kriegsende von ihrer Treue überzeugen kann. Das vielschichtige Werk beschreibt unter Verzicht auf die gängigen nationalen Stereotypen oder mittels deren Demontage Deutsche und Franzosen als in ihrer Unterschiedlichkeit sehr ähnlich. Durch zahlreiche Symmetrie-Effekte und konsequent durchgeführte Perspektivwechsel, die sowohl die deutsche als auch die französische Sicht zu berücksichtigen suchen, wird das Gleiche im Fremden hervorgehoben. Gleicher Patriotismus und gleiche Opferbereitschaft auf beiden Seiten, aber auch gleiche Friedenssehnsüchte und gleiches Leiden unter den Grausamkeiten des Krieges sowie gleiche fachliche Kompetenz – denn auch die gefangenen Franzosen sind erfahrene Bauern und bewähren sich im täglichen Zusammenleben. Fanatiker wie die verbitterte Soldatenwitwe Greta Harders oder der hasserfüllte Brandstifter Maurice Thaudière werden als lebensuntüchtig dargestellt und begehen Selbstmord. Den ideologischen Grundtenor des Werkes betonen zum Schluss noch einmal die Intellektuellen: Gaston Marzais und sein deutscher Freund, der Jurist Georg Schmitt, beide erfüllt von dem Wissen um und dem Respekt vor der Kultur des anderen. Gemeinsam wollen sie nach der deutschen Niederlage weitere deutsch-französische Kriege verhindern und beschwören die pazifistische Vision eines Europas der Toleranz und der Aufklärung. „Der heilsame Umweg“ ist darüber hinaus eine Hymne an bäuerliche Kultur und familiäre Werte. So bewundert Marzais Interieur und Kleidung der alten Bäuerin Abel Schierholdt. Auch ein traditionelles norddeutsches Begräbnisritual wird detailliert beschrieben. Frankreichs Landleben ist präsent durch nostalgische Evozierungen der Gefangenen und deutliche Anklänge an den am Anfang des letzten Jahrhunderts sehr beliebten Roman von Henry Bordeaux „Les Roquevillard“ (1906), den F.E.Peters während seiner Kriegsgefangenschaft übersetzt hat. Schließlich reflektiert der Roman Macht und Ohnmacht von Sprache sowie die autobiographische Dimension literarischer Produktions- und Rezeptionsprozesse. Seine Heldin - und mit ihr der Leser - erkennt, "dass Dichtung nur echt ist als erlittenes Leben und dass sie nur aus der Erfahrung des Leides verstanden wird."

F. E. Peters wurde 1914 als junger Lehrer eingezogen und an der Marne von den Franzosen gefangengenommen. In seinen Kriegserinnerungen ("Kriegsgefangener in Frankreich (1914-1920)")beschreibt er die Zeit seiner Gefangenschaft und auch seine Freundschaft mit dem Schauspieler Willi Lohmann. In dieser Erzählung organisieren Kriegsgefangene ein Weihnachtsfest wider den Willen der Franzosen.

F. E. Peters war während des Ersten Weltkriegs Gefangener in Adriers auf dem Hof der Familie G.-P. Zu der Erzählung von Karl Wildermuth und seiner Freundin Germaine hat er sich von Erlebnissen aus dieser Zeit inspirieren lassen. Die warmherzige Geschichte handelt von einem jähzornigen, aber gutmütigen deutschen Gefreiten, der sich in der Gefangenschaft zuerst mit französischen Tieren und zuletzt mit einem kleinen französischen Mädchen anfreundet, das nach Ende des Krieges Frieden stiftet zwischen ihm und dem heimkehrenden Vater, der seinerseits Kriegsgefangener in Deutschland war. F. E. Peters Erinnerungen an die französische Gefangenschaft sind festgehalten in dem Tagebuch „Kriegsgefangener in Frankreich (1914-1920)“.

Der erste städtebauliche „Entwurf zu einer Siedlung im Stadtteil Trachau“ aus dem Jahre 1925, wurde im Hochbauamt der Stadt Dresden erarbeitet. Die Bearbeitung erfolgte auf der Grundlage einer weitsichtigen „Studie zu einem Bebauungsplan Groß – Dresden“. Bis zum Jahre 1927 /1928 erarbeitete im Hochbauamt eine Arbeitsgruppe von vier Architekten einen endgültigen Bebauungsplan. Die Stadt Dresden beteiligte sich durch Bereitstellung von Bauland und Finanzmitteln als Gesellschafter am Gesamtvorhaben. Für den Aufbau der zukünftigen Großsiedlung Trachau wurden vier Bauträger beauftragt, die bis 1932/33 tätig waren. In ihrem Auftrag arbeiteten die Architekten Hans Richter, Hans Waloschek sowie die Architektenfirma Schilling + Graebner. Wie ein Modell des Stadtbauamtes zeigt, wurden die Auffassungen der Neuen Sachlichkeit bevorzugt. Mit der “Machtübernahme“ durch das NS-Regime im Januar 1933 wurden die Baumaßnahmen abrupt unterbrochen und der Bebauungsplan entsprechend einer traditionellen Bauweise neu konzipiert. 1994 wurde die Wohnungsgenossenschaft Trachau Nord iG gegründet. 1995 wurde die Wohnungsgenossenschaft im Genossenschaftsregister eingetragen und im gleichen Jahr der Kaufvertrag unterzeichnet. 1996 Auftragserteilung, Analyse des Bauzustandes und Baubeginn. 2000 Abschlussarbeiten der Freiflächengestaltung in der Sommerperiode. Insgesamt 60 Seiten mit 9 Lageplänen, 11 Grundrisszeichnungen, 24 Abbildungen, 1 Perspektive