\def\ELp{$\mathcal{EL}^+$}
\def\ELpp{$\mathcal{EL}^{++}$}
\def\nls{\par\null\par}
\def\tab{$\ \ \ \ $}
\def\subClass{A $\sqsubseteq$ B}
\def\disjointClasses{A $\sqcap$ B $\sqsubseteq \ \bot$}
\def\domain{$\exists$R.$\top \ \sqsubseteq$ B}
\def\scopedDomain{$\exists$R.A $\sqsubseteq$ B}
\def\range{$\top \ \sqsubseteq \ \forall$R.B}
\def\scopedRange{A $\sqsubseteq \ \forall$R.B}
\def\existential{A $\sqsubseteq \ \exists$R.B}
\def\inverseExistential{A $\sqsubseteq \ \exists$R$^-$.B}
\def\functional{$\top \ \sqsubseteq \ \leqslant$1R.$\top$}
\def\qualifiedFunctional{$\top \ \sqsubseteq \ \leqslant$1R.B}
\def\scopedFunctional{A $\sqsubseteq \ \leqslant$1R.$\top$}
\def\qualifiedScopedFunctional{A $\sqsubseteq \ \leqslant$1R.B}
\def\inverseFunctional{$\top \ \sqsubseteq \ \leqslant$1R$^-.\top$}
\def\inverseQualifiedFunctional{$\top \ \sqsubseteq \ \leqslant$1R$^-$.B}
\def\inverseScopedFunctional{A $\sqsubseteq \ \leqslant$1R$^-.\top$}
\def\inverseQualifiedScopedFunctional{A $\sqsubseteq \ \leqslant$1R$^-$.B}
\def\structuralTautology{A $\sqsubseteq \ \geqslant$0R.B}

\newcommand{\protege}{Prot\'eg\'e}
\newcommand{\fowl}{(f OWL)}

\def\ELp{$\mathcal{EL}^+$}
\def\ELpp{$\mathcal{EL}^{++}$}
\def\ALC{$\mathcal{ALC}$}
\def\ALCH{$\mathcal{ALCH}$}


\newcommand{\interp}[2]{#1^{\mathcal{#2}}}
\newcommand{\is}[0]{{\mathcal{I}^{*}}}
\newcommand{\inis}[0]{\ {\in_{\is}}}
\newcommand{\interpI}[1]{#1^{\mathcal{I}}}
\newcommand{\DeltaI}[0]{\interp{\Delta}{I}}
\newcommand{\sqsubfun}[0]{\sqsubseteq \!}
\newcommand{\compreal}[0]{\mathbb{R}_c}
\newcommand{\sx}[0]{$\mathcal{SX}\ $}
\newcommand{\mbi}[2]{$#1 \in_{m} #2$}
\newcommand{\mnbi}[2]{$#1 \not\in_{m} #2$}
\newcommand{\mbis}[1]{$#1_{m}$}
\newcommand{\mnbis}[1]{$#1_{\overline{m}}$}
\newcommand{\inmbis}[2]{#2 \in #1_{m}^\is}
\newcommand{\inmnbis}[2]{#2 \in #1_{\overline{m}}^\is}
\newcommand{\cmt}[2]{\hl{#1}\todo{#2}}

\theoremstyle{definition}
\newtheorem{definition}{Definition}
\newtheorem{proposition}{Proposition}{\bfseries}{\itshape}

\newcommand{\repeatcaption}[2]{%
  \renewcommand{\thefigure}{\ref{#1}}%
  \captionsetup{list=no}%
  \caption{#2 (repeated from page \pageref{#1})}%
  \addtocounter{figure}{-1}% So that next figure after the repeat gets the right number.
}