Towards Understanding Reasoning Complexity in Practice

Although the computational complexity of the logic underlying the standard OWL 2 for the Web Ontology Language (OWL) appears discouraging for real applications, several contributions have shown that reasoning with OWL ontologies is feasible in practice. It turns out that reasoning in practice is often far less complex than is suggested by the established theoretical complexity bound, which reflects the worstcase scenario. State-of-the reasoners like FACT++, HERMIT, PELLET and RACER have demonstrated that, even with fairly expressive fragments of OWL 2, acceptable performances can be achieved. However, it is still not well understood why reasoning is feasible in practice and it is rather unclear how to study this problem. In this paper, we suggest first steps that in our opinion could lead to a better understanding of practical complexity. We also provide and discuss some initial empirical results with HERMIT on prominent ontologies

German companies strengthen their cooperation with Russian gas suppliers. OSW Commentary No. 64, 2011-10-24

Germany’s decision to give up the use of nuclear energy will force it to find a conventional low-carbon energy source as a replacement; in the short term, in addition to coal, this is likely to be gas. Due to their continued high debt and the losses associated with the end of atomic power, German companies will not be able to spend large funds on investing in conventional energy. First of all, they will aim to raise capital and repay their debts. The money for this will come from selling off their less profitable assets; this will include sales on the gas market. This will create opportunities for natural gas exporters and extraction companies such as Gazprom to buy back some of the German companies’ assets (electricity companies, for example). The German companies will probably continue to seek to recover the costs incurred in the investment projects already underway, such as Nord Stream, the importance of which will grow after Russian gas imports increase. At the same time, because of their debts, the German companies will seek to minimise their investment costs by selling some shares on the conventional energy market, to Russian corporations among others; the latter would thus be able to increase their stake in the gas market in both Western (Germany, Great Britain, the Benelux countries) and Central Europe (Poland, the Czech Republic). It is possible that while establishing the details of cooperation between the Russian and German companies, Russia will try to put pressure on Germany to give up competing projects such as Nabucco. However, a well-diversified German energy market should be able to defend itself against attempts to increase German dependence on Russian gas supplies and the dictates of high prices.

Trademarks with a reputation:bridging the 'logical lapse'

The article focuses on the Trade Marks Regulations 2004, which came into force on May 5, 2004. Regulation 7 repeals s 5(3)(b) and amends s 10(3) of the Trade Marks Act 1994, implementing the decision of the European Court of Justice in Davidoff & Cie SA and Zino Davidoff SA v Gofkid Ltd., which was then confirmed in Adidas-Salomon AG and Adidas Benelux BV v Fitnessworld Trading Ltd. The orthodox definition of the primary and proper function of a trademark is that it is to identify the origin or ownership of the goods to which the mark is affixed. As society has changed so too have the functions of the trademark. Due to increased affluence and the growth of the consumer society, some trademarks may now have achieved the status of being a symbol of desire in their own right.