An Algebra of Lightweight Ontologies