Much research in Bayesian modeling has been done to elicit a prior distribution that incorporates domain knowledge. We present a novel and more direct approach by imposing First-Order Logic (FOL) rules on the posterior distribution. Our approach unifies FOL and Bayesian modeling under the regularized Bayesian framework. In addition, our approach automatically estimates the uncertainty of FOL ru...

For ty cows were assigned to one of two groups and fed either a high (H) or low (L) level of ration (130% and 70% of NRC requirements for TDN, respectively). Over a period of 92 days, the H cows gained .63 kg/day and the L cows lost .15 kg/day. On day 98 of the feeding regimen, after a synchronized estrus and follicle stimulating hormone (FSH) injected twice daily for 5 days, the two groups wer...

As one of the limited reference parameters for the appropriate timing of human chorionic gonadotropin (hCG) priming and embryo transfer (ET), peak serum estradiol (E2) level and related parameters have been considered to be a possible marker of in vitro fertilization (IVF) outcomes. To our knowledge, few reports have investigated the correlation between the ratio of peak serum E2 to the number ...

The integration of knowledge bases in classical first-order logic (and in particular of ontologies in various description logics) with rule languages rooted in logic programming is receiving considerable attention in the context of current efforts around Semantic-Web languages. Towards this integration we introduce fol-programs, which combine logic programs under the answer set and the wellfoun...

DFOL is a logic that extends first-order logic with dependent types. We give a translation from DFOL to FOL formalized as an institution comorphism and show that it admits the model expansion property. This property together with the borrowing theorem implies the soundness of borrowing — a result that enables us to reason about entailment in DFOL by using automated tools for FOL. In addition, t...

The use of novel isolates of Trichoderma with efficient antagonistic capacity against Fusarium oxysporum f. sp. lycopersici (FOL) is a promising alternative strategy to pesticides for tomato wilt management. We evaluated the antagonistic activity of 30 isolates of T. asperellum against 4 different isolates of FOL. The production of extracellular cell wall degrading enzymes of the antagonistic i...

In this paper we present methods to generate a Description Logic (DL) theory from a given First Order Logic (FOL) theory, such that each DL axiom is entailed by the given FOL theory. This is obtained by rewriting the given FOL formulas. If this method is applied to an ontology specification in FOL the resulting DL specification is still grounded on the same semantics but clearly weaker than the...

Cell specific gene silencing effects of antisense oligodeoxynucleotide (AS-ODN), synthetic small interfering RNA (siRNA-S), and siRNA expressing plasmid (siRNA-P) were comparatively evaluated. Poly(ethylenimine) (PEI) and PEI-graft-poly(ethylene glycol)-folate (PEI-PEG-FOL) conjugate were used to form nanosized polyelectrolyte complexes with the above three nucleic acids coding for inhibition o...

In modal deontic logics, the focus is on inferring logical consequences, for example inferring whether or not an obligation O mail, to mail a letter, logically implies O [mail  burn] ,an obligation to mail or burn the letter. Here I present an alternative approach in which obligations are sentences (such as mail) in first-order logic (FOL), and the focus is on satisfying those sentences by mak...