Essential and Mandatory Part-Whole Relations in Conceptual Data Models

A recurring problem in conceptual modelling and ontology development is the representation of part-whole relations, with a requirement to be able to distinguish between essential and mandatory parts. To solve this problem, we formally characterize the semantics of these shareability notions by resorting to the temporal conceptual model ERV T and its formalization in the description logic DLRUS .

[1]  Diego Calvanese,et al.  Dwq : Esprit Long Term Research Project, No 22469 on the Decidability of Query Containment under Constraints on the Decidability of Query Containment under Constraints , 2022 .

[2]  Carsten Lutz,et al.  Temporalising Tractable Description Logics , 2007, 14th International Symposium on Temporal Representation and Reasoning (TIME'07).

[3]  Stefano Spaccapietra,et al.  Modeling time from a conceptual perspective , 1998, CIKM '98.

[4]  C. Maria Keet,et al.  Representing and reasoning over a taxonomy of part-whole relations , 2008, Appl. Ontology.

[5]  Gunter Saake,et al.  Logics for Emerging Applications of Databases , 2003, Springer Berlin Heidelberg.

[6]  C. Maria Keet.  Prospects for and Issues with Mapping the Object-Role Modeling language into DLRifd , 2007, Description Logics.

[7]  S. Shelah,et al.  Annals of Pure and Applied Logic , 1991 .

[8]  A. Rector,et al.  Relations in biomedical ontologies , 2005, Genome Biology.

[9]  Stefano Spaccapietra,et al.  Evolving objects in temporal information systems , 2007, Annals of Mathematics and Artificial Intelligence.

[10]  Ulrike Sattler,et al.  A Concept Language for an engineering application with part--whole relations , 1995 .

[11]  David Toman,et al.  Logics for Databases and Information Systems , 1998 .

[12]  Jan Chomicki,et al.  Temporal Logic in Information Systems , 1998, Logics for Databases and Information Systems.

[13]  Giancarlo Guizzardi,et al.  Ontological foundations for structural conceptual models , 2005 .

[14]  A. Artale,et al.  Description Logics for Modelling Dynamic Information , 2002 .

[15]  Renate Motschnig,et al.  Part-Whole Relationship Categories and Their Application in Object-Oriented Analysis , 1999, IEEE Trans. Knowl. Data Eng..

[16]  Arie Segev,et al.  Extended Update Functionality in Temporal Databases , 1997, Temporal Databases, Dagstuhl.

[17]  Frank Wolter,et al.  Decidable fragment of first-order temporal logics , 2000, Ann. Pure Appl. Log..

[18]  Diego Calvanese,et al.  Expressive Description Logics , 2003, Description Logic Handbook.

[19]  Maureen Donnelly,et al.  A Temporal Mereology for Distinguishing between Integral Objects and Portions of Stuff , 2007, AAAI.

[20]  Maureen Donnelly,et al.  Computational ontologies of parthood, componenthood, and containment , 2005, IJCAI.

[21]  Diego Calvanese,et al.  Reasoning on UML class diagrams , 2005, Artif. Intell..

[22]  Brian Henderson-Sellers,et al.  Formalization of the Whole-Part Relationship in the Unified Modeling Language , 2003, IEEE Trans. Software Eng..

[23]  Diego Calvanese,et al.  Unifying Class-Based Representation Formalisms , 2011, J. Artif. Intell. Res..

[24]  Nicola Guarino,et al.  Dwq : Esprit Long Term Research Project, No 22469 Part-whole Relations in Object-centered Systems: an Overview Part-whole Relations in Object-centered Systems: an Overview , 2022 .