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 Increased nociceptive neuronal excitability underlies chronic pain conditions. Various ion channels, including sodium, calcium and potassium channels have pivotal roles in the control of neuronal excitability. The members of the family of G protein-gated inwardly rectifying potassium (GIRK) channels, GIRK1-4, have been implicated in modulating excitability. Here, we investigated the ...

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...

A rectangular pyramidal horn antenna fabricated with tapered dielectric E-plane boundary walls whose inner surface is periodically loaded with thin conducting strips is investigated. For better impedance matching, at the throat region of the horn antenna, 3 cm portion is metallised. The radiation characteristics of this horn antenna are compared with that of an identical conventional horn anten...

We present a new formalism, Horn Disjunctive Linear Relations (Horn DLRs), for reasoning about temporal constraints. We prove that deciding satissabil-ity of sets of Horn DLRs is polynomial by exhibiting an algorithm based upon linear programming. Furthermore , we prove that most other approaches to tractable temporal constraint reasoning can be encoded as Horn DLRs, including the ORD-Horn alge...