A dataflow platform for applications based on Linked Data

Modern software applications increasingly benefit from accessing the multifarious and heterogeneous Web of Data, thanks to the use of web APIs and Linked Data principles. In previous work, the authors proposed a platform to develop applications consuming Linked Data in a declarative and modular way. This paper describes in detail the functional language the platform gives access to, which is based on SPARQL (the standard query language for Linked Data) and on the dataflow paradigm. The language features interactive and meta-programming capabilities so that complex modules/applications can be developed. By adopting a declarative style, it favours the development of modules that can be reused in various specific execution context

SPARQL Playground: A block programming tool to experiment with SPARQL

SPARQL is a powerful query language for SemanticWeb data sources but one which is quite complex to master. As the block programming paradigm has been succesfully used to teach programming skills, we propose a tool that allows users to build and run SPARQL queries on an endpoint without previous knowledge of the syntax of SPARQL and the model of the data in the endpoint (vocabularies and semantics). This user interface attempts to close the gap between tools for the lay user that do not allow to express complex queries and overtly complex technical tools

Generating collaborative systems for digital libraries: A model-driven approach

This is an open access article shared under a Creative Commons Attribution 3.0 Licence (http://creativecommons.org/licenses/by/3.0/). Copyright @ 2010 The Authors.The design and development of a digital library involves different stakeholders, such as: information architects, librarians, and domain experts, who need to agree on a common language to describe, discuss, and negotiate the services the library has to offer. To this end, high-level, language-neutral models have to be devised. Metamodeling techniques favor the definition of domainspecific visual languages through which stakeholders can share their views and directly manipulate representations of the domain entities. This paper describes CRADLE (Cooperative-Relational Approach to Digital Library Environments), a metamodel-based framework and visual language for the definition of notions and services related to the development of digital libraries. A collection of tools allows the automatic generation of several services, defined with the CRADLE visual language, and of the graphical user interfaces providing access to them for the final user. The effectiveness of the approach is illustrated by presenting digital libraries generated with CRADLE, while the CRADLE environment has been evaluated by using the cognitive dimensions framework

Type Annotation for Adaptive Systems

We introduce type annotations as a flexible typing mechanism for graph systems and discuss their advantages with respect to classical typing based on graph morphisms. In this approach the type system is incorporated with the graph and elements can adapt to changes in context by changing their type annotations. We discuss some case studies in which this mechanism is relevant.Comment: In Proceedings GaM 2016, arXiv:1612.0105

Non melanoma skin cancer pathogenesis overview

(1)Background: Non-melanoma skin cancer is the most frequently diagnosed cancer in humans. The process of skin carcinogenesis is still not fully understood. However, several studies have been conducted to better explain the mechanisms that lead to malignancy; (2) Methods: We reviewed the more recent literature about the pathogenesis of non-melanoma skin cancer focusing on basal cell carcinomas, squamous cell carcinoma and actinic keratosis; (3) Results: Several papers reported genetic and molecular alterations leading to non-melanoma skin cancer. Plenty of risk factors are involved in non-melanoma skin cancer pathogenesis, including genetic and molecular alterations, immunosuppression, and ultraviolet radiation; (4) Conclusion: Although skin carcinogenesis is still not fully understood, several papers demonstrated that genetic and molecular alterations are involved in this process. In addition, plenty of non-melanoma skin cancer risk factors are now known, allowing for an effective prevention of non-melanoma skin cancer development. Compared to other papers on the same topic, our review focused on molecular and genetic factors and analyzed in detail several factors involved in non-melanoma skin cancer

Lowering the pirate flag: a TPB study of the factors influencing the intention to pay for movie streaming services

The launch of several movie streaming services has raised new questions about how online consumers deal with both legal and illegal options to obtain their desired products. This paper investigates the factors influencing consumers’ intentions to subscribe to online movie streaming services. These services have challenged the dramatic growth in their illegal counterpart in recent years. Taking the theory of planned behavior as a starting point, we extended existing models in the literature by incorporating factors that are specific to consumer behavior in this particular field. A quantitative survey was conducted for the Italian market, and structural equation modeling was used for data analysis. Attitudes, involvement with products, moral judgement and frequency of past behavior were found to be the most important factors in explaining the intention to pay for movie streaming services. The paper provides insights for policy makers and industry managers on the marketing communication strategies needed to minimize the risk of digital piracy

Conditions, constraints and contracts: on the use of annotations for policy modeling.

Organisational policies express constraints on generation and processing of resources. However, application domains rely on transformation processes, which are in principle orthogonal to policy specifications and domain rules and policies may evolve in a non-synchronised way. In previous papers, we have proposed annotations as a flexible way to model aspects of some policy, and showed how they could be used to impose constraints on domain configurations, how to derive application conditions on transformations, and how to annotate complex patterns. We extend the approach by: allowing domain model elements to be annotated with collections of elements, which can be collectively applied to individual resources or collections thereof; proposing an original construction to solve the problem of annotations remaining orphan , when annotated resources are consumed; introducing a notion of contract, by which a policy imposes additional pre-conditions and post-conditions on rules for deriving new resources. We discuss a concrete case study of linguistic resources, annotated with information on the licenses under which they can be used. The annotation framework allows forms of reasoning such as identifying conflicts among licenses, enforcing the presence of licenses, or ruling out some modifications of a licence configuration

A human computer interactions framework for biometric user identification

Computer assisted functionalities and services have saturated our world becoming such an integral part of our daily activities that we hardly notice them. In this study we are focusing on enhancements in Human-Computer Interaction (HCI) that can be achieved by natural user recognition embedded in the employed interaction models. Natural identification among humans is mostly based on biometric characteristics representing what-we-are (face, body outlook, voice, etc.) and how-we-behave (gait, gestures, posture, etc.) Following this observation, we investigate different approaches and methods for adapting existing biometric identification methods and technologies to the needs of evolving natural human computer interfaces

A doctrinal approach to modal/temporal Heyting logic and non-determinism in processes

The study of algebraic modelling of labelled non-deterministic concurrent processes leads us to consider a category LB , obtained from a complete meet-semilattice B and from B-valued equivalence relations. We prove that, if B has enough properties, then LB presents a two-fold internal logical structure, induced by two doctrines definable on it: one related to its families of subobjects and one to its families of regular subobjects. The first doctrine is Heyting and makes LB a Heyting category, the second one is Boolean. We will see that the difference between these two logical structures, namely the different behaviour of the negation operator, can be interpreted in terms of a distinction between non-deterministic and deterministic behaviours of agents able to perform computations in the context of the same process. Moreover, the sorted first-order logic naturally associated with LB can be extended to a modal/temporal logic, again using the doctrinal setting. Relations are also drawn to other computational model