Major change
[u/philim/db2osl_thesis.git] / OSL-Specification.tex
index 3d5654a..0b3bb4b 100644 (file)
@@ -4,13 +4,30 @@
 %\documentclass[a4paper,headsepline,bibtotoc]{scrreprt}
 
 % Constants
-\newcommand{\mytitle}{OBDA Specification Language (OSL)\\Specification}
+\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{\oslbase}{\url{http://w3studi.informatik.uni-stuttgart.de/~martispp/ont\#}}
-\newcommand{\oslheader}{\url{http://w3studi.informatik.uni-stuttgart.de/~martispp/ont/db2osl.owl}}
-\newcommand{\spacebeforetable}{2em}
+\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}
@@ -39,6 +56,8 @@
 % Bilder
 \usepackage[rflt]{floatflt}
 \usepackage{epsfig,wrapfig}
+\usepackage{subcaption}
+\usepackage{float}
 
 % Mathematische Symbole
 \usepackage{amsmath,amssymb}
 \setlength{\parskip}{2mm}
 
 % Biblatex
-\usepackage[style=alphabetic,maxnames=10,backref=true]{biblatex}
+\usepackage[style=alphabetic,maxnames=10,backref=true,backend=bibtex]{biblatex}
 \bibliography{bibliography}
 
 % Hyperref
 \usepackage[]{hyperref}
 \hypersetup{
        unicode,
-       pdftitle={\mytitle},
+       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},
 }
 \usepackage{caption}  % Always link to the top of a figure or table
 
+
 \begin{document}
 
 % Seitennumerierung bis zum Beginn der Einleitung auf kleine roemische Zahlen setzen
 \pagenumbering{roman}
 
-% new commands
-%\newcommand{\file}[1]{{\sffamily\slshape #1}}
-\newcommand{\file}[1]{\mdseries\textsl{\textsf{#1}}}
-\newcommand{\sbr}[1]{\texttt{#1}}
-\newcommand{\var}[1]{\mdseries\textsl{\texttt{#1}}}
-\newcommand{\cmd}[1]{\uppercase{\texttt{#1}}}
-
 % Title page
-\KOMAoption{fontsize}{\smallerfontsize}
-\title{\mytitle}
+\KOMAoption{fontsize}{\smallerfontsize{}}
+\title{\mytitle{}}
 
 \author{}
 
 
 \date{}
 \maketitle
-\KOMAoption{fontsize}{\myfontsize}
+\KOMAoption{fontsize}{\myfontsize{}}
 
 %% Abstract
-%\clearpage
 %\include{abstract}
 %\addcontentsline{toc}{chapter}{Abstract}
 %\include{kurzfassung}
 %\addcontentsline{toc}{chapter}{Contents}
 
 %% Nomenclature
-%\clearpage
 %\addcontentsline{toc}{chapter}{Nomenclature}
 %\include{nomenclature}
 
 \pagenumbering{arabic}
 
 %% Introduction
-%\clearpage
 %\include{introduction}
 
 %% Background
-%\clearpage
 %\include{background}
 
-% The OSL language
-\clearpage
+% The OBDA Specification Language (OSL)
 \include{osl}
 
+%% The db2osl software
+%\include{program}
 
 %% Summary
-%\clearpage
 %\include{summary}
 
 %% Appendix
-%\clearpage
 %\include{appendix}
 %\addcontentsline{toc}{chapter}{Appendix}
 
 \printbibliography
 \addcontentsline{toc}{chapter}{Bibliography}
 
-
 \end{document}