The use of the typed lambda calculus for guiding naive users in the representation and acquisition of part-whole knowledge

A Metamodel for Part - Whole Relationships for Reasoning on Missing Parts and Reconstruction

ER '01 Proceedings of the 20th International Conference on Conceptual Modeling: Conceptual Modeling

The Enterprise Ontology

The Knowledge Engineering Review

Biomedical ontologies: what part-of is and isn't

Journal of Biomedical Informatics - Special issue: Biomedical ontologies

Part-whole representation and reasoning in formal biomedical ontologies

Artificial Intelligence in Medicine

A type-theoretical approach for ontologies: The case of roles

Applied Ontology