Nicola Guarino Christopher A. Welty 151-172 books/sp/StaabS04 2004 Handbook on Ontologies db/books/collections/StaabS2004.html#GuarinoW04