Minor change
[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 %\documentclass[paper=a4,twoside,bibliography=totoc,cleardoublepage=empty,parskip=half,final]{scrbook}  % Remember to comment in \backmatter!
35 \usepackage[utf8]{inputenc}
36 \usepackage[T1]{fontenc}
37 \usepackage{lmodern}
38 \usepackage{color}
39 %\usepackage[hyperref,dvipsnames]{xcolor}
40
41 % Einstellungen bez. des 'scrreprt'-Stils
42 % Caption Schriftstil und -Groesse
43 \renewcommand{\capfont}{\footnotesize}
44 \renewcommand{\caplabelfont}{\footnotesize\bfseries}
45 \typearea{15}  %Einstellung des Verh�ltnisses Gr��e des Textes zur Papiergr��e
46 %\renewcommand{\familydefault}{\sfdefault}       % "moderne" Schrift
47 %\renewcommand{\headfont}{\normalfont\sf}        % Kolumnentitel serifenlos
48 %\renewcommand{\pnumfont}{\normalfont\sffamily}  % Seitennummern serifenlos
49
50 % Sprache
51 \usepackage[ngerman,english]{babel}
52 \selectlanguage{english}
53 \setlength{\parindent}{0pt}
54
55 \addto\extrasgerman{\renewcommand{\figurename}{Abb.}}
56 \addto\extrasgerman{\renewcommand{\tablename}{Tab.}}
57
58 % Text
59 \usepackage{textcomp}
60
61 % Bilder / Graphiken
62 \usepackage[rflt]{floatflt}
63 \usepackage{epsfig,wrapfig}
64 \usepackage{subcaption}
65 \usepackage{float}
66 \usepackage{graphicx}
67
68 % Mathematische Symbole etc.
69 \usepackage{amsmath,amssymb}
70 \usepackage[binary-units=true,decimalsymbol=comma]{siunitx}
71
72 % Algorithmen
73 \usepackage{algpseudocode}
74 \usepackage{algorithm}
75 \usepackage{algorithmicx}
76
77 % Tabellen
78 \usepackage{longtable,lscape}
79 \usepackage{multirow}
80 \usepackage{multicol}
81 \usepackage{tabularx}
82
83 % Kopfzeilen
84 \usepackage[automark,headsepline]{scrlayer-scrpage}
85 \pagestyle{plain}
86 \renewcommand{\chaptermark}[1]{\markboth{#1}{}}
87 \renewcommand{\sectionmark}[1]{\markboth{\thesection\ #1}{}}
88 \clearpairofpagestyles
89 \cfoot[\pagemark]{\pagemark}
90 \lehead{\headmark}
91 \rohead{\headmark}
92 \pagestyle{scrheadings}
93 %\usepackage[automark]{scrpage2}
94 %\renewcommand{\footnoterule}{}
95 %\addtolength{\skip\footins}{\baselineskip}
96 %\usepackage{fnpos}
97
98 % Listenerscheinung
99 \setlength{\itemsep}{0ex}
100 \setlength{\parsep}{0ex}
101 \setlength{\parskip}{2mm}
102
103 % Biblatex
104 \usepackage[style=alphabetic,maxnames=10,backref=true,block=space,backend=bibtex]{biblatex}
105 \setlength{\bibitemsep}{1em}
106 \bibliography{bibliography}
107
108 %% Appendix
109 %\usepackage{appendix}
110
111 % Links
112 %\usepackage{url}
113 \usepackage{caption}  % Always link to the top of a figure or table
114 \usepackage[]{hyperref}  % Should be loaded last!
115 \hypersetup{
116         unicode,
117         pdftitle={\mytitle{}},
118         pdfauthor={Logic and Intelligent Data research group, University of Oslo},
119         pdfsubject={Ontology-based data access (OBDA)},
120         pdfkeywords={Ontology, Database, Database access, Big data},
121         pdfpagelayout=TwoPageRight,
122         linktoc=all,
123         colorlinks=true,
124         breaklinks=true,
125         extension=pdf,
126 %       destlabel=true,
127 %       allcolors=blue,
128         linkcolor=blue,
129         citecolor=green,
130         filecolor=cyan,
131         urlcolor=magenta,
132         pdfstartview=FitH,
133         pdfpagemode=UseOutlines,
134         bookmarksnumbered=true,
135         bookmarksopen=true,
136         bookmarksopenlevel=1
137 }
138
139
140 \begin{document}
141
142 % Seitennumerierung bis zum Beginn der Einleitung auf kleine roemische Zahlen setzen
143 \pagenumbering{roman}
144
145 % Title page
146 \KOMAoption{fontsize}{\smallerfontsize{}}
147 \title{\mytitle{}}
148 \author{}
149 \publishers{
150         Logic and Intelligent Data, \\
151         Department of Informatics, \\
152         University of Oslo \\[5ex]}
153 \date{}
154 \maketitle
155 \KOMAoption{fontsize}{\myfontsize{}}
156
157 %% Abstract
158 %\include{abstract}
159 %\addcontentsline{toc}{chapter}{Abstract}
160 %\include{kurzfassung}
161 %\addcontentsline{toc}{chapter}{Kurzfassung}
162
163 %% Contents
164 %\tableofcontents
165 %\addcontentsline{toc}{chapter}{Contents}
166
167 %% Nomenclature
168 %\addcontentsline{toc}{chapter}{Nomenclature}
169 %\include{nomenclature}
170
171 %% List of figures
172 %\listoffigures
173 %\addcontentsline{toc}{chapter}{List of figures}
174
175 % List of tables
176 \listoftables
177 \addcontentsline{toc}{chapter}{List of tables}
178
179 % List of algorithms
180 %\listofalgorithms
181 %\addcontentsline{toc}{chapter}{List of algorithms}
182
183 \clearpage
184 \pagestyle{plain}
185 \renewcommand{\chaptermark}[1]{\markboth{#1}{}}
186 \renewcommand{\sectionmark}[1]{\markboth{\thesection\ #1}{}}
187
188 % Seitennumerierung ab der folgenden Einleitung auf arabische Zahlen setzen
189 \pagenumbering{arabic}
190
191 %% Introduction
192 %\include{introduction}
193
194 %% Background
195 %\include{background}
196
197 % The OBDA Specification Language (OSL)
198 \include{osl}
199
200 %% The db2osl software
201 %\include{program}
202
203 %% Summary
204 %\include{summary}
205
206 %\backmatter  % Only for the book document classes
207
208 %% Appendix
209 %\include{appendix}
210 %\addcontentsline{toc}{chapter}{Appendix}
211
212 % Bibliography bibtex (add pagebackref=true to hyperref options if desired)
213 %\bibliographystyle{alpha}
214 %\bibliography{bibliography}
215 %\addcontentsline{toc}{chapter}{Bibliography}
216
217 % Bibliography biblatex
218 \printbibliography
219 \addcontentsline{toc}{chapter}{Bibliography}
220
221 \end{document}