Minor change
[u/philim/db2osl_thesis.git] / OSL-Specification.tex
CommitLineData
3e157d33
PM
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
c31df1ed
PM
7\newcommand{\mytitle}{OBDA Specification Language (OSL)\\
8 Specification}
9\newcommand{\myprog}{\name{db2osl}}
10\newcommand{\osl}{\name{OSL}}
11\newcommand{\oslspec}{\osl{} specification}
3e157d33
PM
12\newcommand{\myfontsize}{12pt}
13\newcommand{\smallerfontsize}{11pt}
14\newcommand{\smallfontsize}{10pt}
c31df1ed
PM
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}}
3e157d33
PM
31
32% Documentclass etc.
33\documentclass[\myfontsize,a4paper,twoside=semi]{scrreprt}
62fe6284 34%\documentclass[paper=a4,twoside,bibliography=totoc,cleardoublepage=empty,parskip=half,final]{scrbook} % Remember to comment in \backmatter!
3e157d33
PM
35\usepackage[utf8]{inputenc}
36\usepackage[T1]{fontenc}
37\usepackage{lmodern}
38\usepackage{color}
62fe6284 39%\usepackage[hyperref,dvipsnames]{xcolor}
3e157d33
PM
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
28b54c67
PM
58% Text
59\usepackage{textcomp}
60
62fe6284 61% Bilder / Graphiken
3e157d33
PM
62\usepackage[rflt]{floatflt}
63\usepackage{epsfig,wrapfig}
c31df1ed
PM
64\usepackage{subcaption}
65\usepackage{float}
62fe6284 66\usepackage{graphicx}
3e157d33 67
62fe6284 68% Mathematische Symbole etc.
3e157d33 69\usepackage{amsmath,amssymb}
62fe6284
PM
70\usepackage[binary-units=true,decimalsymbol=comma]{siunitx}
71
72% Algorithmen
73\usepackage{algpseudocode}
74\usepackage{algorithm}
75\usepackage{algorithmicx}
3e157d33
PM
76
77% Tabellen
78\usepackage{longtable,lscape}
79\usepackage{multirow}
28b54c67 80\usepackage{multicol}
3e157d33
PM
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}
62fe6284
PM
93%\usepackage[automark]{scrpage2}
94%\renewcommand{\footnoterule}{}
95%\addtolength{\skip\footins}{\baselineskip}
96%\usepackage{fnpos}
3e157d33
PM
97
98% Listenerscheinung
99\setlength{\itemsep}{0ex}
100\setlength{\parsep}{0ex}
101\setlength{\parskip}{2mm}
102
103% Biblatex
62fe6284
PM
104\usepackage[style=alphabetic,maxnames=10,backref=true,block=space,backend=bibtex]{biblatex}
105\setlength{\bibitemsep}{1em}
3e157d33
PM
106\bibliography{bibliography}
107
62fe6284
PM
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!
3e157d33
PM
115\hypersetup{
116 unicode,
c31df1ed 117 pdftitle={\mytitle{}},
3e157d33
PM
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}
3e157d33 138
c31df1ed 139
3e157d33
PM
140\begin{document}
141
142% Seitennumerierung bis zum Beginn der Einleitung auf kleine roemische Zahlen setzen
143\pagenumbering{roman}
144
3e157d33 145% Title page
c31df1ed
PM
146\KOMAoption{fontsize}{\smallerfontsize{}}
147\title{\mytitle{}}
3e157d33 148\author{}
3e157d33
PM
149\publishers{
150 Logic and Intelligent Data, \\
151 Department of Informatics, \\
152 University of Oslo \\[5ex]}
3e157d33
PM
153\date{}
154\maketitle
c31df1ed 155\KOMAoption{fontsize}{\myfontsize{}}
3e157d33
PM
156
157%% Abstract
3e157d33
PM
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
3e157d33
PM
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
62fe6284
PM
179% List of algorithms
180%\listofalgorithms
181%\addcontentsline{toc}{chapter}{List of algorithms}
182
3e157d33
PM
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
3e157d33
PM
192%\include{introduction}
193
194%% Background
3e157d33
PM
195%\include{background}
196
c31df1ed 197% The OBDA Specification Language (OSL)
3e157d33
PM
198\include{osl}
199
c31df1ed
PM
200%% The db2osl software
201%\include{program}
3e157d33
PM
202
203%% Summary
3e157d33
PM
204%\include{summary}
205
62fe6284
PM
206%\backmatter % Only for the book document classes
207
3e157d33 208%% Appendix
3e157d33
PM
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
3e157d33 221\end{document}