Toward a Category Theory Design of Ontological Knowledge Bases