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