In the latest years, Stream Reasoning (SR) has become increasingly relevant in various scenarios where it is required to reason over heterogeneous and highly dynamic data streams, typically along with large background knowledge bases, such as Smart Cities, IoT, Healthcare, etc. In this context, several solutions based on Answer Set Programming (ASP) have been successfully employed. Nevertheless, real applications showed that it is often needed to deal with events over the timeline generating specific patterns that, in turn, can fire additional events or invalidate others. In this respect, current ASP-based state of the art systems appear not fully satisfactory, both from a modelling point of view and when it comes to usability and performance. In this work, starting from a well-established ASP-based SR solution, namely I-DLV-sr, we: (i) extend the language with means to explicitly define, identify and reason about patterns of events and their consequences, possibly spanning across the timeline; (ii) generalize the system architecture so that it is able to decouple language and implementation support from the choice of a specific ASP system, thus allowing the user to select the one best suited to the specific SR scenario at hand. The result is DP-sr: a purely Declarative Programming framework for Stream Reasoning. DP-sr is put to the test, showing both the ease in modelling and performance improvements.

In recent years, the enormous development of Machine Learning, especially Deep Learning, has led to the widespread adoption of Artificial Intelligence (AI) systems in a large variety of contexts. Many of these systems provide excellent results but act as black-boxes. This can be accepted in various contexts, but there are others (e.g., medical ones) where a result returned by a system cannot be accepted without an explanation on how it was obtained. Explainable AI (XAI) is an area of AI well suited to explain the behavior of AI systems that act as black-boxes. In this paper, we propose a model-agnostic XAI framework to explain the behavior of classifiers. Our framework is based on network theory; thus, it is able to make use of the enormous amount of results that researchers in this area have discovered over time. Being network-based, our framework is completely different from the other model-agnostic XAI approaches. Furthermore, it is parameter-free and is able to handle heterogeneous features that may not even be independent of each other. Finally, it introduces the notion of dyscrasia that allows us to detect not only which features are important in a particular task but also how they interact with each other.

Abstract Detecting sets of relevant patterns from a given dataset is an important challenge in data mining. The relevance of a pattern, also called utility in the literature, is a subjective measure and can be actually assessed from very different points of view. Rule-based languages like Answer Set Programming (ASP) seem well suited for specifying user-provided criteria to assess pattern utility in a form of constraints; moreover, declarativity of ASP allows for a very easy switch between several criteria in order to analyze the dataset from different points of view. In this paper, we make steps toward extending the notion of High-Utility Pattern Mining; in particular, we introduce a new framework that allows for new classes of utility criteria not considered in the previous literature. We also show how recent extensions of ASP with external functions can support a fast and effective encoding and testing of the new framework. To demonstrate the potential of the proposed framework, we exploit it as a building block for the definition of an innovative method for predicting ICU admission for COVID-19 patients. Finally, an extensive experimental activity demonstrates both from a quantitative and a qualitative point of view the effectiveness of the proposed approach.

Social platforms are the preferred medium for many people to express their opinions on many topics. This has led many professionals from various fields (marketing, politics, research and development, etc.) to demand increasingly advanced approaches capable of analyzing the evolution of user or community sentiments on particular topics. In this paper, we want to make a contribution to addressing this issue. Specifically, we propose a model and a framework to analyze the dynamics of user and community sentiments in a social platform. In particular, our framework currently focuses on three activities, namely: (i) finding users capable of creating and maintaining a community that reflects their sentiment on a topic; (ii) studying how a user or community sentiment on a topic evolves over time; and (iii) investigating the cross-contamination between a user community and its neighborhood. We tested our framework by means of an extensive experimental campaign that we describe in the paper. Our framework is extremely scalable, and further activities can be easily implemented in it in the near future.

Deductive formalisms have been strongly developed in recent years; among them, Answer Set Programming (ASP) gained some momentum, and has been lately fruitfully employed in many real-world scenarios. Nonetheless, in spite of a large number of success stories in relevant application areas, and even in industrial contexts, deductive reasoning cannot be considered the ultimate, comprehensive solution to AI; indeed, in several contexts, other approaches result to be more useful. Typical Bioinformatics tasks, for instance classification, are currently carried out mostly by Machine Learning (ML) based solutions. In this paper, we focus on the relatively new problem of analyzing the evolution of neurological disorders. In this context, ML approaches already demonstrated to be a viable solution for classification tasks; here, we show how ASP can play a relevant role in the brain evolution simulation task. In particular, we propose a general and extensible framework to support physicians and researchers at understanding the complex mechanisms underlying neurological disorders. The framework relies on a combined use of ML and ASP, and is general enough to be applied in several other application scenarios, which are outlined in the paper.

