many aspects of an \osl{} document for conformity with minimal effort.
\section{Specification}
-\label{oslspec}
+\label{osl_spec}
\newcounter{parcount}
\newcommand{\parnum}{\textsuperscript{\arabic{parcount}}}
\newcommand{\p}{\refstepcounter{parcount} \parnum \hspace{1em}}
\p An \osl{} document is a valid \name{OWL} 2 document (as described in \cite{owl})
-containing individuals and data that represent the OBDA Specification,
+containing individuals and data that represent the OBDA specification,
as well as \name{OWL} properties that connect them.
The individuals and \name{OWL} properties are recognized and mapped to their roles
by their IRIs.