0b3bb4bb917034644ba1692b37bd6ec610b3e681
[u/philim/db2osl_thesis.git] / OSL-Specification.tex
1 %&latex
2 % headsepline: Linie am oberen Blattrand unterhalb der Seitennummer
3 % bibtotoc: Aufnahme des Literaturverzeichnisses ins Inhaltsverzeichnis
4 %\documentclass[a4paper,headsepline,bibtotoc]{scrreprt}
5
6 % Constants
7 \newcommand{\mytitle}{OBDA Specification Language (OSL)\\
8         Specification}
9 \newcommand{\myprog}{\name{db2osl}}
10 \newcommand{\osl}{\name{OSL}}
11 \newcommand{\oslspec}{\osl{} specification}
12 \newcommand{\myfontsize}{12pt}
13 \newcommand{\smallerfontsize}{11pt}
14 \newcommand{\smallfontsize}{10pt}
15 \newcommand{\oslbaseurl}{\url{http://w3studi.informatik.uni-stuttgart.de/~martispp/ont\#}}
16 \newcommand{\oslheaderurl}{\url{http://w3studi.informatik.uni-stuttgart.de/~martispp/ont/db2osl.owl}}
17 %\newcommand{\spacebeforetable}{2em}
18 \newcommand{\itm}{\textbullet \ }
19
20 % New commands
21 %\newcommand{\file}[1]{{\sffamily\slshape #1}}
22 \newcommand{\file}[1]{\textsf{#1}}
23 \newcommand{\name}[1]{\textsc{#1}}
24 \newcommand{\sbr}[1]{\texttt{#1}}
25 \newcommand{\var}[1]{\textsl{\texttt{#1}}}
26 \newcommand{\cmd}[1]{\uppercase{\texttt{#1}}}
27 \newcommand{\ind}{\hspace*{30pt}}
28 \newcommand{\code}[1]{\texttt{#1}}
29 \newcommand{\codepar}[1]{\begin{itemize}\item[]\code{#1}\end{itemize}\vspace{12pt}}
30 \newcommand{\fullref}[1]{\ref{#1} -- \nameref{#1}}
31
32 % Documentclass etc.
33 \documentclass[\myfontsize,a4paper,twoside=semi]{scrreprt}
34 \usepackage[utf8]{inputenc}
35 \usepackage[T1]{fontenc}
36 \usepackage{lmodern}
37 \usepackage{color}
38
39 % Einstellungen bez. des 'scrreprt'-Stils
40 % Caption Schriftstil und -Groesse
41 \renewcommand{\capfont}{\footnotesize}
42 \renewcommand{\caplabelfont}{\footnotesize\bfseries}
43 \typearea{15}  %Einstellung des Verh�ltnisses Gr��e des Textes zur Papiergr��e
44 %\renewcommand{\familydefault}{\sfdefault}       % "moderne" Schrift
45 %\renewcommand{\headfont}{\normalfont\sf}        % Kolumnentitel serifenlos
46 %\renewcommand{\pnumfont}{\normalfont\sffamily}  % Seitennummern serifenlos
47
48 % Sprache
49 \usepackage[ngerman,english]{babel}
50 \selectlanguage{english}
51 \setlength{\parindent}{0pt}
52
53 \addto\extrasgerman{\renewcommand{\figurename}{Abb.}}
54 \addto\extrasgerman{\renewcommand{\tablename}{Tab.}}
55
56 % Bilder
57 \usepackage[rflt]{floatflt}
58 \usepackage{epsfig,wrapfig}
59 \usepackage{subcaption}
60 \usepackage{float}
61
62 % Mathematische Symbole
63 \usepackage{amsmath,amssymb}
64
65 % Tabellen
66 \usepackage{longtable,lscape}
67 \usepackage{multirow}
68 \usepackage{tabularx}
69
70 % Kopfzeilen
71 \usepackage[automark,headsepline]{scrlayer-scrpage}
72 \pagestyle{plain}
73 \renewcommand{\chaptermark}[1]{\markboth{#1}{}}
74 \renewcommand{\sectionmark}[1]{\markboth{\thesection\ #1}{}}
75 \clearpairofpagestyles
76 \cfoot[\pagemark]{\pagemark}
77 \lehead{\headmark}
78 \rohead{\headmark}
79 \pagestyle{scrheadings}
80
81 % Listenerscheinung
82 \setlength{\itemsep}{0ex}
83 \setlength{\parsep}{0ex}
84 \setlength{\parskip}{2mm}
85
86 % Biblatex
87 \usepackage[style=alphabetic,maxnames=10,backref=true,backend=bibtex]{biblatex}
88 \bibliography{bibliography}
89
90 % Hyperref
91 \usepackage[]{hyperref}
92 \hypersetup{
93         unicode,
94         pdftitle={\mytitle{}},
95         pdfauthor={Logic and Intelligent Data research group, University of Oslo},
96         pdfsubject={Ontology-based data access (OBDA)},
97         pdfkeywords={Ontology, Database, Database access, Big data},
98         pdfpagelayout=TwoPageRight,
99         linktoc=all,
100         colorlinks=true,
101         breaklinks=true,
102         extension=pdf,
103 %       destlabel=true,
104 %       allcolors=blue,
105         linkcolor=blue,
106         citecolor=green,
107         filecolor=cyan,
108         urlcolor=magenta,
109         pdfstartview=FitH,
110         pdfpagemode=UseOutlines,
111         bookmarksnumbered=true,
112         bookmarksopen=true,
113         bookmarksopenlevel=1
114 }
115 \usepackage{caption}  % Always link to the top of a figure or table
116
117
118 \begin{document}
119
120 % Seitennumerierung bis zum Beginn der Einleitung auf kleine roemische Zahlen setzen
121 \pagenumbering{roman}
122
123 % Title page
124 \KOMAoption{fontsize}{\smallerfontsize{}}
125 \title{\mytitle{}}
126
127 \author{}
128
129 \publishers{
130         Logic and Intelligent Data, \\
131         Department of Informatics, \\
132         University of Oslo \\[5ex]}
133
134 \date{}
135 \maketitle
136 \KOMAoption{fontsize}{\myfontsize{}}
137
138 %% Abstract
139 %\include{abstract}
140 %\addcontentsline{toc}{chapter}{Abstract}
141 %\include{kurzfassung}
142 %\addcontentsline{toc}{chapter}{Kurzfassung}
143
144 %% Contents
145 %\tableofcontents
146 %\addcontentsline{toc}{chapter}{Contents}
147
148 %% Nomenclature
149 %\addcontentsline{toc}{chapter}{Nomenclature}
150 %\include{nomenclature}
151
152 %% List of figures
153 %\listoffigures
154 %\addcontentsline{toc}{chapter}{List of figures}
155
156 % List of tables
157 \listoftables
158 \addcontentsline{toc}{chapter}{List of tables}
159
160 \clearpage
161 \pagestyle{plain}
162 \renewcommand{\chaptermark}[1]{\markboth{#1}{}}
163 \renewcommand{\sectionmark}[1]{\markboth{\thesection\ #1}{}}
164
165 % Seitennumerierung ab der folgenden Einleitung auf arabische Zahlen setzen
166 \pagenumbering{arabic}
167
168 %% Introduction
169 %\include{introduction}
170
171 %% Background
172 %\include{background}
173
174 % The OBDA Specification Language (OSL)
175 \include{osl}
176
177 %% The db2osl software
178 %\include{program}
179
180 %% Summary
181 %\include{summary}
182
183 %% Appendix
184 %\include{appendix}
185 %\addcontentsline{toc}{chapter}{Appendix}
186
187 % Bibliography bibtex (add pagebackref=true to hyperref options if desired)
188 %\bibliographystyle{alpha}
189 %\bibliography{bibliography}
190 %\addcontentsline{toc}{chapter}{Bibliography}
191
192 % Bibliography biblatex
193 \printbibliography
194 \addcontentsline{toc}{chapter}{Bibliography}
195
196 \end{document}