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