Prasenjit Mitra Gio Wiederhold An Ontology-Composition Algebra. 93-116 books/sp/StaabS04 2004 Handbook on Ontologies db/books/collections/StaabS2004.html#MitraW04