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{\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 % Text
57 \usepackage{textcomp}
58
59 % Bilder
60 \usepackage[rflt]{floatflt}
61 \usepackage{epsfig,wrapfig}
62 \usepackage{subcaption}
63 \usepackage{float}
64
65 % Mathematische Symbole
66 \usepackage{amsmath,amssymb}
67
68 % Tabellen
69 \usepackage{longtable,lscape}
70 \usepackage{multirow}
71 \usepackage{multicol}
72 \usepackage{tabularx}
73
74 % Kopfzeilen
75 \usepackage[automark,headsepline]{scrlayer-scrpage}
76 \pagestyle{plain}
77 \renewcommand{\chaptermark}[1]{\markboth{#1}{}}
78 \renewcommand{\sectionmark}[1]{\markboth{\thesection\ #1}{}}
79 \clearpairofpagestyles
80 \cfoot[\pagemark]{\pagemark}
81 \lehead{\headmark}
82 \rohead{\headmark}
83 \pagestyle{scrheadings}
84
85 % Listenerscheinung
86 \setlength{\itemsep}{0ex}
87 \setlength{\parsep}{0ex}
88 \setlength{\parskip}{2mm}
89
90 % Biblatex
91 \usepackage[style=alphabetic,maxnames=10,backref=true,backend=bibtex]{biblatex}
92 \bibliography{bibliography}
93
94 % Hyperref
95 \usepackage[]{hyperref}
96 \hypersetup{
97         unicode,
98         pdftitle={\mytitle{}},
99         pdfauthor={Logic and Intelligent Data research group, University of Oslo},
100         pdfsubject={Ontology-based data access (OBDA)},
101         pdfkeywords={Ontology, Database, Database access, Big data},
102         pdfpagelayout=TwoPageRight,
103         linktoc=all,
104         colorlinks=true,
105         breaklinks=true,
106         extension=pdf,
107 %       destlabel=true,
108 %       allcolors=blue,
109         linkcolor=blue,
110         citecolor=green,
111         filecolor=cyan,
112         urlcolor=magenta,
113         pdfstartview=FitH,
114         pdfpagemode=UseOutlines,
115         bookmarksnumbered=true,
116         bookmarksopen=true,
117         bookmarksopenlevel=1
118 }
119 \usepackage{caption}  % Always link to the top of a figure or table
120
121
122 \begin{document}
123
124 % Seitennumerierung bis zum Beginn der Einleitung auf kleine roemische Zahlen setzen
125 \pagenumbering{roman}
126
127 % Title page
128 \KOMAoption{fontsize}{\smallerfontsize{}}
129 \title{\mytitle{}}
130
131 \author{}
132
133 \publishers{
134         Logic and Intelligent Data, \\
135         Department of Informatics, \\
136         University of Oslo \\[5ex]}
137
138 \date{}
139 \maketitle
140 \KOMAoption{fontsize}{\myfontsize{}}
141
142 %% Abstract
143 %\include{abstract}
144 %\addcontentsline{toc}{chapter}{Abstract}
145 %\include{kurzfassung}
146 %\addcontentsline{toc}{chapter}{Kurzfassung}
147
148 %% Contents
149 %\tableofcontents
150 %\addcontentsline{toc}{chapter}{Contents}
151
152 %% Nomenclature
153 %\addcontentsline{toc}{chapter}{Nomenclature}
154 %\include{nomenclature}
155
156 %% List of figures
157 %\listoffigures
158 %\addcontentsline{toc}{chapter}{List of figures}
159
160 % List of tables
161 \listoftables
162 \addcontentsline{toc}{chapter}{List of tables}
163
164 \clearpage
165 \pagestyle{plain}
166 \renewcommand{\chaptermark}[1]{\markboth{#1}{}}
167 \renewcommand{\sectionmark}[1]{\markboth{\thesection\ #1}{}}
168
169 % Seitennumerierung ab der folgenden Einleitung auf arabische Zahlen setzen
170 \pagenumbering{arabic}
171
172 %% Introduction
173 %\include{introduction}
174
175 %% Background
176 %\include{background}
177
178 % The OBDA Specification Language (OSL)
179 \include{osl}
180
181 %% The db2osl software
182 %\include{program}
183
184 %% Summary
185 %\include{summary}
186
187 %% Appendix
188 %\include{appendix}
189 %\addcontentsline{toc}{chapter}{Appendix}
190
191 % Bibliography bibtex (add pagebackref=true to hyperref options if desired)
192 %\bibliographystyle{alpha}
193 %\bibliography{bibliography}
194 %\addcontentsline{toc}{chapter}{Bibliography}
195
196 % Bibliography biblatex
197 \printbibliography
198 \addcontentsline{toc}{chapter}{Bibliography}
199
200 \end{document}