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