Major change
[u/philim/db2osl_thesis.git] / OSL-Specification.tex
... / ...
CommitLineData
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{\myfontsize}{12pt}
12\newcommand{\smallerfontsize}{11pt}
13\newcommand{\smallfontsize}{10pt}
14\newcommand{\oslbaseurl}{\url{http://w3studi.informatik.uni-stuttgart.de/~martispp/ont\#}}
15\newcommand{\oslheaderurl}{\url{http://w3studi.informatik.uni-stuttgart.de/~martispp/ont/db2osl.owl}}
16%\newcommand{\spacebeforetable}{2em}
17\newcommand{\itm}{\textbullet \ }
18
19% New commands
20%\newcommand{\file}[1]{{\sffamily\slshape #1}}
21\newcommand{\file}[1]{\textsf{#1}}
22\newcommand{\name}[1]{\textsc{#1}}
23\newcommand{\sbr}[1]{\texttt{#1}}
24\newcommand{\var}[1]{\textsl{\texttt{#1}}}
25\newcommand{\cmd}[1]{\uppercase{\texttt{#1}}}
26\newcommand{\ind}{\hspace*{30pt}}
27\newcommand{\code}[1]{\texttt{#1}}
28\newcommand{\codepar}[1]{\begin{itemize}\item[]\code{#1}\end{itemize}\vspace{12pt}}
29\newcommand{\fullref}[1]{\ref{#1} -- \nameref{#1}}
30
31% Documentclass etc.
32\documentclass[\myfontsize,a4paper,twoside=semi]{scrreprt}
33%\documentclass[paper=a4,twoside,bibliography=totoc,cleardoublepage=empty,parskip=half,final]{scrbook} % Remember to comment in \backmatter!
34\usepackage[utf8]{inputenc}
35\usepackage[T1]{fontenc}
36\usepackage{lmodern}
37\usepackage{color}
38%\usepackage[hyperref,dvipsnames]{xcolor}
39
40% Einstellungen bez. des 'scrreprt'-Stils
41% Caption Schriftstil und -Groesse
42\renewcommand{\capfont}{\footnotesize}
43\renewcommand{\caplabelfont}{\footnotesize\bfseries}
44\typearea{15} %Einstellung des Verh�ltnisses Gr��e des Textes zur Papiergr��e
45%\renewcommand{\familydefault}{\sfdefault} % "moderne" Schrift
46%\renewcommand{\headfont}{\normalfont\sf} % Kolumnentitel serifenlos
47%\renewcommand{\pnumfont}{\normalfont\sffamily} % Seitennummern serifenlos
48
49% Sprache
50\usepackage[ngerman,english]{babel}
51\selectlanguage{english}
52\setlength{\parindent}{0pt}
53
54\addto\extrasgerman{\renewcommand{\figurename}{Abb.}}
55\addto\extrasgerman{\renewcommand{\tablename}{Tab.}}
56
57% Text
58\usepackage{textcomp}
59
60% Bilder / Graphiken
61\usepackage[rflt]{floatflt}
62\usepackage{epsfig,wrapfig}
63\usepackage{subcaption}
64\usepackage{float}
65\usepackage{graphicx}
66
67% Mathematische Symbole etc.
68\usepackage{amsmath,amssymb}
69%\usepackage[binary-units=true,decimalsymbol=comma]{siunitx}
70
71% Algorithmen
72%\usepackage{algpseudocode}
73%\usepackage{algorithm}
74%\usepackage{algorithmicx}
75
76% Tabellen
77\usepackage{longtable,lscape}
78\usepackage{multirow}
79\usepackage{multicol}
80\usepackage{tabularx}
81
82% Kopfzeilen
83\usepackage[automark,headsepline]{scrlayer-scrpage}
84\pagestyle{plain}
85\renewcommand{\chaptermark}[1]{\markboth{#1}{}}
86\renewcommand{\sectionmark}[1]{\markboth{\thesection\ #1}{}}
87\clearpairofpagestyles
88\cfoot[\pagemark]{\pagemark}
89\lehead{\headmark}
90\rohead{\headmark}
91\pagestyle{scrheadings}
92%\usepackage[automark]{scrpage2}
93%\renewcommand{\footnoterule}{}
94%\addtolength{\skip\footins}{\baselineskip}
95%\usepackage{fnpos}
96
97% Listenerscheinung
98\setlength{\itemsep}{0ex}
99\setlength{\parsep}{0ex}
100\setlength{\parskip}{2mm}
101
102% Biblatex
103\usepackage[style=alphabetic,maxnames=10,backref=true,block=space,backend=bibtex]{biblatex}
104\setlength{\bibitemsep}{1em}
105\bibliography{bibliography}
106
107%% Appendix
108%\usepackage{appendix}
109
110% Links
111%\usepackage{url}
112\usepackage{caption} % Always link to the top of a figure or table
113\usepackage[]{hyperref} % Should be loaded last!
114\hypersetup{
115 unicode,
116 pdftitle={\mytitle{}},
117 pdfauthor={Logic and Intelligent Data research group, University of Oslo},
118 pdfsubject={Ontology-based data access (OBDA)},
119 pdfkeywords={Ontology, Database, Database access, Big data},
120 pdfpagelayout=TwoPageRight,
121 linktoc=all,
122 colorlinks=true,
123 breaklinks=true,
124 extension=pdf,
125% destlabel=true,
126% allcolors=blue,
127 linkcolor=blue,
128 citecolor=green,
129 filecolor=cyan,
130 urlcolor=magenta,
131 pdfstartview=FitH,
132 pdfpagemode=UseOutlines,
133 bookmarksnumbered=true,
134 bookmarksopen=true,
135 bookmarksopenlevel=1
136}
137
138
139\begin{document}
140
141% Seitennumerierung bis zum Beginn der Einleitung auf kleine roemische Zahlen setzen
142\pagenumbering{roman}
143
144% Title page
145\KOMAoption{fontsize}{\smallerfontsize{}}
146\title{\mytitle{}}
147\author{}
148\publishers{
149 Logic and Intelligent Data, \\
150 Department of Informatics, \\
151 University of Oslo \\[5ex]}
152\date{}
153\maketitle
154\KOMAoption{fontsize}{\myfontsize{}}
155
156%% Abstract
157%\include{abstract}
158%\addcontentsline{toc}{chapter}{Abstract}
159%\include{kurzfassung}
160%\addcontentsline{toc}{chapter}{Kurzfassung}
161
162%% Contents
163%\tableofcontents
164%\addcontentsline{toc}{chapter}{Contents}
165
166%% Nomenclature
167%\addcontentsline{toc}{chapter}{Nomenclature}
168%\include{nomenclature}
169
170%% List of figures
171%\listoffigures
172%\addcontentsline{toc}{chapter}{List of figures}
173
174% List of tables
175\listoftables
176\addcontentsline{toc}{chapter}{List of tables}
177
178% List of algorithms
179%\listofalgorithms
180%\addcontentsline{toc}{chapter}{List of algorithms}
181
182\clearpage
183\pagestyle{plain}
184\renewcommand{\chaptermark}[1]{\markboth{#1}{}}
185\renewcommand{\sectionmark}[1]{\markboth{\thesection\ #1}{}}
186
187% Seitennumerierung ab der folgenden Einleitung auf arabische Zahlen setzen
188\pagenumbering{arabic}
189
190%% Introduction
191%\include{introduction}
192
193%% Background
194%\include{background}
195
196% The OBDA Specification Language (OSL)
197\include{osl}
198
199%% The db2osl software
200%\include{program}
201
202%% Summary
203%\include{summary}
204
205%\backmatter % Only for the book document classes
206
207%% Appendix
208%\include{appendix}
209%\addcontentsline{toc}{chapter}{Appendix}
210
211% Bibliography bibtex (add pagebackref=true to hyperref options if desired)
212%\bibliographystyle{alpha}
213%\bibliography{bibliography}
214%\addcontentsline{toc}{chapter}{Bibliography}
215
216% Bibliography biblatex
217\printbibliography
218\addcontentsline{toc}{chapter}{Bibliography}
219
220\end{document}