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