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

During saffron (Crocus sativus) spice production, large amounts of floral biowaste are generated. It was the aim of this study to develop a value-added product from saffron floral biowaste to be used as a natural cosmetic ingredient. HPLC-PDA-MS analysis of saffron flower extracts revealed the presence of flavonols with the highest amounts in the acetone extract. Kaempferol-3-O-sophoroside was ...

Submit Manuscript | http://medcraveonline.com main component of flower color is anthocyanin, a type of flavonoid [1]. Numerous genes involved in anthocyanin biosynthesis have been analyzed in various plants, and their biosynthesis pathways determined [2,3]. In addition to anthocyanins, flavonols and organic acids also play a role in flower color as ‘co-pigments’ [4]. Fragrant cyclamen cultivars...

Standard approachs to belief change assume that the underlying logic contains classical propositional logic. Recently there has been interest in investigating approaches to belief change, specifically contraction, in which the underlying logic is not as expressive as full propositional logic. In this paper we consider approaches to belief contraction in Horn knowledge bases. We develop two broa...

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