Modular ontologies concepts, theories and techniques for knowledge modularization (Springer, 2009)