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 .

• Type: Conference
• Year: 2008
• Where: DLOG
• Authors: Alessandro Artale, C. Maria Keet
• Keywords: Automated Reasoning, Conceptual Model Erv, Conceptual Modelling, Description Logic Dlrus, DLOG 2008