1. Guarino, N.: Formal ontology and information systems. In: Guarino, N. (ed.) Formal Ontology and Information Systems (FOIS 1998), pp. 3–15. IOS Press, Amsterdam (1998)
2. Bittner, T., Donnelly, M., Smith, B.: Individuals, universals, collections: On the foundational relations of ontology. In: Varzi, A., Vieu, L. (eds.) Proceedings of the third International Conference on Formal Ontology in Information Systems, FOIS 2004, pp. 37–48. IOS Press, Amsterdam (2004)
3. Rector, R.: Modularization of domain ontologies implemented in description logics and related formalisms including OWL. In: Proceedings of the international conference on Knowledge capture, pp. 121–128 (2003)
4. Gangemi, A., Guarino, N., Masolo, C., Oltramari, A., Schneider, L.: Sweetening ontologies with DOLCE. AI Magazine 23(3), 13–24 (2003)
5. Copi, I.: Symbolic Logic. Prentice Hall, Upper Saddle River, NJ (1979)