Develop the bundle closure algorithm utilities
melaasar opened this issue · comments
User Story
As a developer, I want to develop utility functions, so I can develop the bundle closure algorithms more easily.
Acceptance Criteria
- Have API for constructing arbitrary class expressions (empty, universal, singleton, union, intersection, complement, difference)
- Have API for graph operations that transform a arbitrary taxonomy of class expressions into a tree whose taxonomic relations are implied by the original taxonomy