Commit 54149f64 authored by Vadim Savenkov's avatar Vadim Savenkov

CR

parent 8539f42b
%!TEX root = dbpedia16.tex
We first consider the \textsc{Existence of solutions} problem and show that it is in general intractable even for the consistency-oblivious semantics.
We consider the \textsc{Existence of solutions} problem and show that it is in general intractable even for the consistency-oblivious semantics.
%Given a WDF $\bcF = (\bW,\cM,\cT)$ with $\bT$ denoting the \dbp vocabulary used in $\cM$ and $\cT$, by an ABox of $\bcF$ we understand a $\bT$-instance, possibly closed under the rules of $\cT$.
......
No preview for this file type
......@@ -121,12 +121,11 @@ All these mappings can be represented as \emph{nested tgds} \cite{FuxmanHHMPP06,
\centering
\includegraphics[width=1.0\textwidth]{figures/ExampleMappings.pdf}
%\caption{Except of (a) DBpedia mappings (french), (b) a Wikipedia infobox and (c) the resultant RDF graph.}
\caption{(a) DBpedia mappings, (b) a Wiki infobox and (c) the resulting RDF graph.}
\caption{(a) DBpedia mappings, (b) the RDF graph, and the Infobox as an instance of the schema $\bW$ (c) and in the native format (d). \vspace{-3ex}}
\label{fig:exampleMappings}
\vspace{-1ex}
\end{figure*}
\begin{example}\label{ex:clergy} Figure \ref{fig:exampleMappings}(a) shows a conditional mapping transferring the information about clerics from French wiki pages with an infobox {\em Pr\'elat catholique}. Under these conditions, the except shown in Figure \ref{fig:exampleMappings}(b) for Pope Francis results in the triples drawn in Figure \ref{fig:exampleMappings}(c).
\begin{example}\label{ex:clergy} \figurename \ref{fig:exampleMappings}(a) shows a conditional mapping transferring the information about clerics from French wiki pages with an infobox {\em Pr\'elat catholique} (d). Under these conditions, the except shown in \figurename \ref{fig:exampleMappings}(c) as an instance over the schema $\bW$ gives rise to the triples depicted in \figurename \ref{fig:exampleMappings}(b).
A tgd formalizing a French \dbp mapping for clergy is given below:
\newcommand{\step}{\>\small}
......@@ -196,6 +195,7 @@ Note that both semantics $\obsem{u}$, $\sem{u}$ depend on $\preceq$, $\bcF$ and
Let $\bcF$ be a WDF $(\bW,\cM,\cT)$, $I$ be an $\bcF$-instance and let $u$ be an update over $\bcF$. The consistency-aware semantics $\sem{u}$ of $u$ is the set of smallest (w.r.t. $\preceq$) updates $\sems{u}$ such that $\sems{u} \in \obsem{u}$ and $\sems{u}(I) \cup \cW \cup \cM \cup \cT \not\models \bot$.
\end{definition}
\begin{comment}
Finally, we will consider \emph{extensions} of the partial order $\preceq$, reducing the set $\sems{u}$ to a few or even at most a single update. These extensions are %of course
also instance-dependent.
......@@ -214,6 +214,7 @@ also instance-dependent.
\medskip
\begin{comment}
\noindent\fbox{%
\parbox{.98\textwidth}{
......
......@@ -69,27 +69,29 @@ Figure \ref{fig:policies} evaluates the distribution of frequencies of the Wikip
\centering
\subfloat[][\vspace{-0.4cm}Infobox Settlement]{
\includegraphics[width=0.4\textwidth]{figures/infobox-settlement.pdf}
\includegraphics[width=0.5\textwidth]{figures/infobox-settlement.pdf}
}
\subfloat[captionskip=1pt][Infobox Taxobox]{
\includegraphics[width=0.4\textwidth]{figures/infobox-taxobox.pdf}
\includegraphics[width=0.5\textwidth]{figures/infobox-taxobox.pdf}
}
\vspace{-0.4cm}
\vspace{-0.1cm}
\subfloat[][Infobox Film]{
\includegraphics[width=0.4\textwidth]{figures/infobox-todo.pdf}
\includegraphics[width=0.45\textwidth]{figures/infobox-todo.pdf}
}
\subfloat[][Infobox Person]{
\includegraphics[width=0.37\textwidth]{figures/infobox-person-website.pdf}
\includegraphics[width=0.45\textwidth]{figures/infobox-person-website.pdf}
}
\vspace{-0.4cm}
\subfloat[][Infobox Football bio.]{
\includegraphics[width=0.4\textwidth]{figures/infobox-footballbiography.pdf}
}
\subfloat[][Legend for the charts (a)--(e).]{
\includegraphics[width=0.4\textwidth]{figures/legend.pdf}
}
%%%%%%% UNCOMMENT THE FOLLOWING TO HAVE 3 FIGURES PER ROW (be careful, the label of the subfigure must be changed in the text)
% \subfloat[][Infobox Settlement]{
%\includegraphics[width=0.33\textwidth]{figures/infobox-settlement_split.pdf}
......@@ -374,4 +376,4 @@ $groupBySubject(u^+)$ \\
%%% Local Variables:
%%% mode: latex
%%% TeX-master: "dbpedia16"
%%% End:
\ No newline at end of file
%%% End:
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment