[pt] A grande quantidade de dados disponíveis na Web permite aos usuários
combinarem e rapidamente integrarem dados provenientes de fontes diferentes,
pertencentes ao mesmo domínio de aplicação. Entretanto, combinações de dados
construídas a partir de fontes de dados independentes e heterogêneas podem gerar
inconsistências e, portanto, confundir o usuário que faz uso de tais dados. Esta
tese aborda o problema de criação de uma combinação consistente de dados a
partir de fontes de dados mutuamente inconsistentes. Especificamente, aborda o
problema de testar quando os dados a serem combinados são inconsistentes em
relação a um conjunto pré-definido de restrições. As principais contribuições desta
tese são: (1) a formalização da noção de combinação consistente de dados,
tratando os dados retornados pelas fontes como uma Teoria de Defaults e
considerando uma combinação consistente de dados como uma extensão desta
teoria; (2) um verificador de modelos para uma família de Lógicas de Descrição,
usado para analisar e separar os dados consistentes e inconsistentes, além de testar
a consistência e completude das combinações de dados obtidas; (3) um
procedimento heurístico para computar tais combinações consistentes de dados. / [en] With the amount of data available on the Web, consumers can mashup
and quickly integrate data from different sources belonging to the same
application domain. However, data mashups constructed from independent and
heterogeneous data sources may contain inconsistencies and, therefore, puzzle the
user when observing the data. This thesis addresses the problem of creating a
consistent data mashup from mutually inconsistent data sources. Specifically, it
deals with the problem of testing, when data to be combined is inconsistent with
respect to a predefined set of constraints. The main contributions of this thesis are:
(1) the formalization of the notion of consistent data mashups by treating the data
returned from the data sources as a default theory and considering a consistent
data mashup as an extension of this theory; (2) a model checker for a family of
Description Logics, which analyzes and separates consistent from inconsistent
data and also tests the consistency and completeness of the obtained data
mashups; (3) a heuristic procedure for computing such consistent data mashups.
Identifer | oai:union.ndltd.org:puc-rio.br/oai:MAXWELL.puc-rio.br:26459 |
Date | 24 May 2016 |
Creators | EVELINE RUSSO SACRAMENTO FERREIRA |
Contributors | MARCO ANTONIO CASANOVA, MARCO ANTONIO CASANOVA |
Publisher | MAXWELL |
Source Sets | PUC Rio |
Language | English |
Detected Language | Portuguese |
Type | TEXTO |
Page generated in 0.001 seconds