TY - CHAP AU - Neuhaus, Fabian AU - Grenon, Pierre AU - Smith, Barry ED - Varzi, Achille ED - Vieu, Laure PB - IOS Press PY - 2004 T2 - Formal Ontology in Information Systems. Proceedings of the Third International Conference TI - A Formal Theory of Substances, Qualities, and Universals ER -