Enhancing Datalog with existential quantification gives rise to Datalog ∃ , a powerful knowledge representation language widely used in ontology-based query answering. In this setting, a conjunctive query is evaluated over a Datalog ∃ program consisting of extensional data paired with so-called “existential” rules. Owing to their high expressiveness, such rules make the evaluation of queries undecidable, even when the latter are atomic. Decidable generalizations of Datalog by existential rules have been proposed in the literature (such as weakly acyclic and weakly guarded); but they pay the price of higher computational complexity, hindering the implementation of effective systems. Conversely, the results in this article demonstrate that it is definitely possible to enable fast yet powerful query answering over existential rules that strictly generalize Datalog by ensuring decidability without any complexity overhead. On the theoretical side, we define the class of parsimonious programs that guarantees decidability of atomic queries. We then strengthen this class to strongly parsimonious programs ensuring decidability also for conjunctive queries. Since parsimony is an undecidable property, we single out Shy, an easily recognizable class of strongly parsimonious programs that generalizes Datalog while preserving its complexity even under conjunctive queries. Shy also generalizes the class of linear existential programs, while it is uncomparable to the other main classes ensuring decidability. On the practical side, we exploit our results to implement DLV ∃ , an effective system for query answering over parsimonious existential rules. To assess its efficiency, we carry out an experimental analysis, evaluating DLV ∃ performances for ontology-based query answering on both real-world and synthetic ontologies.

In this paper, we propose a method for the computation of a novel distance metrics, called Multi-Parameterized Edit Distance (MPED) among strings defined over heterogeneous alphabets. We show that the computation of MPED is hard and that several interesting application contexts can benefit from its application. We then present a novel imple- mentation strategy based on an Evolutionary Heuristics, which we experimentally demonstrate to be efficient and effective for the problem at hand. Our approach paves indeed the way to the adoption of this new metric in all those contexts in which involved strings come from heterogeneous sources, each adopting its own alphabet.

In Genetic Algorithms, the mutation operator is used to maintain genetic diversity in the population throughout the evolutionary process. Various kinds of mutation may occur over time, typically depending on a fixed probability value called mutation rate. In this work we make use of a novel data-science approach in order to adaptively generate mutation rates for each locus to the Neuroevolution of Augmenting Topologies (NEAT) algorithm. The trail of high quality candidate solutions obtained during the search process is represented as a third-order tensor; factorization of such a tensor reveals the latent relationship between solutions, determining the mutation probability which is likely to yield improvement at each locus. The single pole balancing problem is used as case study to analyze the effectiveness of the proposed approach. Results show that the tensor approach improves the performance of the standard NEAT algorithm for the case study.

White Matter fibers play an important role in the working of brain. In order to improve their analysis, it is important to cluster them in homogeneous bundles. In this activity, the amount of data to process is huge, and an automated approach to carrying out this task is in order. Since fiber clustering should consider the position of fibers in the three-dimensional space, we are in presence of a multi-dimensional clustering problem. In this paper, we propose an automated approach to solving it. Our approach is based on a particular string representation of fibers and on a new string dissimilarity metric. Thanks to these two novelties, we can reduce the complex problem of White Matter fiber clustering to a much simpler and well-known string clustering problem. Interestingly, this way of proceeding can be extended to define other multi-view data applications, as well as to integrate (possibly heterogeneous) data coming from different domains.

Abstract Consistent query answering over a database that violates primary key constraints is a classical hard problem in database research that has been traditionally dealt with logic programming. However, the applicability of existing logic-based solutions is restricted to data sets of moderate size. This paper presents a novel decomposition and pruning strategy that reduces, in polynomial time, the problem of computing the consistent answer to a conjunctive query over a database subject to primary key constraints to a collection of smaller problems of the same sort that can be solved independently. The new strategy is naturally modeled and implemented using Answer Set Programming (ASP). An experiment run on benchmarks from the database world prove the effectiveness and efficiency of our ASP-based approach also on large data sets.

