Tools for Finding Inconsistencies in Real-world Logic-based Systems

Currently there is extensive theoretical work on inconsistencies in logic-based systems. Recently, algorithms for identifying inconsistent clauses in a single conjunctive formula have demonstrated that practical application of this work is possible. However, these algorithms have not been extended for full knowledge base systems and have not been applied to real-world knowledge. To address these issues, we propose a new algorithm for finding the inconsistencies in a knowledge base using existing algorithms for finding inconsistent clauses in a formula. An implementation of this algorithm is then presented as an automated tool for finding inconsistencies in a knowledge base and measuring the inconsistency of formulae. Finally, we look at a case study of a network security rule set for exploit detection (QRadar) and suggest how these automated tools can be applied.

Government decisions before and during the First World War and the living standards in Germany during a drastic natural experiment

The First World War hit Germany severely, particularly the agricultural sector, because the outbreak came unexpected and its duration exceeded all expectations. Many resources necessary for agricultural production were required by the war economy and led to shortages and shrinking supplies. Many agricultural laborers were drafted and the blockade imposed by the allies prevented Germany from a great deal of imports. As a consequence, the nutritional situation was devastating, particularly after 1916, and hit all groups of the German society. The period under observation provides one of most drastic natural experiments in the 20th century. This study uses anthropometric data from German soldiers who served in the Second World War to trace living standards between the 1900s and the 1920s. In contrast to other approaches, this paper is able to distinguish between social groups by occupation, religious denominatio\n, regional origin, and city size. The results suggest that although all social strata were hit by famine conditions, the height of farmers, urban citizens, Catholics, and especially individuals born in the highly integrated food-import regions along the coast and the banks of the Rhine declined most.

War, food rationing, and socioeconomic inequality in Germany during the First World War

Germany experienced a devastating period during the First World War due to severely restricted import possibilities and a general shortage of foodstuffs. This study uses the heights of some 4,000 individuals who served during the Second World War to quantify biological living standards from the 1900s to the 1920s, and focuses primarily on socioeconomic inequality during this period. The results suggest that generally the upper social strata, measured by fathers' occupation, exhibited the tallest average height, followed by the middle and lower classes. These socioeconomic differences became more pronounced during the First World War when the rationing system provided a limited food supply. Wealthier individuals were able to purchase additional foodstuffs on black markets. Therefore, children from upper-class families experienced only a small decline in average height compared to their counterparts from the middle and lower social strata.

An anthropometric history of the World, 1810-1980: did migration and globalization influence country trends?

We find that regional height levels around the world were fairly uniform throughout most of the 19th century, with two exceptions: above-average levels in Anglo-Saxon settlement regions and below-average levels in Southeast Asia. After 1880, substantial diver- gences began to differentiate other regions -- making the world population taller, but more unequal. During the late 19th century and 20th century, heights between world regions devi- ated significantly, when incomes also became very unequal. Interestingly, during the “breaking point period” between the two regimes, heights declined significantly in the cattle-rich New World countries, whereas they started to increase in Old Europe. We discuss in this study whether immigration was a core factor to influence the height decline in the “Anthropometric Decline of the Cowboy and Gaucho Empires”.

'Easter Rising', 1914-1918-online. International Encyclopedia of the First World War

Although a military failure, the 1916 rebellion transformed Ireland by destroying the possibility of a political settlement between Irish nationalists and the British state and by popularising a republican movement prepared to use violence to achieve independence. This essay surveys the political background to the Easter Rising, its planning, the motivations and ideology of the rebels and the battle for Dublin. It concludes by assessing the Rising’s political impact and briefly summarising historiographical interpretations and commemorative trends. It argues that the origins, conduct, impact and aftermath of the insurrection are best understood within the wider context of the First World War.