Horn description logics (Horn-DLs) have recently started to attract attention due to the fact that their (worst-case) data complexities are in general lower than their overall (i.e. combined) complexities, which makes them attractive for reasoning with large ABoxes. However, the natural question whether Horn-DLs also provide advantages for TBox reasoning has hardly been addressed so far. In thi...

This paper presents a framework for relevance-based belief change in propositional Horn logic. We firstly establish a parallel interpolation theorem for Horn logic and show that Parikh’s Finest Splitting Theorem holds with Horn formulae. By reformulating Parikh’s relevance criterion in the setting of Horn belief change, we construct a relevance-based partial meet Horn contraction operator and p...

We extend the knowledge compilation map introduced by Darwiche and Marquis with three influential propositional fragments, the Krom CNF one (also known as the bijunctive fragment), the Horn CNF fragment and the affine fragment (also known as the biconditional fragment) as well as seven additional languages based on them, and composed respectively of Krom or Horn CNF formulas, renamable Horn CNF...

BACKGROUND Pregnancy in the rudimentary uterine horn is an extremely rare clinical condition. Treatment includes surgical removal of the rudimentary horn. METHODS A rudimentary horn pregnancy was reported that occurred after intrauterine insemination. Similar cases treated with laparoscopic surgery reported in the peer-reviewed journals were reviewed as well. RESULTS Pregnancy in the right ...

BACKGROUND Children of workers exposed to pesticides are at risk of secondary pesticide exposure. We evaluated the potential for lower acetylcholinesterase activity in children cohabiting with fresh-cut flower plantation workers, which would be expected from organophosphate and carbamate insecticide exposure. Parental home surveys were performed and acetylcholinesterase activity was measured in...

Computer Graphics (CG) and Virtual Reality (VR) technologies have rapidly improved in recent years. It enabled us to develop some useful systems such as air hockey, catch ball, tennis and horseback riding for sports field, surgical simulations and support systems for medical field, calligraphy and flower arrangement for educational field. The good training systems have force feedback for users ...

Rudimentary horn is one of the rarest congenital uterine anomalies and consists of a relatively normal appearing uterus on one side with a rudimentary horn on the other side. It is difficult to diagnose before surgery and hazardous to maternal life as rupture of pregnant horn result in severe hemoperitoneum. Case of rudimentary horn pregnancy is reported in a lady with history of habitual abort...

The ared horn is modeled assuming that Webster's horn equation is satis ed. Any shape can be assumed for the wavefront within the horn. This paper presents a technique for solving Webster's horn equation as follows: The equation is converted to the form of the Schrodinger wave equation used for one-dimensional particle scattering. The horn characteristics can then be obtained directly in terms...