In this paper we present ONTOSCORE, a system for scoring sets of concepts on the basis of an ontology. We apply our system to the task of scoring alternative speech recognition hy...
Iryna Gurevych, Rainer Malaka, Robert Porzel, Hans...
“Classical” program development by refinement [12, 2, 3] is a technique for ensuring that source-level program code remains faithful to the semantic goals set out in its corre...
Model checking is a formal verification method widely accepted in the web service world because of its capability to reason about service behaviors, at their process-level. It ha...
L. Boaro, E. Glorio, Francesco Pagliarecci, Luca S...
In the context of spoken language interpretation, this paper introduces a stochastic approach to infer and compose semantic structures. Semantic frame structures are directly deri...
: In this paper we describe a solution for the semi-automatic ontology based text annotation (OnTeA) tool. The tool analyzes a document or text using regular expression patterns an...
Michal Laclavik, Martin Seleng, Emil Gatial, Zolta...