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