Explaining clusters with inductive logic programming and linked data

Knowledge Discovery consists in discovering hidden regularities in large amounts of data using data mining techniques. The obtained patterns require an interpretation that is usually achieved using some background knowledge given by experts from several domains. On the other hand, the rise of Linked Data has increased the number of connected cross-disciplinary knowledge, in the form of RDF datasets, classes and relationships. Here we show how Linked Data can be used in an Inductive Logic Programming process, where they provide background knowledge for finding hypotheses regarding the unrevealed connections between items of a cluster. By using an example with clusters of books, we show how different Linked Data sources can be used to automatically generate rules giving an underlying explanation to such clusters

Explaining Data Patterns using Knowledge from the Web of Data

Knowledge Discovery (KD) is a long-tradition field aiming at developing methodologies to detect hidden patterns and regularities in large datasets, using techniques from a wide range of domains, such as statistics, machine learning, pattern recognition or data visualisation. In most real world contexts, the interpretation and explanation of the discovered patterns is left to human experts, whose work is to use their background knowledge to analyse, refine and make the patterns understandable for the intended purpose. Explaining patterns is therefore an intensive and time-consuming process, where parts of the knowledge can remain unrevealed, especially when the experts lack some of the required background knowledge. In this thesis, we investigate the hypothesis that such interpretation process can be facilitated by introducing background knowledge from the Web of (Linked) Data. In the last decade, many areas started publishing and sharing their domain-specific knowledge in the form of structured data, with the objective of encouraging information sharing, reuse and discovery. With a constantly increasing amount of shared and connected knowledge, we thus assume that the process of explaining patterns can become easier, faster, and more automated. To demonstrate this, we developed Dedalo, a framework that automatically provides explanations to patterns of data using the background knowledge extracted from the Web of Data. We studied the elements required for a piece of information to be considered an explanation, identified the best strategies to automatically find the right piece of information in the Web of Data, and designed a process able to produce explanations to a given pattern using the background knowledge autonomously collected from the Web of Data. The final evaluation of Dedalo involved users within an empirical study based on a real-world scenario. We demonstrated that the explanation process is complex when not being familiar with the domain of usage, but also that this can be considerably simplified when using the Web of Data as a source of background knowledge

Explaining data patterns using background knowledge from Linked Data

When using data mining to find regularities in data, the obtained results (or patterns) need to be interpreted. The explanation of such patterns is achieved using the background knowledge which might be scattered among different sources. This intensive process is usually committed to the experts in the domain. With the rise of Linked Data and the increasing number of connected datasets, we assume that the access to this knowledge can be easier, faster and more automated. This PhD research aims to demonstrate whether Linked Data can be used to provide the background knowledge for pattern interpretation and how

Models for dynamic network loading and algorithms for traffic signal synchronization

The effectiveness of optimization strongly relies on the underlying model of the phenomenon. According to this, a considerable effort has been spent in improving the General Link Transmission Model (Gentile, 2008) to address urban networks, intersection and lane modelling and multimodal simulation. A genetic algorithm with a formulation tailored on the signal coordination problem has been integrated with the simulation engine. So, a practical and effective multi-objective optimization tool for traffic signal coordination is here presented

Update of time-invalid information in Knowledge Bases through Mobile Agents

In this paper, we investigate the use of a mobile, autonomous agent to update knowledge bases containing statements that lose validity with time. This constitutes a key issue in terms of knowledge acquisition and representation, because dynamic data need to be constantly re-evaluated to allow reasoning. We focus on the way to represent the time- validity of statements in a knowledge base, and on the use of a mobile agent to update time-invalid statements while planning for “information freshness” as the main objective. We propose to use Semantic Web standards, namely the RDF model and the SPARQL query language, to represent time-validity of information and decide how long this will be considered valid. Using such a representation, a plan is created for the agent to update the knowledge, focusing mostly on guaranteeing the time-validity of the information collected. To show the feasibility of our approach and discuss its limitations, we test its implementation on scenarios in the working environment of our research lab, where an autonomous robot is used to sense temperature, humidity, wifi signal and number of people on demand, updating the knowledge base with time- valid information

DKA-robo: dynamically updating time-invalid knowledge bases using robots

In this paper we present the DKA-robo framework, where a mobile agent is used to update those statements of a knowledge base that have lost validity in time. Managing the dynamic information of knowledge bases constitutes a key issue in many real-world scenarios, because constantly reevaluating data requires efforts in terms of knowledge acquisition and representation. Our solution to such a problem is to use RDF and SPARQL to represent and manage the time-validity of information, combined with an agent acting as a mobile sensor which updates the outdated statements in the knowledge base, therefore always guaranteeing time-valid results against user queries. This demo shows the implementation of our approach in the working environment of our research lab, where a robot is used to sense temperature, humidity, wifi- signal and number of people on demand, updating the lab knowledge base with time-valid information

Models for dynamic network loading and algorithms for traffic signal synchronization

The effectiveness of optimization strongly relies on the underlying model of the phenomenon. According to this, a considerable effort has been spent in improving the General Link Transmission Model (Gentile, 2008) to address urban networks, intersection and lane modelling and multimodal simulation. A genetic algorithm with a formulation tailored on the signal coordination problem has been integrated with the simulation engine. So, a practical and effective multi-objective optimization tool for traffic signal coordination is here presented

Synchronization of traffic signals through a heuristic-modified genetic algorithm with GLTM

Urban signal timing is a non-convex NLP problem. Finding an optimal solution on not very small and simple networks may take long time, wherever possible. The present paper focuses on signal synchronization, thus creating fast-flow corridors on one or more network road arterials. To do this, a genetic-like algorithm is applied, in which new solutions generation follows heuristic conceptions. This can be carried out thanks to the specific formulation adopted, suitable for synchronization problems. The objective function is evaluated by the General Link Transmission Model, a very fast macroscopic dynamic simulator referring to the kinematic waves theory. Through this, queues dynamic evolution, spillback phenomenon and vehicles travel times are explicitly taken into account. Key-words: traffic control, signal setting, synchronization, optimization, genetic algorithm, general link transmission model