Horn fragments

We study a Horn fragment called Horn-RegI of the regular description logic with inverse RegI , which extends the description logic ALC with inverse roles and regular role inclusion axioms characterized by finite automata. In contrast to the well-known Horn fragments EL, DL-Lite, DLP, Horn-SHIQ and Horn-SROIQ of description logics, Horn-RegI allows a form of the concept constructor “universal restriction” to appear at the left hand side of terminological inclusion axioms, while still has PTime data complexity.

15p vixyliton2711 17-04-2019 20 0   Download

Anti-Ras intracellular antibodies inhibit cell proliferation in vivo by sequestering the antigen and diverting it from its physiological location [Lener,M.,Horn, I.R.,Cardinale,A., Messina, S., Nielsen, U.B., Rybak, S.M., Hoogenboom, H.R., Cattaneo, A., Biocca, S. (2000)Eur. J. Biochem.267, 1196–1205]. Here we demonstrate that strongly aggregating single-chain antibody fragments (scFv), binding to Ras, induce apoptosis, and this effect is strictly related to the antibody-mediated aggregation of p21Ras.

9p tumor12 20-04-2013 38 2   Download