{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,9]],"date-time":"2026-05-09T03:33:13Z","timestamp":1778297593104,"version":"3.51.4"},"reference-count":83,"publisher":"Elsevier BV","issue":"3","license":[{"start":{"date-parts":[[1996,11,1]],"date-time":"1996-11-01T00:00:00Z","timestamp":846806400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Data &amp; Knowledge Engineering"],"published-print":{"date-parts":[[1996,11]]},"DOI":"10.1016\/s0169-023x(96)00013-4","type":"journal-article","created":{"date-parts":[[2003,4,5]],"date-time":"2003-04-05T00:18:15Z","timestamp":1049501895000},"page":"347-383","source":"Crossref","is-referenced-by-count":122,"title":["Part-whole relations in object-centered systems: An overview"],"prefix":"10.1016","volume":"20","author":[{"given":"Alessandro","family":"Artale","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Enrico","family":"Franconi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nicola","family":"Guarino","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Luca","family":"Pazzi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"issue":"4","key":"10.1016\/S0169-023X(96)00013-4_BIB1","doi-asserted-by":"crossref","first-page":"525","DOI":"10.1145\/32204.32205","article-title":"IFO: A formal semantic database model","volume":"12","author":"Abiteboul","year":"1987","journal-title":"ACM Transactions on Database Systems"},{"key":"10.1016\/S0169-023X(96)00013-4_BIB2","series-title":"Proc. 17th Inter. Conf. on Very Large Data Bases, VLDB-91","first-page":"565","article-title":"A relationship mechanism for a strongly typed object-oriented database programming language","author":"Albano","year":"1991"},{"key":"10.1016\/S0169-023X(96)00013-4_BIB3","series-title":"Workshop Notes of the ECAI-94 Workshop of Parts and Wholes","first-page":"93","article-title":"Modelling composition in a terminological language environment","author":"Artale","year":"1994"},{"issue":"2","key":"10.1016\/S0169-023X(96)00013-4_BIB4","doi-asserted-by":"crossref","first-page":"345","DOI":"10.1109\/69.494172","article-title":"Describing database objects in a concept language environment","volume":"8","author":"Artale","year":"1996","journal-title":"IEEE Trans. on Knowledge and Data Engineering"},{"key":"10.1016\/S0169-023X(96)00013-4_BIB5","series-title":"The Object-Oriented Database System Manifesto","author":"Atkinson","year":"1989"},{"key":"10.1016\/S0169-023X(96)00013-4_BIB6","series-title":"Proc. of the 12th IJCAI","first-page":"446","article-title":"Augmenting concept languages by transitive closure of roles: An alternative to terminological cycles","author":"Baader","year":"1991"},{"key":"10.1016\/S0169-023X(96)00013-4_BIB7","unstructured":"Jochen Bernauer, Analysis of part-whole relation and subsumption in the medical domain, Data & Knowledge Engineering, this special issue."},{"issue":"4","key":"10.1016\/S0169-023X(96)00013-4_BIB8","first-page":"15","article-title":"Una rappresentazione terminologica della relazione parte-tutto","volume":"5","author":"Boldrin","year":"1992","journal-title":"Bulletin of the Italian Association for Artificial Intelligence"},{"key":"10.1016\/S0169-023X(96)00013-4_BIB9","series-title":"Associative Networks: Representation and Use of Knowledge by Computers","first-page":"3","article-title":"On the epistomological status of semantic networks","author":"Brachman","year":"1979"},{"key":"10.1016\/S0169-023X(96)00013-4_BIB10","series-title":"Principles of Semantic Networks","article-title":"Living with CLASSIC: When and how to use a KL-ONE-like language","author":"Brachman","year":"1991"},{"key":"10.1016\/S0169-023X(96)00013-4_BIB11","series-title":"Entity-Relationship Approach to Information Modelling and Analysis","first-page":"583","article-title":"Association: A database abstraction","author":"Brodie","year":"1981"},{"key":"10.1016\/S0169-023X(96)00013-4_BIB12","series-title":"Proc. 13th IJCAI","first-page":"704","article-title":"Decidable reasoning in terminological knowledge representation systems","author":"Buchheit","year":"1993"},{"issue":"1","key":"10.1016\/S0169-023X(96)00013-4_BIB13","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1016\/0306-4379(94)90025-6","article-title":"Subsumption between queries to object-oriented databases","volume":"19","author":"Buchheit","year":"1994","journal-title":"Information Systems"},{"key":"10.1016\/S0169-023X(96)00013-4_BIB14","series-title":"Proc. 4th Inter. Conf.on Deductive and Object-Oriented Databases, DOOD'95","article-title":"Structured objects: Modelling and reasoning","author":"Calvanese","year":"1995"},{"key":"10.1016\/S0169-023X(96)00013-4_BIB15","series-title":"Proc. 4th Inter. Conf. on Principles of Knowledge Representation and Reasoning","article-title":"A unified framework for class-based representation formalisms","author":"Calvanese","year":"1994"},{"issue":"1","key":"10.1016\/S0169-023X(96)00013-4_BIB16","doi-asserted-by":"crossref","first-page":"9","DOI":"10.1145\/320434.320440","article-title":"The entity-relationship model: toward a unified view of data","volume":"1","author":"Chen","year":"1976","journal-title":"ACM Transactions On Database Systems"},{"issue":"6","key":"10.1016\/S0169-023X(96)00013-4_BIB17","doi-asserted-by":"crossref","DOI":"10.1145\/362384.362685","article-title":"A relational model for large shared data banks","volume":"13","author":"Codd","year":"1970","journal-title":"Communications of the ACM"},{"key":"10.1016\/S0169-023X(96)00013-4_BIB18","series-title":"Lexical Semantics","author":"Cruse","year":"1986"},{"key":"10.1016\/S0169-023X(96)00013-4_BIB19","series-title":"Proc. of AAAI-94","article-title":"Boosting the correspondence between description logics and propositional dynamic logics","author":"De Giacomo","year":"1994"},{"key":"10.1016\/S0169-023X(96)00013-4_BIB20","series-title":"Proc. 13th IJCAI","article-title":"What's in an aggregate: Foundations for description logics with tuples and sets","author":"De Giacomo","year":"1995"},{"issue":"4","key":"10.1016\/S0169-023X(96)00013-4_BIB21","article-title":"Some aspects of operations in an object-oriented database","volume":"8","author":"Derret","year":"1985","journal-title":"IEEE Database Engineering Bulletin"},{"key":"10.1016\/S0169-023X(96)00013-4_BIB22","series-title":"Proc. Inter. Workshop On Object-Oriented Database Systems","article-title":"Object-oriented database systems: The notion and the issues","author":"Dittrich","year":"1987"},{"key":"10.1016\/S0169-023X(96)00013-4_BIB23","doi-asserted-by":"crossref","first-page":"309","DOI":"10.1016\/0004-3702(92)90076-A","article-title":"The complexity of existential quantification in concept languages","volume":"53","author":"Donini","year":"1992","journal-title":"Artificial Intelligence"},{"issue":"4","key":"10.1016\/S0169-023X(96)00013-4_BIB24","doi-asserted-by":"crossref","first-page":"423","DOI":"10.1093\/logcom\/4.4.423","article-title":"Deduction in concept languages: from subsumption to instance checking","volume":"4","author":"Donini","year":"1994","journal-title":"J. of Logic and Computation"},{"key":"10.1016\/S0169-023X(96)00013-4_BIB25","doi-asserted-by":"crossref","first-page":"261","DOI":"10.1016\/0004-3702(91)90029-J","article-title":"Two theses of knowledge representation: language restrictions, taxonomic classification and the utility of representation services","volume":"48","author":"Doyle","year":"1991","journal-title":"Artificial Intelligence"},{"issue":"4","key":"10.1016\/S0169-023X(96)00013-4_BIB26","doi-asserted-by":"crossref","first-page":"453","DOI":"10.1007\/BF00974106","article-title":"A treatment of plurals and plural quantifications based on a theory of collections","volume":"3","author":"Franconi","year":"1993","journal-title":"Minds and Machines"},{"key":"10.1016\/S0169-023X(96)00013-4_BIB27","article-title":"Generalized Architecture for Language Encyclopedias and Nomenclatures in medicine","author":"GALEN","year":"1993","journal-title":"Project No: A2012 - The GRAIL Kernel: GALEN Representation and Integration Language, Version 1"},{"key":"10.1016\/S0169-023X(96)00013-4_BIB28","unstructured":"Peter Gerstl and Simone Pribbenow, A conceptual theory of part-whole relations and its applications, Data & Knowledge Engineering, this special issue."},{"key":"10.1016\/S0169-023X(96)00013-4_BIB29","doi-asserted-by":"crossref","first-page":"865","DOI":"10.1006\/ijhc.1995.1079","article-title":"Midwinters, end games and bodyparts. A classification of part-whole relations","volume":"43","author":"Gerstl","year":"1995","journal-title":"Int. J. of Human-Computer Studies"},{"key":"10.1016\/S0169-023X(96)00013-4_BIB30","series-title":"Smalltalk-80: The Language and its Implementation","author":"Goldberg","year":"1983"},{"key":"10.1016\/S0169-023X(96)00013-4_BIB31","doi-asserted-by":"crossref","first-page":"249","DOI":"10.1016\/0169-023X(92)90025-7","article-title":"Concepts attributes and arbitrary relations: Some linguistic and ontological criteria for structuring knowledge bases","volume":"8","author":"Guarino","year":"1992","journal-title":"Data & Knowledge Engineering"},{"key":"10.1016\/S0169-023X(96)00013-4_BIB32","series-title":"Philosophy and the Cognitive Sciences","first-page":"443","article-title":"The ontological level","author":"Guarino","year":"1994"},{"key":"10.1016\/S0169-023X(96)00013-4_BIB33","series-title":"Proc. 12th Symp. on Computer Applications in Medical Care","first-page":"101","article-title":"Representing medical knowledge in a terminological language is difficult","author":"Haimowitz","year":"1988"},{"issue":"3","key":"10.1016\/S0169-023X(96)00013-4_BIB34","doi-asserted-by":"crossref","first-page":"351","DOI":"10.1145\/319587.319588","article-title":"Database description with SDM: A semantic database model","volume":"6","author":"Hammer","year":"1981","journal-title":"ACM Trans. On Database Systems"},{"key":"10.1016\/S0169-023X(96)00013-4_BIB35","series-title":"Proc. 5th IJCAI","first-page":"99","article-title":"On semantic nets, frames and associations","author":"Hayes","year":"1977"},{"key":"10.1016\/S0169-023X(96)00013-4_BIB36","series-title":"Communicating Sequential Processes","author":"Hoare","year":"1985"},{"key":"10.1016\/S0169-023X(96)00013-4_BIB37","series-title":"Proc. 2nd Inter. Conf. on Principles of Knowledge Representation and Reasoning","first-page":"335","article-title":"Qualifying number restriction in concept languages","author":"Hollunder","year":"1991"},{"issue":"3","key":"10.1016\/S0169-023X(96)00013-4_BIB38","doi-asserted-by":"crossref","first-page":"201","DOI":"10.1145\/45072.45073","article-title":"Semantic database modelling: Survey, applications and research issues","volume":"19","author":"Hull","year":"1987","journal-title":"ACM Computing Surveys"},{"key":"10.1016\/S0169-023X(96)00013-4_BIB39","series-title":"Relational models of the lexicon","first-page":"261","article-title":"Problems of the part-whole relation","author":"Iris","year":"1988"},{"key":"10.1016\/S0169-023X(96)00013-4_BIB40","series-title":"Proc. 18th Inter. Conf on Very Large Data Bases, VLDB-92","article-title":"Integrity maintenance in an object-oriented database","author":"Jagadish","year":"1992"},{"key":"10.1016\/S0169-023X(96)00013-4_BIB41","series-title":"Proc. 13th Symp. on Computer Applications in Medical Care","first-page":"71","article-title":"KOLA: A knowledge organization language","author":"Jang","year":"1989"},{"key":"10.1016\/S0169-023X(96)00013-4_BIB42","series-title":"Proc. OOPSLA-87","first-page":"118","article-title":"Composite objects support in an object-oriented database system","author":"Kim","year":"1987"},{"key":"10.1016\/S0169-023X(96)00013-4_BIB43","series-title":"Proc. ACM SIGMOD Inter. Conf. on the Management of Data","first-page":"337","article-title":"Composite objects revisited","author":"Kim","year":"1989"},{"key":"10.1016\/S0169-023X(96)00013-4_BIB44","series-title":"Proc. 15th Inter. Conf. on Very Large Data Bases, VLDB-89","article-title":"A model of queries for object-oriented databases","author":"Kim","year":"1989"},{"key":"10.1016\/S0169-023X(96)00013-4_BIB45","series-title":"Introduction to object-oriented databases","author":"Kim","year":"1990"},{"key":"10.1016\/S0169-023X(96)00013-4_BIB46","series-title":"Object-Oriented Concepts, Databases and Applications","first-page":"251","article-title":"Features of the ORION object-oriented database system","author":"Kim","year":"1989"},{"key":"10.1016\/S0169-023X(96)00013-4_BIB47","series-title":"Object-Oriented Concepts, Databases and Applications","first-page":"537","article-title":"A proposal for a formal model of objects","author":"Kim","year":"1989"},{"key":"10.1016\/S0169-023X(96)00013-4_BIB48","series-title":"Object-Oriented Concepts, Databases and Applications","first-page":"23","article-title":"My cat is object-oriented","author":"King","year":"1989"},{"issue":"3","key":"10.1016\/S0169-023X(96)00013-4_BIB49","doi-asserted-by":"crossref","DOI":"10.1145\/155271.155274","article-title":"The logical data model","volume":"18","author":"Kuper","year":"1993","journal-title":"ACM Transactions on Database Systems"},{"key":"10.1016\/S0169-023X(96)00013-4_BIB50","series-title":"Proc. Inter. Workshop on Description Logics","first-page":"106","article-title":"Part-of reasoning in description logics: A document management application","author":"Lambrix","year":"1995"},{"issue":"4","key":"10.1016\/S0169-023X(96)00013-4_BIB51","first-page":"26","article-title":"Object database semantics","volume":"6","author":"Loomis","year":"1993","journal-title":"J. Object Oriented Programming"},{"key":"10.1016\/S0169-023X(96)00013-4_BIB52","series-title":"Semantic","author":"Lyons","year":"1977"},{"key":"10.1016\/S0169-023X(96)00013-4_BIB53","series-title":"Object-oriented Software Construction","author":"Meyer","year":"1988"},{"key":"10.1016\/S0169-023X(96)00013-4_BIB54","article-title":"A Calculus of Communicating Systems","volume":"Vol. 92","author":"Milner","year":"1979"},{"issue":"2","key":"10.1016\/S0169-023X(96)00013-4_BIB55","doi-asserted-by":"crossref","first-page":"147","DOI":"10.1016\/0169-023X(95)00014-J","article-title":"Modelling of set membership: The notion and the issues","volume":"16","author":"Motschnig-Pitrik","year":"1995","journal-title":"Data & Knowledge Engineering"},{"key":"10.1016\/S0169-023X(96)00013-4_BIB56","series-title":"Proc. 10th ECAI","article-title":"Subsumption and classification-based reasoning in object-based representations","author":"Napoli","year":"1992"},{"key":"10.1016\/S0169-023X(96)00013-4_BIB57","series-title":"Conceptual Schemer and Relational Database Design: A Fact Oriented Approach","author":"Nijssen","year":"1989"},{"key":"10.1016\/S0169-023X(96)00013-4_BIB58","series-title":"Proc. 4th Intern. Conf: on Principles of Knowledge Representation and Reasoning","first-page":"485","article-title":"A framework for part-of hierarchies in terminological logics","author":"Padgham","year":"1994"},{"key":"10.1016\/S0169-023X(96)00013-4_BIB59","series-title":"Workshop Notes of the ECAI-94 Workshop on Parts and Wholes","first-page":"57","article-title":"Dynamically-based complex objects: From process synchronization to entity aggregation","author":"Pazzi","year":"1994"},{"key":"10.1016\/S0169-023X(96)00013-4_BIB60","doi-asserted-by":"crossref","first-page":"8","DOI":"10.1007\/BF02341057","article-title":"Axioms for the part relation","volume":"6","author":"Rescher","year":"1955","journal-title":"Philosophical Studies"},{"key":"10.1016\/S0169-023X(96)00013-4_BIB61","series-title":"Eco-Logic: Logic-based approaches to ecological modelling","author":"Robertson","year":"1991"},{"key":"10.1016\/S0169-023X(96)00013-4_BIB62","series-title":"Proc. OOPSLA-87","first-page":"466","article-title":"Relations as semantic constructs in an object-oriented language","author":"Rumbaugh","year":"1987"},{"key":"10.1016\/S0169-023X(96)00013-4_BIB63","series-title":"Object-Oriented Modelling and Design","author":"Rumbaugh","year":"1990"},{"key":"10.1016\/S0169-023X(96)00013-4_BIB64","series-title":"Proc. Inter. Workshop on Description Logics","first-page":"119","article-title":"A concept language for an engineering application with part-whole relations","author":"Sattler","year":"1995"},{"key":"10.1016\/S0169-023X(96)00013-4_BIB65","series-title":"Proc. 12th IJCAI","first-page":"466","article-title":"A correspondence theory for terminological logics: Preliminary report","author":"Schild","year":"1991"},{"key":"10.1016\/S0169-023X(96)00013-4_BIB66","series-title":"Proc. 1st Inter. Conf. on Principles of Knowledge Representation and Reasoning","first-page":"421","article-title":"Subsumption in KL-ONE is undecidable","author":"Schmidt-Schau\u03b2","year":"1989"},{"issue":"1","key":"10.1016\/S0169-023X(96)00013-4_BIB67","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0004-3702(91)90078-X","article-title":"Attributive concept descriptions with complements","volume":"48","author":"Schmidt-Schau\u03b2","year":"1991","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S0169-023X(96)00013-4_BIB68","doi-asserted-by":"crossref","first-page":"48","DOI":"10.1111\/j.1467-8640.1991.tb00334.x","article-title":"The NIKL experience","volume":"6","author":"Schmolze","year":"1991","journal-title":"Computational Intelligence"},{"key":"10.1016\/S0169-023X(96)00013-4_BIB69","series-title":"Proc. 6th IJCAI","first-page":"778","article-title":"Problems with parts","author":"Schubert","year":"1979"},{"issue":"1","key":"10.1016\/S0169-023X(96)00013-4_BIB70","doi-asserted-by":"crossref","DOI":"10.1145\/319540.319561","article-title":"The functional data model and the data language DAPLEX","volume":"6","author":"Shipman","year":"1981","journal-title":"ACM Trans. On Database Systems"},{"key":"10.1016\/S0169-023X(96)00013-4_BIB71","series-title":"Parts: A Study in Ontology","author":"Simons","year":"1987"},{"key":"10.1016\/S0169-023X(96)00013-4_BIB72","unstructured":"Barry Smith, Mereotopology: A theory of parts and boundaries, Data & Knowledge Engineering, this special issue."},{"key":"10.1016\/S0169-023X(96)00013-4_BIB73","series-title":"Conceptual Structures: In Processing in Mind and Machine","author":"Sowa","year":"1984"},{"key":"10.1016\/S0169-023X(96)00013-4_BIB74","series-title":"Proc. Inter. Workshop on Description Logics","first-page":"45","article-title":"CLASSIC extended with physical whole-part relations","author":"Speel","year":"1994"},{"key":"10.1016\/S0169-023X(96)00013-4_BIB75","series-title":"Workshop Notes of the ECAI-94 Workshop on Parts and Wholes","first-page":"111","article-title":"A whole-part extension for description logics","author":"Speel","year":"1994"},{"key":"10.1016\/S0169-023X(96)00013-4_BIB76","doi-asserted-by":"crossref","DOI":"10.1016\/0020-0255(83)90015-4","article-title":"SAM\u2217: A semantic association model for corporate and scientific statistical database","volume":"29","author":"Su","year":"1983","journal-title":"Information Science"},{"key":"10.1016\/S0169-023X(96)00013-4_BIB77","unstructured":"Mike Uschold, The use of the typed lambda calculus to guide naive users in the representation and acquisition of part-whole knowledge, Data & Knowledge Engineering, this special issue."},{"key":"10.1016\/S0169-023X(96)00013-4_BIB78","unstructured":"Achille C. Varzi, Parts, wholes and part-whole relations: The prospects of mereotopology, Data & Knowledge Engineering, this special issue."},{"key":"10.1016\/S0169-023X(96)00013-4_BIB79","series-title":"Information System Methodologies","first-page":"537","article-title":"NIAM: An information analysis method","author":"Verheijen","year":"1982"},{"key":"10.1016\/S0169-023X(96)00013-4_BIB80","series-title":"UCBICSD Report 8713.51","article-title":"Some problems and proposals for knowledge representation","author":"Wilensky","year":"1987"},{"key":"10.1016\/S0169-023X(96)00013-4_BIB81","doi-asserted-by":"crossref","first-page":"417","DOI":"10.1207\/s15516709cog1104_2","article-title":"A taxonomy of part-whole relations","volume":"11","author":"Winston","year":"1987","journal-title":"Cognitive Science"},{"key":"10.1016\/S0169-023X(96)00013-4_BIB82","series-title":"Designing object-oriented software","author":"Wirfs-Brock","year":"1990"},{"issue":"2\u20135","key":"10.1016\/S0169-023X(96)00013-4_BIB83","doi-asserted-by":"crossref","first-page":"133","DOI":"10.1016\/0898-1221(92)90139-9","article-title":"The KL-ONE family","volume":"23","author":"Woods","year":"1992","journal-title":"Computer and Mathematics with Applications, special issue: Semantic Networks in Artificial Intelligence"}],"container-title":["Data &amp; Knowledge Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0169023X96000134?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0169023X96000134?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,4,30]],"date-time":"2019-04-30T23:59:23Z","timestamp":1556668763000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0169023X96000134"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996,11]]},"references-count":83,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1996,11]]}},"alternative-id":["S0169023X96000134"],"URL":"https:\/\/doi.org\/10.1016\/s0169-023x(96)00013-4","relation":{},"ISSN":["0169-023X"],"issn-type":[{"value":"0169-023X","type":"print"}],"subject":[],"published":{"date-parts":[[1996,11]]}}}