Towards arrow-theoretic semantics of ontologies: conceptories - Osman Bineev (CoRR, 2010)