Concept Algebra and Applications in Computer Science: Bi-concept Algebras