Initial version
[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
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}