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