OSL-Specification.tex

   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)\\Specification}
   8 \newcommand{\myfontsize}{12pt}
   9 \newcommand{\smallerfontsize}{11pt}
  10 \newcommand{\smallfontsize}{10pt}
  11 \newcommand{\oslbase}{\url{http://w3studi.informatik.uni-stuttgart.de/~martispp/ont\#}}
  12 \newcommand{\oslheader}{\url{http://w3studi.informatik.uni-stuttgart.de/~martispp/ont/db2osl.owl}}
  13 \newcommand{\spacebeforetable}{2em}
  14
  15 % Documentclass etc.
  16 \documentclass[\myfontsize,a4paper,twoside=semi]{scrreprt}
  17 \usepackage[utf8]{inputenc}
  18 \usepackage[T1]{fontenc}
  19 \usepackage{lmodern}
  20 \usepackage{color}
  21
  22 % Einstellungen bez. des 'scrreprt'-Stils
  23 % Caption Schriftstil und -Groesse
  24 \renewcommand{\capfont}{\footnotesize}
  25 \renewcommand{\caplabelfont}{\footnotesize\bfseries}
  26 \typearea{15}  %Einstellung des Verh�ltnisses Gr��e des Textes zur Papiergr��e
  27 %\renewcommand{\familydefault}{\sfdefault}       % "moderne" Schrift
  28 %\renewcommand{\headfont}{\normalfont\sf}        % Kolumnentitel serifenlos
  29 %\renewcommand{\pnumfont}{\normalfont\sffamily}  % Seitennummern serifenlos
  30
  31 % Sprache
  32 \usepackage[ngerman,english]{babel}
  33 \selectlanguage{english}
  34 \setlength{\parindent}{0pt}
  35
  36 \addto\extrasgerman{\renewcommand{\figurename}{Abb.}}
  37 \addto\extrasgerman{\renewcommand{\tablename}{Tab.}}
  38
  39 % Bilder
  40 \usepackage[rflt]{floatflt}
  41 \usepackage{epsfig,wrapfig}
  42
  43 % Mathematische Symbole
  44 \usepackage{amsmath,amssymb}
  45
  46 % Tabellen
  47 \usepackage{longtable,lscape}
  48 \usepackage{multirow}
  49 \usepackage{tabularx}
  50
  51 % Kopfzeilen
  52 \usepackage[automark,headsepline]{scrlayer-scrpage}
  53 \pagestyle{plain}
  54 \renewcommand{\chaptermark}[1]{\markboth{#1}{}}
  55 \renewcommand{\sectionmark}[1]{\markboth{\thesection\ #1}{}}
  56 \clearpairofpagestyles
  57 \cfoot[\pagemark]{\pagemark}
  58 \lehead{\headmark}
  59 \rohead{\headmark}
  60 \pagestyle{scrheadings}
  61
  62 % Listenerscheinung
  63 \setlength{\itemsep}{0ex}
  64 \setlength{\parsep}{0ex}
  65 \setlength{\parskip}{2mm}
  66
  67 % Biblatex
  68 \usepackage[style=alphabetic,maxnames=10,backref=true]{biblatex}
  69 \bibliography{bibliography}
  70
  71 % Hyperref
  72 \usepackage[]{hyperref}
  73 \hypersetup{
  74         unicode,
  75         pdftitle={\mytitle},
  76         pdfauthor={Logic and Intelligent Data research group, University of Oslo},
  77         pdfsubject={Ontology-based data access (OBDA)},
  78         pdfkeywords={Ontology, Database, Database access, Big data},
  79         pdfpagelayout=TwoPageRight,
  80         linktoc=all,
  81         colorlinks=true,
  82         breaklinks=true,
  83         extension=pdf,
  84 %       destlabel=true,
  85 %       allcolors=blue,
  86         linkcolor=blue,
  87         citecolor=green,
  88         filecolor=cyan,
  89         urlcolor=magenta,
  90         pdfstartview=FitH,
  91         pdfpagemode=UseOutlines,
  92         bookmarksnumbered=true,
  93         bookmarksopen=true,
  94         bookmarksopenlevel=1
  95 }
  96 \usepackage{caption}  % Always link to the top of a figure or table
  97
  98 \begin{document}
  99
 100 % Seitennumerierung bis zum Beginn der Einleitung auf kleine roemische Zahlen setzen
 101 \pagenumbering{roman}
 102
 103 % new commands
 104 %\newcommand{\file}[1]{{\sffamily\slshape #1}}
 105 \newcommand{\file}[1]{\mdseries\textsl{\textsf{#1}}}
 106 \newcommand{\sbr}[1]{\texttt{#1}}
 107 \newcommand{\var}[1]{\mdseries\textsl{\texttt{#1}}}
 108 \newcommand{\cmd}[1]{\uppercase{\texttt{#1}}}
 109
 110 % Title page
 111 \KOMAoption{fontsize}{\smallerfontsize}
 112 \title{\mytitle}
 113
 114 \author{}
 115
 116 \publishers{
 117         Logic and Intelligent Data, \\
 118         Department of Informatics, \\
 119         University of Oslo \\[5ex]}
 120
 121 \date{}
 122 \maketitle
 123 \KOMAoption{fontsize}{\myfontsize}
 124
 125 %% Abstract
 126 %\clearpage
 127 %\include{abstract}
 128 %\addcontentsline{toc}{chapter}{Abstract}
 129 %\include{kurzfassung}
 130 %\addcontentsline{toc}{chapter}{Kurzfassung}
 131
 132 %% Contents
 133 %\tableofcontents
 134 %\addcontentsline{toc}{chapter}{Contents}
 135
 136 %% Nomenclature
 137 %\clearpage
 138 %\addcontentsline{toc}{chapter}{Nomenclature}
 139 %\include{nomenclature}
 140
 141 %% List of figures
 142 %\listoffigures
 143 %\addcontentsline{toc}{chapter}{List of figures}
 144
 145 % List of tables
 146 \listoftables
 147 \addcontentsline{toc}{chapter}{List of tables}
 148
 149 \clearpage
 150 \pagestyle{plain}
 151 \renewcommand{\chaptermark}[1]{\markboth{#1}{}}
 152 \renewcommand{\sectionmark}[1]{\markboth{\thesection\ #1}{}}
 153
 154 % Seitennumerierung ab der folgenden Einleitung auf arabische Zahlen setzen
 155 \pagenumbering{arabic}
 156
 157 %% Introduction
 158 %\clearpage
 159 %\include{introduction}
 160
 161 %% Background
 162 %\clearpage
 163 %\include{background}
 164
 165 % The OSL language
 166 \clearpage
 167 \include{osl}
 168
 169
 170 %% Summary
 171 %\clearpage
 172 %\include{summary}
 173
 174 %% Appendix
 175 %\clearpage
 176 %\include{appendix}
 177 %\addcontentsline{toc}{chapter}{Appendix}
 178
 179 % Bibliography bibtex (add pagebackref=true to hyperref options if desired)
 180 %\bibliographystyle{alpha}
 181 %\bibliography{bibliography}
 182 %\addcontentsline{toc}{chapter}{Bibliography}
 183
 184 % Bibliography biblatex
 185 \printbibliography
 186 \addcontentsline{toc}{chapter}{Bibliography}
 187
 188
 189 \end{document}