Abstract A data integration system provides transparent access to different data sources by suitably combining their data, and providing the user with a unified view of them, called global schema. However, source data are generally not under the control of the data integration process; thus, integrated data may violate global integrity constraints even in the presence of locally consistent data sources. In this scenario, it may be anyway interesting to retrieve as much consistent information as possible. The process of answering user queries under global constraint violations is called consistent query answering (CQA). Several notions of CQA have been proposed, e.g., depending on whether integrated information is assumed to be sound, complete, exact, or a variant of them. This paper provides a contribution in this setting: it uniforms solutions coming from different perspectives under a common Answer-Set Programming (ASP)-based core, and provides query-driven optimizations designed for isolating and eliminating inefficiencies of the general approach for computing consistent answers. Moreover, the paper introduces some new theoretical results enriching existing knowledge on the decidability and complexity of the considered problems. The effectiveness of the approach is evidenced by experimental results.

Ontologies are pervading many areas of knowledge representation and management. To date, most research efforts have been spent on the development of sufficiently expressive languages for the representation and querying of ontologies; however, querying efficiency has received attention only recently, especially for ontologies referring to large amounts of data. In fact, it is still uncertain how reasoning tasks will scale when applied on massive amounts of data. This work is a first step toward this setting: it first shows that Resource Description Framework(Schema) [RDF(S)] ontologies can be expressed, without loss of semantics, into Answer Set Programming (ASP). Then, based on a previous result showing that the SPARQL query language (a candidate W3C recommendation for RDF(S) ontologies) can be mapped to a rule-based language, it shows that efficient querying of big ontologies can be accomplished with a database oriented extension of the well known ASP system DLV, which we recently developed. Results reported in the article show that our proposed framework is promising for the improvement of both scalability and expressiveness of available RDF(S) storage and query systems.

The discovery of information encoded in biological sequences is assuming a prominent role in identifying genetic diseases and in deciphering biological mechanisms. This information is usually encoded in patterns frequently occurring in the sequences, also called motifs. In fact, motif discovery has received much attention in the literature, and several algorithms have already been proposed, which are specifically tailored to deal with motifs exhibiting some kinds of "regular structure". Motivated by biological observations, this paper focuses on the mining of loosely structured motifs, i.e., of more general kinds of motif where several "exceptions" may be tolerated in pattern repetitions. To this end, an algorithm exploiting data structures conceived to efficiently handle pattern variabilities is presented and analyzed. Furthermore, a randomized variant with linear time and space complexity is introduced, and a theoretical guarantee on its performances is proven. Both algorithms have been implemented and tested on real data sets. Despite the ability of mining very complex kinds of pattern, performance results evidence a genome-wide applicability of the proposed techniques.

Abstract This article considers the problem of reasoning on massive amounts of (possibly distributed) data. Presently, existing proposals show some limitations: (i) the quantity of data that can be handled contemporarily is limited, because reasoning is generally carried out in main-memory; (ii) the interaction with external (and independent) Database Management Systems is not trivial and, in several cases, not allowed at all; and (iii) the efficiency of present implementations is still not sufficient for their utilization in complex reasoning tasks involving massive amounts of data. This article provides a contribution in this setting; it presents a new system, called DLVDB, which aims to solve these problems. Moreover, it reports the results of a thorough experimental analysis we have carried out for comparing our system with several state-of-the-art systems (both logic and databases) on some classical deductive problems; the other tested systems are LDL++, XSB, Smodels, and three top-level commercial Database Management Systems. DLVDB significantly outperforms even the commercial database systems on recursive queries.

In this paper, we propose an Extensible Markup Language (XML)-based multiagent recommender system for supporting online recruitment services. Our system is characterized by the following features: 1) it handles user profiles for personalizing the job search over the Internet; 2) it is based on the intelligent agent technology; and 3) it uses XML for guaranteeing a light, versatile, and standard mechanism for information representation, storing, and exchange. This paper discusses the basic features of the proposed system, presents the results of an experimental study we have carried out for evaluating its performance, and makes a comparison between the proposed system and other e-recruitment systems already presented in the past.

Identifying protein secondary structures is a difficult task. Recently, a lot of software tools for protein secondary structure prediction have been produced and made available on-line, mostly with good performances. However, prediction tools work correctly for families of proteins, such that users have to know which predictor to use for a given unknown protein. We propose a framework to improve secondary structure prediction by integrating results obtained from a set of available predictors. Our contribution consists in the definition of a two phase approach: (i) select a set of predictors which have good performances with the unknown protein family, and (U) integrate the prediction results of the selected prediction tools. Experimental results are also reported

