Jürgen Angele Georg Lausen Ontologies in F-logic. 29-50 books/sp/StaabS04 2004 Handbook on Ontologies db/books/collections/StaabS2004.html#AngeleL04