Using dynamic classes and role classes to model object migration
Theory and Practice of Object Systems - Special issue on the 1994 European Conference of Object Oriented Programming
Midwinters, end games, and body parts: a classification of part-whole relations
International Journal of Human-Computer Studies - Special issue: the role of formal ontology in the information technology
On the representation of roles in object-oriented and conceptual modelling
Data & Knowledge Engineering
Towards Ontological Foundations for UML Conceptual Models
On the Move to Meaningful Internet Systems, 2002 - DOA/CoopIS/ODBASE 2002 Confederated International Conferences DOA, CoopIS and ODBASE 2002
Representing and reasoning over a taxonomy of part-whole relations
Applied Ontology - Ontological Foundations of Conceptual Modelling
What's in a Relationship: An Ontological Analysis
ER '08 Proceedings of the 27th International Conference on Conceptual Modeling
Representing collectives and their members in UML conceptual models: an ontological analysis
ER'10 Proceedings of the 2010 international conference on Advances in conceptual modeling: applications and challenges
Ontological foundations for conceptual part-whole relations: the case of collectives and their parts
CAiSE'11 Proceedings of the 23rd international conference on Advanced information systems engineering
An ontological analysis of the notion of community in the RM-ODP enterprise language
Computer Standards & Interfaces
International Journal of Information System Modeling and Design
| Hi-index | 0.00 |
Parthood is a relation of fundamental importance in a number of disciplines including cognitive science, linguistics and conceptual modeling. However, one classical problem for conceptual modeling theories of parthood is deciding on the transitivity of these relations. This issue is of great importance since transitivity plays a fundamental role both conceptually (e.g., to afford inferences in problem-solving) and computationally (e.g., to afford propagations of properties and events in a transitive chain). In this article we address this problem by presenting a solution to the case of part-whole relations between functional complexes, which are the most common types of entities represented in conceptual models. This solution comes in two parts. Firstly, we present a formal theory founded on results from formal ontology and linguistics. Secondly, we use this theory to provide a number of visual patterns that can be used to isolate scopes of transitivity in part-whole relations represented in diagrams.