Barry Smith Christopher A. Welty FOIS introduction: Ontology - towards a new synthesis. iii-ix 2001 FOIS http://doi.acm.org/10.1145/505168.505201 db/conf/fois/fois2001.html#SmithW01