Two essential tasks in managing Description Logic (DL) ontologies are eliminating problematic axioms and incorporating newly formed axioms. Such elimination and incorporation are formalised as the operations of contraction and revision in belief change. In this paper, we deal with contraction and revision for the DL-Lite family through a model-theoretic approach. Standard DL semantics yields in...

Contraction-level invariant surface electromyography pattern recognition introduces the decrease of training time and decreases the limitation of clinical prostheses. This study intended to examine whether a signal pre-processing method named frequency division technique (FDT) for online myoelectric pattern recognition classification is robust against contraction-level variation, and whether th...

Abstract In this paper we study fractional initial value problems with Caputo–Fabrizio derivative which involves nonsingular kernel. First apply α - ℓ -contraction and -type F mappings to the existence uniqueness of solutions for such problems. Finally, use some contraction in complete $\mathfrak{F}$ F -metri...

BACKGROUND Resistive exercise after stroke can improve strength (force-generating capacity) without increasing spasticity (velocity-dependent hypertonicity). However, the effect of resistive load type on muscle activation and co-contraction after stroke is not clear. OBJECTIVE The purpose of this study was to determine the effect of load type (elastic, viscous, or mass) on muscle activation a...