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