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