In the AGM framework [Alchourrón and Makinson, 1985], a revision function can be defined directly through constructions like systems of spheres, epistemic entrenchment, etc., or indirectly through a contraction operation via the Levi identity. A recent trend is to construct AGM style contraction and revision functions that operate under Horn logic. A direct construction of Horn revision is give...

Lameness in dairy cows is a major cause of suffering and economic loss with up to 52% (average 20-25%) of cows becoming lame each year (Clarkson et al., 1996; Green et al., 2002). The vast majority of lameness cases are caused by a variety of non-infectious and infectious claw diseases causing severe pain, decreased milk yield, reduced reproductive performance, high culling rates and increased ...

Lifted Relational Neural Networks (LRNNs) describe relational domains using weighted firstorder rules which act as templates for constructing feed-forward neural networks. While previous work has shown that using LRNNs can lead to state-of-the-art results in various ILP tasks, these results depended on hand-crafted rules. In this paper, we extend the framework of LRNNs with structure learning, ...

The injury-induced intense stimulation of spinal cord neurons causes lysophosphatidic acid (LPA) biosynthesis. LPA(1) receptor activation causes demyelination and sprouting of dorsal root fibers, leading to an induction of synaptic reorganization underlying allodynia, in which innocuous (tactile) stimuli cause intense pain. The LPA(1) signal also initiates the up-regulation of Ca(v)α2δ1 in dors...

233 Plantains and bananas (Musa sp.) are important starchy staples in Ghana. Processing of plantains into flour is limited as most plantain foods are eaten as boiled, fried or roasted. However, after the introduction on local and foreign markets of instant plantain fufu (popular West African food) flour consisting of plantain flour and cassava starch, interest in plantain flours as a commercial...

In this paper, we consider computing the difference between two Horn theories. This problem may arise, for example, if we take care of a theory change in a knowledge base. In general, the difference of Horn theories is not Horn. Therefore, we consider Horn approximations of the difference in terms of Horn cores (i.e., weakest Horn theories included in the difference), which have been proposed a...

We provide a characterization of Horn cores for formulas in conjunctive normal form (CNF) and, based on it, a novel algorithm for computing Horn cores of disjunctions of Horn CNFs that has appealing properties (e.g., it is polynomial for a bounded disjunction). Furthermore, we show that recognizing the Horn envelope of a disjunction of two Horn CNFs is intractable, and that computing a compact ...

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

Unicornuate uterus with rudimentary horn is a rare type of uterine malformation associated with obstetrical complications. Rupture of pregnant rudimentary horn is the usual presentation resulting in severe haemoperitoneum with increased maternal morbidity, and at times, mortality. A case of ruptured rudimentary horn pregnancy in a 24-year-old, second gravida, is reported. Exploratory laparotomy...

The relationship between embryo and corpus luteum was studied in an experiment on Barbari goats which were made unilaterally pregnant by embryo transfer 5 days after oestrus. Two embryos were transferred to each recipient whose luteal stage was coinciding with that of the donor. The site of transfer was either ipsilateral uterine horn (group I) or contralateral uterine horn (group II). The "ips...