specify that German DL Syntax is used for axioms

paper.tex

@@ -500,7 +500,7 @@ \subsection{Methodology}\label{sec:methodology}
 According to the GFO relator~\citep{Loebe2018} pattern, we defined the class \anno{RelativeAnatomicalLocation} including the two roles: target (\anno{locationOf}) and reference (\anno{relativeTo}) anatomical entity. % (chapter $\ldots$).
 
 Further axioms were introduced to precisely define certain categories.
-In addition to an explicit textual definition of the category \emph{Bone compound}, for example, we introduced the following axiom:
+In addition to an explicit textual definition of the category \emph{Bone compound}, for example, we introduced the following axiom (given in German DL Syntax):
 %
 %\anno{BoneCompound}: \aurl{rdfs}{subClassOf} (\aurl{gfo}{hasPart} some (\anno{Bone} or \anno{BoneCompound} or \anno{BonePart}))
 \begin{equation*}