Algebraic ontology

I have created an ontology that contains all the most common structured collections used in mathematics including sets, lists, relations, binary relations, partial orders, lattices, distributive lattices, functions, ternary relations, monoids, groups, semirings, rings, fields, residuated lattices, bilattices, etc.

I intend to actively work on improving this ontology so that I can provide a formalization of the most important elements of algebra for my reasoning engine.