The task of an information integration system is to combine data residing at different sources, providing the user with a unified view of them, called global schema. Users formulate queries over the global schema, and the system suitably queries the sources, providing an answer to the user, who is not obliged to have any information about the sources. Recent developments in IT such as the expansion of the Internet and the World Wide Web, have made available to users a huge number of information sources, generally autonomous, heterogeneous and widely distributed: as a consequence, information integration has emerged as a crucial issue in many application domains, e.g., distributed databases, cooperative information systems, data warehousing, or on-demand computing. Recent estimates view information integration to be a $10 Billion market by 2006 [14].

In this article, we propose an agent-based approach for managing e-commerce activities. In our approach, an agent is present in each e-commerce site, managing the information stored there. In addition, another agent is associated with each customer, handling his/her profile. The proposed approach is based on the use of a particular conceptual model called the Behaviour-Semantic Distance and Relevance (B-SDR) network, which is capable of uniformly representing and handling information stored in e-commerce sites and customer profiles. The capabilities of the B-SDR network model are exploited to let customer and site agents cooperate in such a way in order to support a customer in identifying, whenever he/she accesses an e-commerce site, those products and services present in the site itself and for better matching his/her interests. The approach has been implemented in a prototype in which its functionalities are discussed here also. © 2004 Wiley Periodicals, Inc.

Abstract In this paper we present DIKE, a system supporting the semi‐automatic construction of cooperative information systems from heterogeneous databases. The input of DIKE consists of the set of databases to belong to the cooperative system. First, DIKE constructs a data repository representing a structured, integrated and consistent description of the information stored in the input databases. The data repository thus constructed is then used as the core structure of a mediator‐like module supporting the user‐friendly integrated access to available data resources. The core of DIKE is the extraction and exploitation of the inter‐schema knowledge (in the form of inter‐schema properties) relative to the involved database schemas. Copyright © 2003 John Wiley & Sons, Ltd.

The availability of automatic tools for inferring semantics of database schemes is useful to solve several database design problems such as that of obtaining cooperative information systems or data warehouses from large sets of data sources. In this context, a main problem is to single out similarities or dissimilarities among scheme objects (interscheme properties). This paper presents graph-based techniques for a uniform derivation of interscheme properties including synonymies, homonymies, type conflicts, and subscheme similarities. These techniques are characterized by a common core: the computation of maximum weight matchings on some bipartite weighted graphs derived using a suitable metrics to measure semantic closeness of objects. The techniques have been implemented in a system prototype. Several experiments conducted with it, and (in part) accounted for in the paper, confirmed the effectiveness of our approach.

XML is rapidly becoming a standard for information exchange over the Web. Web providers and applications using XML for representing and exchanging their data make their information available in such a way that interoperability can be easily reached. However in order to guarantee both the exchange of XML documents and the interoperability between information providers, it is often needed to single out semantic similarity properties relating concepts of different XML documents. This paper gives a contribution to this framework by proposing a technique for extracting synonymies and homonymies. The derivation technique is based on a rich conceptual model (called SDR-Network) which is used to represent concepts expressed in XML documents as well as the semantic relationships holding among them.

Studies the interaction between the extraction of heterogeneous database inter-scheme properties, such as synonymies, homonymies and type conflicts (which are exploited for defining the semantics of the involved schemes for integration purposes), and the resolution of type conflicts. As a matter of fact, the transformations required by type conflict resolution could invalidate some of the detected inter-scheme properties. We propose a semi-automatic approach to face this problem, based on an iterative computation: each iteration of the computation derives inter-scheme properties, verifies if at least one type conflict exists and, in the affirmative case, modifies schemes for solving the derived type conflicts. We prove that the number of iterations required by the computation to terminate is polynomial in the number of objects belonging to the involved schemes.

The availability of automatic tools for inferring semantics from database schemes is very relevant in designing large cooperative information system applications involving many information sources. Deriving semantics from existing data sources exploits properties of objects belonging to different input schemes (interscheme properties), such as synonymies, homonymies, type conflicts, and subscheme similarities. The paper gives a contribution in this context by proposing a collection of graph based techniques for a uniform derivation of all interscheme properties. All techniques are characterized by a common core consisting of the computation of a maximum weight matching on suitable bipartite graphs. The computation of the maximum weight matching is based on a suitable metrics which is used to measure object semantic similarities. A running example is provided to illustrate the approach.