Major change
[u/philim/db2osl_thesis.git] / osl_intro.tex
1 \chapter{The OBDA Specification Language (OSL)}
2 \label{osl}
3
4 TODO: aims, proceeding, structure
5
6 As described in \cite{eng}, an OBDA specification consists of several types of maps,
7 all containing data entries and links to other maps.
8 This fits perfectly into the environment of ontologies and \name{OWL}, with data
9 properties being the obvious choice to represent contained data entries
10 and object properties being the obvious choice to represent links between maps.
11 Also, a potential user probably to some degree is familiar with this environment,
12 since this is what the bootstrapping process at the end amounts to.
13
14 Therefore, an ideal base for the \osllong{} is \name{OWL},
15 being a solid framework for data and constraint representation
16 with a high degree of software support,
17 while imposing only a minimum of introductory preparation to the user.
18
19 Another advantage of this approach is that the specification is kept
20 compact and focused on the entities that the language has to represent rather than
21 primarily dealing with technical details.
22 In particular, many of those details can be formulated as \name{OWL} restrictions
23 in a header ontology demanded to be imported by documents conforming
24 to the \osl{} specification.
25 Thus, they are not only specified precisely but they are also stipulated in a
26 machine-readable form for which tools are widely available, enabling the user to check
27 many aspects of an \osl{} document for conformity with minimal effort.