Reasoning in systems integrating Description Logics (DL) ontologies and Datalog rules is a very hard task, and previous studies have shown undecidability of reasoning in systems integrating (even very simple) DL ontologies with recursive Datalog. However, the results obtained so far constitute a very partial picture of the computational properties of systems combining DL ontologies and Datalog ...

The semantic annotation of dialogue corpora permits building efficient language understanding applications for supporting enjoyable and effective human-machine interactions. Nevertheless, the annotation process could be costly, time-consuming and complicated, particularly the more expressive is the semantic formalism. In this work, we propose a bootstrapping architecture for the semantic annota...

Abstract This study combines explicit (pen-and-paper) and sensitive (time-pressured) measures to gauge the impact of three instructional interventions (contextualized input with meaning-focused activities, contextualized word-focused decontextualized exercises) on learning 20 L2 French target verbs. Participants ( N = 313, L1 Dutch) completed a combination (form recognition, meaning recall, gra...

If one constructs a visual language, it is necessary to have a methodology for constructing the relationship between aspects of the pictures and the corresponding aspects of the application domain. The various methods for specifying Visual Languages emphasize computational aspects, where the semantics of the picture is embedded in the computational setting of the speciication, but they are not ...

Efficient and noninvasive generation of cavitation bubbles in soft tissue is a challenging task due to the lack of cavitation nuclei (i.e., pre-existing gas bubbles). In this study, we present a method to generate and enhance cavitation activity based on the utilization of two consecutive ultrasound waves at different frequencies. First, a high frequency (5 MHz) high intensity focused ultrasoun...

The aim of this article is to analyze factors affecting sonication dose and build a dosimetry model of high-intensity focused ultrasound (HIFU) ablation for uterine fibroids. Four hundred and three patients with symptomatic uterine fibroids who underwent HIFU were retrospectively analyzed. The energy efficiency factor (EEF) was set as dependent variable, and the factors possibly affecting sonic...

Abstract: How do we process complex sentences like the dog the man walks barks? How are hierarchical grammars actually learned? And what is actually learned? Syntactical rule knowledge or the skill to use the hierarchical system for communicating meaning? Three Artificial Grammar Learning experiments investigated this question. The first experiment tested learning after exposure to exemplars of...