\import[ontology]{./math}
\begin{math}
	a^{2} &= b^{2} + c^{2}
\end{math}