%0 Book Section %A Neuhaus, Fabian %A Grenon, Pierre %A Smith, Barry %B Formal Ontology in Information Systems. Proceedings of the Third International Conference %D 2004 %E Varzi, Achille %E Vieu, Laure %I IOS Press %T A Formal Theory of Substances, Qualities, and Universals