title: Convert "EngMath" (Ontology for Mathematics) from lisp to OWL
body: <p>In 1994, long before the specification of OWL, Thomas R. Gruber and Gregory R. Olsen published <a href="http://ksl-web.stanford.edu/knowledge-sharing/papers/engmath.html" rel="nofollow noreferrer">An Ontology for Engineering Mathematics</a>. Due to the lack of any ontology-specific language it was implemented in <em>lisp</em>. The lisp code is still available (see <a href="http://www-ksl.stanford.edu/knowledge-sharing/ontologies/html/abstract-algebra/abstract-algebra.lisp.html" rel="nofollow noreferrer">example</a>) but cannot be used (aka imported) by modern OWL ontologies.</p>
  <p>What is the easiest way to make this ontology available to today's (OWL-based) tool chains?</p>