Minor change

[u/philim/db2osl_thesis.git] / OSL-Specification.tex

%&latex
% headsepline: Linie am oberen Blattrand unterhalb der Seitennummer
% bibtotoc: Aufnahme des Literaturverzeichnisses ins Inhaltsverzeichnis
%\documentclass[a4paper,headsepline,bibtotoc]{scrreprt}

% Constants
\newcommand{\mytitle}{OBDA Specification Language (OSL)\\
	Specification}
\newcommand{\myprog}{\name{db2osl}}
\newcommand{\osl}{\name{OSL}}
\newcommand{\oslspec}{\osl{} specification}
\newcommand{\myfontsize}{12pt}
\newcommand{\smallerfontsize}{11pt}
\newcommand{\smallfontsize}{10pt}
\newcommand{\oslbaseurl}{\url{http://w3studi.informatik.uni-stuttgart.de/~martispp/ont\#}}
\newcommand{\oslheaderurl}{\url{http://w3studi.informatik.uni-stuttgart.de/~martispp/ont/db2osl.owl}}
%\newcommand{\spacebeforetable}{2em}
\newcommand{\itm}{\textbullet \ }

% New commands
%\newcommand{\file}[1]{{\sffamily\slshape #1}}
\newcommand{\file}[1]{\textsf{#1}}
\newcommand{\name}[1]{\textsc{#1}}
\newcommand{\sbr}[1]{\texttt{#1}}
\newcommand{\var}[1]{\textsl{\texttt{#1}}}
\newcommand{\cmd}[1]{\uppercase{\texttt{#1}}}
\newcommand{\ind}{\hspace*{30pt}}
\newcommand{\code}[1]{\texttt{#1}}
\newcommand{\codepar}[1]{\begin{itemize}\item[]\code{#1}\end{itemize}\vspace{12pt}}
\newcommand{\fullref}[1]{\ref{#1} -- \nameref{#1}}

% Documentclass etc.
\documentclass[\myfontsize,a4paper,twoside=semi]{scrreprt}
%\documentclass[paper=a4,twoside,bibliography=totoc,cleardoublepage=empty,parskip=half,final]{scrbook}  % Remember to comment in \backmatter!
\usepackage[utf8]{inputenc}
\usepackage[T1]{fontenc}
\usepackage{lmodern}
\usepackage{color}
%\usepackage[hyperref,dvipsnames]{xcolor}

% Einstellungen bez. des 'scrreprt'-Stils
% Caption Schriftstil und -Groesse
\renewcommand{\capfont}{\footnotesize}
\renewcommand{\caplabelfont}{\footnotesize\bfseries}
\typearea{15}  %Einstellung des Verh�ltnisses Gr��e des Textes zur Papiergr��e
%\renewcommand{\familydefault}{\sfdefault}       % "moderne" Schrift
%\renewcommand{\headfont}{\normalfont\sf}        % Kolumnentitel serifenlos
%\renewcommand{\pnumfont}{\normalfont\sffamily}  % Seitennummern serifenlos

% Sprache
\usepackage[ngerman,english]{babel}
\selectlanguage{english}
\setlength{\parindent}{0pt}

\addto\extrasgerman{\renewcommand{\figurename}{Abb.}}
\addto\extrasgerman{\renewcommand{\tablename}{Tab.}}

% Text
\usepackage{textcomp}

% Bilder / Graphiken
\usepackage[rflt]{floatflt}
\usepackage{epsfig,wrapfig}
\usepackage{subcaption}
\usepackage{float}
\usepackage{graphicx}

% Mathematische Symbole etc.
\usepackage{amsmath,amssymb}
\usepackage[binary-units=true,decimalsymbol=comma]{siunitx}

% Algorithmen
\usepackage{algpseudocode}
\usepackage{algorithm}
\usepackage{algorithmicx}

% Tabellen
\usepackage{longtable,lscape}
\usepackage{multirow}
\usepackage{multicol}
\usepackage{tabularx}

% Kopfzeilen
\usepackage[automark,headsepline]{scrlayer-scrpage}
\pagestyle{plain}
\renewcommand{\chaptermark}[1]{\markboth{#1}{}}
\renewcommand{\sectionmark}[1]{\markboth{\thesection\ #1}{}}
\clearpairofpagestyles
\cfoot[\pagemark]{\pagemark}
\lehead{\headmark}
\rohead{\headmark}
\pagestyle{scrheadings}
%\usepackage[automark]{scrpage2}
%\renewcommand{\footnoterule}{}
%\addtolength{\skip\footins}{\baselineskip}
%\usepackage{fnpos}

% Listenerscheinung
\setlength{\itemsep}{0ex}
\setlength{\parsep}{0ex}
\setlength{\parskip}{2mm}

% Biblatex
\usepackage[style=alphabetic,maxnames=10,backref=true,block=space,backend=bibtex]{biblatex}
\setlength{\bibitemsep}{1em}
\bibliography{bibliography}

%% Appendix
%\usepackage{appendix}

% Links
%\usepackage{url}
\usepackage{caption}  % Always link to the top of a figure or table
\usepackage[]{hyperref}  % Should be loaded last!
\hypersetup{
	unicode,
	pdftitle={\mytitle{}},
	pdfauthor={Logic and Intelligent Data research group, University of Oslo},
	pdfsubject={Ontology-based data access (OBDA)},
	pdfkeywords={Ontology, Database, Database access, Big data},
	pdfpagelayout=TwoPageRight,
	linktoc=all,
	colorlinks=true,
	breaklinks=true,
	extension=pdf,
%	destlabel=true,
%	allcolors=blue,
	linkcolor=blue,
	citecolor=green,
	filecolor=cyan,
	urlcolor=magenta,
	pdfstartview=FitH,
	pdfpagemode=UseOutlines,
	bookmarksnumbered=true,
	bookmarksopen=true,
	bookmarksopenlevel=1
}


\begin{document}

% Seitennumerierung bis zum Beginn der Einleitung auf kleine roemische Zahlen setzen
\pagenumbering{roman}

% Title page
\KOMAoption{fontsize}{\smallerfontsize{}}
\title{\mytitle{}}
\author{}
\publishers{
	Logic and Intelligent Data, \\
	Department of Informatics, \\
	University of Oslo \\[5ex]}
\date{}
\maketitle
\KOMAoption{fontsize}{\myfontsize{}}

%% Abstract
%\include{abstract}
%\addcontentsline{toc}{chapter}{Abstract}
%\include{kurzfassung}
%\addcontentsline{toc}{chapter}{Kurzfassung}

%% Contents
%\tableofcontents
%\addcontentsline{toc}{chapter}{Contents}

%% Nomenclature
%\addcontentsline{toc}{chapter}{Nomenclature}
%\include{nomenclature}

%% List of figures
%\listoffigures
%\addcontentsline{toc}{chapter}{List of figures}

% List of tables
\listoftables
\addcontentsline{toc}{chapter}{List of tables}

% List of algorithms
%\listofalgorithms
%\addcontentsline{toc}{chapter}{List of algorithms}

\clearpage
\pagestyle{plain}
\renewcommand{\chaptermark}[1]{\markboth{#1}{}}
\renewcommand{\sectionmark}[1]{\markboth{\thesection\ #1}{}}

% Seitennumerierung ab der folgenden Einleitung auf arabische Zahlen setzen
\pagenumbering{arabic}

%% Introduction
%\include{introduction}

%% Background
%\include{background}

% The OBDA Specification Language (OSL)
\include{osl}

%% The db2osl software
%\include{program}

%% Summary
%\include{summary}

%\backmatter  % Only for the book document classes

%% Appendix
%\include{appendix}
%\addcontentsline{toc}{chapter}{Appendix}

% Bibliography bibtex (add pagebackref=true to hyperref options if desired)
%\bibliographystyle{alpha}
%\bibliography{bibliography}
%\addcontentsline{toc}{chapter}{Bibliography}

% Bibliography biblatex
\printbibliography
\addcontentsline{toc}{chapter}{Bibliography}

\end{document}