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{\osllong}{\name{OBDA Specification Language}}
  12 \newcommand{\oslboth}{\osllong{} (\osl{})}
  13 \newcommand{\myfontsize}{12pt}
  14 \newcommand{\smallerfontsize}{11pt}
  15 \newcommand{\smallfontsize}{10pt}
  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}}
  31 \newcommand{\fullref}[1]{\ref{#1}~--~\nameref{#1}}
  32
  33 % Documentclass etc.
  34 \documentclass[\myfontsize,a4paper,twoside=semi]{scrreprt}
  35 %\documentclass[paper=a4,twoside,bibliography=totoc,cleardoublepage=empty,parskip=half,final]{scrbook}  % Remember to comment in \backmatter!
  36 \usepackage[utf8]{inputenc}
  37 \usepackage[T1]{fontenc}
  38 \usepackage{lmodern}
  39 \usepackage{color}
  40 %\usepackage[hyperref,dvipsnames]{xcolor}
  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
  59 % Text
  60 \usepackage{textcomp}
  61
  62 % Bilder / Graphiken
  63 \usepackage[rflt]{floatflt}
  64 \usepackage{epsfig,wrapfig}
  65 \usepackage{caption}
  66 \usepackage[list=true]{subcaption}
  67 \usepackage{float}
  68 \usepackage{graphicx}
  69
  70 % Mathematische Symbole etc.
  71 \usepackage{amsmath,amssymb}
  72 %\usepackage[binary-units=true,decimalsymbol=comma]{siunitx}
  73
  74 % Algorithmen
  75 %\usepackage{algpseudocode}
  76 %\usepackage{algorithm}
  77 %\usepackage{algorithmicx}
  78
  79 % Tabellen
  80 \usepackage{longtable,lscape}
  81 \usepackage{multirow}
  82 \usepackage{multicol}
  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}
  95 %\usepackage[automark]{scrpage2}
  96 %\renewcommand{\footnoterule}{}
  97 %\addtolength{\skip\footins}{\baselineskip}
  98 %\usepackage{fnpos}
  99
 100 % Listenerscheinung
 101 \setlength{\itemsep}{0ex}
 102 \setlength{\parsep}{0ex}
 103 \setlength{\parskip}{2mm}
 104
 105 % Biblatex
 106 \usepackage[style=alphabetic,maxnames=10,backref=true,block=space,backend=bibtex]{biblatex}
 107 \setlength{\bibitemsep}{1em}
 108 \bibliography{bibliography}
 109
 110 %% Appendix
 111 %\usepackage[title,titletoc]{appendix}
 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!
 117 \hypersetup{
 118         unicode,
 119         pdftitle={\mytitle{}},
 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 }
 140
 141
 142 \begin{document}
 143
 144 % Seitennumerierung bis zum Beginn der Einleitung auf kleine roemische Zahlen setzen
 145 \pagenumbering{roman}
 146
 147 % Title page
 148 \KOMAoption{fontsize}{\smallerfontsize{}}
 149 \title{\mytitle{}}
 150 \author{}
 151 \publishers{
 152         Logic and Intelligent Data, \\
 153         Department of Informatics, \\
 154         University of Oslo \\[5ex]}
 155 \date{}
 156 \maketitle
 157 \KOMAoption{fontsize}{\myfontsize{}}
 158
 159 %% Abstract
 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
 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
 181 % List of algorithms
 182 %\listofalgorithms
 183 %\addcontentsline{toc}{chapter}{List of algorithms}
 184
 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
 194 %\include{introduction}
 195
 196 %% Background
 197 %\include{background}
 198
 199 % The OBDA Specification Language (OSL)
 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}
 206
 207 %% The db2osl software
 208 %\include{program}
 209
 210 %% Implementation aspects of \name{db2osl}
 211 %\include{impl}
 212
 213 %% Summary
 214 %\include{summary}
 215
 216 %\backmatter  % Only for the book document classes
 217
 218 %% Appendix
 219 %\include{appendix}
 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
 230 \end{document}