First-order modal logic
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
What is This Thing Called Aggregation?
TOOLS '99 Proceedings of the Technology of Object-Oriented Languages and Systems
Business Systems Analysis with Ontologies
Business Systems Analysis with Ontologies
The association construct in conceptual modelling – an analysis using the bunge ontological model
CAiSE'05 Proceedings of the 17th international conference on Advanced Information Systems Engineering
Part-Whole relations in object-role models
OTM'06 Proceedings of the 2006 international conference on On the Move to Meaningful Internet Systems: AWeSOMe, CAMS, COMINF, IS, KSinBIT, MIOS-CIAO, MONET - Volume Part II
Ontological foundations for conceptual modelling
Applied Ontology - Ontological Foundations of Conceptual Modelling
On the Representation of Quantities and their Parts in Conceptual Modeling
Proceedings of the 2010 conference on Formal Ontology in Information Systems: Proceedings of the Sixth International Conference (FOIS 2010)
Meronymy-based aggregation of activities in business process models
ER'10 Proceedings of the 29th international conference on Conceptual modeling
Real-world semantics of conceptual models
The evolution of conceptual modeling
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
A semantic approach for business process model abstraction
CAiSE'11 Proceedings of the 23rd international conference on Advanced information systems engineering
From fine-grained to abstract process models: A semantic approach
Information Systems
An ontology for enterprise and information systems modelling
Applied Ontology
Ontological foundations for conceptual modelling
Applied Ontology - Ontological Foundations of Conceptual Modelling
An ontology for enterprise and information systems modelling
Applied Ontology
Modeling Approach for Integration and Evolution of Information System Conceptualizations
International Journal of Information System Modeling and Design
A Look Behind Conceptual Modeling Constructs in Information System Analysis and Design
International Journal of Information System Modeling and Design
| Hi-index | 0.00 |
In a series of publications, we have proposed a foundational system of ontological categories which has been used to evaluate and improve the quality of conceptual modeling languages and models. In this article, we continue this work by employing theories from Formal Ontology, Cognitive Psychology and Philosophical Logic to systematically investigate some important modal aspects of the ontological categories represented in structural conceptual models. In particular, we focus on Object Types and Part-Whole Relations, formally characterizing some modal properties that motivate the proposal of a number of distinctions within these categories. In addition, we show how two types of modality known in philosophical logic (de re/de dicto modality) can be used to address some subtle issues that appear in conceptual diagrams when different sorts of object types and part-whole relations are combined.