it for diierent application domains (it is enough to have a formal description of the conceptual ... more it for diierent application domains (it is enough to have a formal description of the conceptual model of the domain), and that it is highly modular, allowing for the easy substitution , for example, of some reasoning services in the model reasoner (e.g., with more eecient versions), or even of the whole KBMS. 5 Conclusions The main contribution of QueloDB is due to the use of a knowledge based paradigm in a system that helps the user in the task of building complex queries through an iterative process of successive reenement/generalizations, that allow her to progressively discover interesting meanings and consequences hidden in complex conceptual model descriptions, being, at the same time, prevented from submitting inconsistent queries to the DB. In last years we have worked on several case studies and on the expressiveness in formal semantics. QueloDB is the result of this work. It is a prototype, and has to be considered as a rst step towards the solution of the database access...
We present a prototype system to be used for visually accessing heterogeneous databases. The basi... more We present a prototype system to be used for visually accessing heterogeneous databases. The basic idea is to provide the user with several visual representations of data as well as multiple interaction mechanisms for both querying databases and visualizing the query results. Since some visual representations better fit certain user classes, the system adapts to the user’s needs by switching to the most appropriate visual representation and interaction mechanism, according to a suitable user model. The data and query representations are consistent in every paradigm. Such a notion of consistency stems from formal basis, i.e. a twofold data/representation model, namely the Graph Model, and a set of basic Graphical Primitives. This formal approach allows the user to switch from one interaction paradigm to another, always saving the query state.
The need for better human-computer interaction (HCI) has been widely recognized and discussed, ev... more The need for better human-computer interaction (HCI) has been widely recognized and discussed, even in the database area. It is generally accepted that the quality of the interaction mainly depends on the interface characteristics. How does one recognize "good" interfaces? The use of a suitable metaphor is crucial. Unfortunately, to put it as a metaphor, speaking about metaphors in HCI is like walking on a slippery floor.We would like to come up with a definition of metaphor that is specific to the particular needs of the database area, and, of course, of the database users. Thus, we will highlight some peculiarities of the database interaction. The following considerations should constitute a basis towards a formal approach for the construction of effective metaphors for interacting with databases.
In this paper we describe a new language for statistical data modelling, which offers a general f... more In this paper we describe a new language for statistical data modelling, which offers a general framework for the representation of elementary and summary data. Three are the main characteristics of the language: 1) the types of modeling primitives of the language are particularly suited for representing objects from a statistical point of view; 2) the language includes a rich set of structuring mechanisms for both elementary and summary data, which are given a formal semantics by means of logic; 3) the language is equipped with specialized inference procedures, allowing for performing different kinds of checks on the representation.
In this paper, we introduce a methodology to be employed for collaborative projects. This methodo... more In this paper, we introduce a methodology to be employed for collaborative projects. This methodology, called HORIZON, has been successfully employed in the past for FP6 and FP7 EU projects, but we strongly believe it can be fruitfully employed for H2020 projects as well, guaranteeing quality requirements to be met.
International Conference on Data Engineering, 2010
Object Matching (OM) is the problem of identifying pairs of data-objects coming from different so... more Object Matching (OM) is the problem of identifying pairs of data-objects coming from different sources and representing the same real world object. Several methods have been proposed to solve OM problems, but none of them seems to be at the same time fully automated and very effective. In this paper we present a fundamentally new suite of methods that instead
Abstract. The brain computer interface (BCI) technology allows a direct connection between brain ... more Abstract. The brain computer interface (BCI) technology allows a direct connection between brain and computer without any muscular activity required, and thus it offers a unique opportunity to enhance and/or to restore communication and actions into external word in people with severe motor disability. The P300 potentials recorded from the scalp represent a suitable BCI signal control for applications like environmental control. Here we present a set of findings that confirm the feasibility of a real domotic environmental control operated via ...
it for diierent application domains (it is enough to have a formal description of the conceptual ... more it for diierent application domains (it is enough to have a formal description of the conceptual model of the domain), and that it is highly modular, allowing for the easy substitution , for example, of some reasoning services in the model reasoner (e.g., with more eecient versions), or even of the whole KBMS. 5 Conclusions The main contribution of QueloDB is due to the use of a knowledge based paradigm in a system that helps the user in the task of building complex queries through an iterative process of successive reenement/generalizations, that allow her to progressively discover interesting meanings and consequences hidden in complex conceptual model descriptions, being, at the same time, prevented from submitting inconsistent queries to the DB. In last years we have worked on several case studies and on the expressiveness in formal semantics. QueloDB is the result of this work. It is a prototype, and has to be considered as a rst step towards the solution of the database access...
We present a prototype system to be used for visually accessing heterogeneous databases. The basi... more We present a prototype system to be used for visually accessing heterogeneous databases. The basic idea is to provide the user with several visual representations of data as well as multiple interaction mechanisms for both querying databases and visualizing the query results. Since some visual representations better fit certain user classes, the system adapts to the user’s needs by switching to the most appropriate visual representation and interaction mechanism, according to a suitable user model. The data and query representations are consistent in every paradigm. Such a notion of consistency stems from formal basis, i.e. a twofold data/representation model, namely the Graph Model, and a set of basic Graphical Primitives. This formal approach allows the user to switch from one interaction paradigm to another, always saving the query state.
The need for better human-computer interaction (HCI) has been widely recognized and discussed, ev... more The need for better human-computer interaction (HCI) has been widely recognized and discussed, even in the database area. It is generally accepted that the quality of the interaction mainly depends on the interface characteristics. How does one recognize "good" interfaces? The use of a suitable metaphor is crucial. Unfortunately, to put it as a metaphor, speaking about metaphors in HCI is like walking on a slippery floor.We would like to come up with a definition of metaphor that is specific to the particular needs of the database area, and, of course, of the database users. Thus, we will highlight some peculiarities of the database interaction. The following considerations should constitute a basis towards a formal approach for the construction of effective metaphors for interacting with databases.
In this paper we describe a new language for statistical data modelling, which offers a general f... more In this paper we describe a new language for statistical data modelling, which offers a general framework for the representation of elementary and summary data. Three are the main characteristics of the language: 1) the types of modeling primitives of the language are particularly suited for representing objects from a statistical point of view; 2) the language includes a rich set of structuring mechanisms for both elementary and summary data, which are given a formal semantics by means of logic; 3) the language is equipped with specialized inference procedures, allowing for performing different kinds of checks on the representation.
In this paper, we introduce a methodology to be employed for collaborative projects. This methodo... more In this paper, we introduce a methodology to be employed for collaborative projects. This methodology, called HORIZON, has been successfully employed in the past for FP6 and FP7 EU projects, but we strongly believe it can be fruitfully employed for H2020 projects as well, guaranteeing quality requirements to be met.
International Conference on Data Engineering, 2010
Object Matching (OM) is the problem of identifying pairs of data-objects coming from different so... more Object Matching (OM) is the problem of identifying pairs of data-objects coming from different sources and representing the same real world object. Several methods have been proposed to solve OM problems, but none of them seems to be at the same time fully automated and very effective. In this paper we present a fundamentally new suite of methods that instead
Abstract. The brain computer interface (BCI) technology allows a direct connection between brain ... more Abstract. The brain computer interface (BCI) technology allows a direct connection between brain and computer without any muscular activity required, and thus it offers a unique opportunity to enhance and/or to restore communication and actions into external word in people with severe motor disability. The P300 potentials recorded from the scalp represent a suitable BCI signal control for applications like environmental control. Here we present a set of findings that confirm the feasibility of a real domotic environmental control operated via ...
Uploads