Part-whole relations in object-centered systems: An overview

Data and Knowledge Engineering

Volumn 20, Issue 3, 1996, Pages 347-383

  Artale, Alessandro ^a   Franconi, Enrico ^a   Guarino, Nicola ^b   Pazzi, Luca ^c  

^a ITC IRST   (Italy)

^b Istituto di Ingeneria Biomedica del CNR   (Italy)

^c UNIVERSITY OF MODENA AND REGGIO EMILIA   (Italy)

Author keywords

Conceptual modelling; Description logics; Knowledge representation; Object oriented systems; Ontology; Parts

Indexed keywords

CLASSIFICATION (OF INFORMATION); DATABASE SYSTEMS; INFORMATION THEORY; KNOWLEDGE REPRESENTATION; SIMULATION;

CONCEPTUAL MODELING; DESCRIPTION LOGIC; OBJECT ORIENTED SYSTEMS; ONTOLOGY;

KNOWLEDGE BASED SYSTEMS;

EID: 0030290793     PISSN: 0169023X     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0169-023X(96)00013-4     Document Type: Article

References (83)

1. S. Abiteboul and R. Hull, IFO: A formal semantic database model, ACM Transactions On Database Systems 12(4) (1987) 525-565.
2. A. Albano, G. Ghelli and R. Orsini, A relationship mechanism for a strongly typed object-oriented database programming language, in Proc. 17th Inter. Conf. on Very Large Data Bases, VLDB-91, Barcelona (September 1991) 565-575
3. Alessandro Artale, Francesca Cesarini, Elisabetta Grazzini, Fabio Pippolini and Giovanni Soda, Modelling composition in a terminological language environment, in N. Guarino, S. Pribbenow and L. Vieu (eds.), Workshop Notes of the ECAI-94 Workshop of Parts and Wholes, Amsterdam (August 1994) 93-101.
4. Alessandro Artale, Francesca Cesarini and Giovanni Soda, Describing database objects in a concept language environment, in IEEE Trans, on Knowledge and Data Engineering 8(2) (April 1996) 345-351.
5. M. Atkinson, "The Object-Oriented Database System Manifesto". Altair (1989).
6. Franz Baader, Augmenting concept languages by transitive closure of roles: An alternative to terminological cycles, in Proc. of the 12th IJCAI, Sydney, Australia (1991) 446-451.
7. Jochen Bernauer, Analysis of part-whole relation and subsumption in the medical domain, Data & Knowledge Engineering, this special issue.
8. Luca Boldrin, Una rappresentazione terminologica della relazione parte-tutto, AI*IA notizie, Bulletin of the Italian Association for Artificial Intelligence 5(4) (December 1992) 15-32, in Italian.
9. Ronald J. Brachman, On the epistemological status of semantic networks, in N.V. Findler (ed.), Associative Networks: Representation and Use of Knowledge by Computers (Academic Press, London, 1979) 3-50.
10. Ronald J. Brachman, Deborah L. McGuiness, Peter F. Patel-Schneider, Lori Alperin Resnick and Alexander Borgida, Living with CLASSIC: When and how to use a KL-ONE-like language, in J. Sowa (ed.), Principles of Semantic Networks (Morgan Kaufmann, 1991).
11. M.L. Brodie, Association: A database abstraction, in P.P. Chen (ed.), Entity-Relationship Approach to Information Modelling and Analysis (North-Holland, 1981) 583-608.
12. Martin Buchheit, Francesco M. Donini and Andrea Schaerf, Decidable reasoning in terminological knowledge representation systems, in Proc. 13th IJCAI, Chambery, France (August 1993) 704-709.
13. Martin Buchheit, Manfred A. Jeusfeld, Werner Nutt and Martin Staudt, Subsumption between queries to object-oriented databases, Information Systems 19(1) (1994) 33-54.
14. Diego Calvanese, Giuseppe De Giacomo and Maurizio Lenzerini, Structured objects: Modelling and reasoning, in Proc. 4th Inter. Conf. on Deductive and Object-Oriented Databases, DOOD'95, Singapore (December 1995).
15. Diego Calvanese, Maurizio Lenzerini and Daniele Nardi, A unified framework for class-based representation formalisms, in Proc. 4th Inter. Conf. on Principles of Knowledge Representation and Reasoning, Bonn, Germany (May 1994).
16. P.P. Chen, The entity-relationship model: toward a unified view of data, ACM Transactions On Database Systems 1(1) (1976) 9-36.
17. E.F. Codd, A relational model for large shared data banks, Communications of the ACM 13(6) (1970).
18. D.A. Cruse, Lexical Semantics (Cambridge University Press, Cambridge, 1986).
19. Giuseppe De Giacomo and Maurizio Lenzerini, Boosting the correspondence between description logics and propositional dynamic logics, in Proc. of AAAI-94, Seattle, WA (1994).
20. Giuseppe De Giacomo and Maurizio Lenzerini, What's in an aggregate: Foundations for description logics with tuples and sets, in Proc. 13th IJCAI, Montreal, Canada (1995).
21. N. Derret, W. Kent and P. Lyngbaek, Some aspects of operations in an object-oriented database, IEEE Database Engineering Bulletin 8(4) (1985).
22. K.R. Dittrich, Object-oriented database systems: The notion and the issues, in Proc. Inter. Workshop On Object-Oriented Database Systems, Los Alamitos, CA (1987).
23. F.M. Donini, B. Hollunder, M. Lenzerini, A. Marchetti Spaccamela, D. Nardi and W. Nutt, The complexity of existential quantification in concept languages, Artificial Intelligence 53 (1992) 309-327.
24. F.M. Donini, M. Lenzerini, D. Nardi and A. Schaerf, Deduction in concept languages: from subsumption to instance checking, J. of Logic and Computation 4(4) (1994) 423-452.
25. J. Doyle and R.S. Patil, Two theses of knowledge representation: language restrictions, taxonomic classification and the utility of representation services, Artificial Intelligence 48 (1991) 261-297.
26. Enrico Franconi, A treatment of plurals and plural quantifications based on a theory of collections, Minds and Machines 3(4) (November 1993) 453-474.
27. GALEN, Generalized Architecture for Language Encyclopedias and Nomenclatures in medicine (1993), Project No: A2012 - The GRAIL Kernel: GALEN Representation and Integration Language, Version 1.
28. Peter Gerstl and Simone Pribbenow, A conceptual theory of part-whole relations and its applications, Data & Knowledge Engineering, this special issue.
29. Peter Gerstl and Simone Pribbenow, Midwinters, end games and bodyparts. A classification of part-whole relations, Int. J. of Human-Computer Studies 43 (1995) 865-889.
30. A. Goldberg and D. Robson, Smalltalk-80: The Language and its Implementation (Addison-Wesley, Reading, MA, 1983).
31. Nicola Guarino, Concepts attributes and arbitrary relations: Some linguistic and ontological criteria for structuring knowledge bases, Data & Knowledge Engineering 8 (1992) 249-261.
32. Nicola Guarino, The ontological level, in R. Casati, B. Smith and G. White (eds.), Philosophy and the Cognitive Sciences (Hölder-Pichler-Tempsky, 1994) 443-456.
33. Ira J. Haimowitz, Ramesh S. Patil and Peter Szolovits, Representing medical knowledge in a terminological language is difficult, in R.A. Greenes (ed.), Proc. 12th Symp. on Computer Applications in Medical Care, Washington DC (1988) (IEEE Computer Society Press) 101-105.
34. M. Hammer and D. McLeod, Database description with SDM: A semantic database model, ACM Trans. On Database Systems 6(3) (1981) 351-386.
35. Philip Hayes, On semantic nets, frames and associations, in Proc. 5th IJCAI, Cambridge, MA (1977) 99-107.
36. C.A.R. Hoare, Communicating Sequential Processes (Prentice-Hall, 1985).
37. B. Hollunder and F. Baader, Qualifying number restriction in concept languages, in Proc. 2nd Inter. Conf. on Principles of Knowledge Representation and Reasoning, Cambridge, MA (1991) 335-346.
38. R. Hull and R. King, Semantic database modelling: Survey, applications and research issues, ACM Computing Surveys 19(3) (1987) 201-260.
39. M. Iris, B. Lutowitz and M. Evens, Problems of the part-whole relation, in M. Evens (ed.), Relational models of the lexicon (Cambridge University Press, Cambridge, 1988) 261-288.
40. H.V. Jagadish and X. Qian, Integrity maintenance in an object-oriented database, in Proc. 18th Inter. Conf. on Very Large Data Bases, VLDB-92, Vancouver, British Columbia, Canada (1992).
41. Yeona Jang and Ramesh S. Patil, KOLA: A knowledge organization language, in Proc. 13th Symp. on Computer Applications in Medical Care (IEEE Computer Society Press, 1989) 71-75.
42. W. Kim, J. Banerjee, H.T. Chou, Jorge F. Garza and Darrel Woelk, Composite objects support in an object-oriented database system, in Proc. OOPSLA-87, Orlando, FL (October 1987) (ACM Press) 118-125.
43. W. Kim, Elisa Bertino and Jorge F. Garza, Composite objects revisited, in Proc. ACM SIGMOD Inter. Conf. on the Management of Data, Portland, OR (June 1989) (ACM Press) 337-347.
44. Won Kim, A model of queries for object-oriented databases, in Proc. 15th Inter. Conf. on Very Large Data Bases, VLDB-89, Amsterdam (1989).
45. Won Kim, Introduction to object-oriented databases (MIT Press, Cambridge, 1990).
46. Won Kim, Nat Ballou, Hong-Tai Chou, Jorge F. Garza and Darrel Woelk, Features of the ORION object-oriented database system, in Won Kim and Frederick H. Lochovsky (eds.), Object-Oriented Concepts, Databases and Applications (Addison Wesley, Reading, MA, 1989) 251-282.
47. Won Kim, Nat Ballou, Hong-Tai Chou, Jorge F. Garza and Darrel Woelk, A proposal for a formal model of objects, in Won Kim and Frederick H. Lochovsky (eds.), Object-Oriented Concepts, Databases and Applications (Addison Wesley, Reading, MA, 1989) 537-559.
48. Roger King, My cat is object-oriented, in Won Kim and Frederick H. Lochovsky (eds.), Object-Oriented Concepts, Databases and Applications (Addison Wesley, Reading, MA, 1989) 23-30.
49. G. Kuper and M. Vardi, The logical data model, ACM Transactions on Database Systems 18(3) (1993).
50. Patrick Lambrix and Lin Padgham, Part-of reasoning in description logics: A document management application, in A. Bargida, M. Lenzerini, D. Nardi and B. Nebel (eds.), Proc. Inter. Workshop on Description Logics, Rome, Italy (June 1995) (University of Rome, 'La Sapienza') 106-108.
51. M.E.S. Loomis, Object database semantics, J. Object Oriented Programming 6(4) (1993) 26-33.
52. J. Lyons, Semantic (Cambridge University Press, Cambridge, 1977).
53. B. Meyer, Object-oriented Software Construction (Prentice Hall International Series in Computer Science, Prentice Hall, New York, NY, 1988).
54. R. Milner, A Calculus of Communicating Systems, Lecture Notes in Computer Science (Springer-Verlag, 1979) Vol. 92.
55. Renate Motschnig-Pitrik and Veda C. Storey, Modelling of set membership: The notion and the issues, Data & Knowledge Engineering 16(2) (1995) 147-185.
56. Amedeo Napoli, Subsumption and classification-based reasoning in object-based representations, in Proc. 10th ECAI, Vienna, Austria (1992).
57. G. Nijssen and T.A. Halpin, Conceptual Schema and Relational Database Design: A Fact Oriented Approach (Prentice Hall, Australia, 1989).
58. Lin Padgham and Patrick Lambrix, A framework for part-of hierarchies in terminological logics, in Proc. 4th Intern. Conf. on Principles of Knowledge Representation and Reasoning, Bonn, Germany (May 1994) 485-496.
59. Luca Pazzi, Dynamically-based complex objects: From process synchronization to entity aggregation, in N. Guarino, S. Pribbenow and L. Vieu (eds.), Workshop Notes of the ECAI-94 Workshop on Parts and Wholes, Amsterdam (August 1994) 57-67.
60. N. Rescher, Axioms for the part relation, Philosophical Studies 6 (1955) 8-11.
61. D. Robertson, A. Bundy, R. Muetzelfeldt, M. Uschold and M. Haggith, Eco-Logic: Logic-based approaches to ecological modelling (MIT Press, 1991).
62. J. Rumbaugh, Relations as semantic constructs in an object-oriented language, in Proc. OOPSLA-87, Orlando, FL (October 1987) (ACM Press) 466-481.
63. J. Rumbaugh, M. Blaha, W. Premerlani, F. Eddy and W. Lorensen, Object-Oriented Modelling and Design (Prentice-Hall, Englewood Cliffs, NJ, 1990).
64. Ulrike Sattler, A concept language for an engineering application with part-whole relations, in A. Borgida, M. Lenzerini, D. Nardi and B. Nebel (eds.), Proc. Inter. Workshop on Description Logics, Rome, Italy (June 1995) (University of Rome, 'La Sapienza') 119-123.
65. Klaus D. Schild, A correspondence theory for terminological logics: Preliminary report, in Proc. 12th IJCAI, Sydney, Australia (1991) 466-471.
66. M. Schmidt-Schauß, Subsumption in KL-ONE is undecidable, in R.J. Brachman, H.J. Levesque and R. Reiter (eds.), Proc. 1st Inter. Conf. on Principles of Knowledge Representation and Reasoning, Toronto, Ontario, Canada (1989) (Morgan Kaufmann) 421-431.
67. M. Schmidt-Schauß and G. Smolka, Attributive concept descriptions with complements, Artificial Intelligence 48 (1) (1991) 1-26.
68. J.G. Schmolze and W.S. Mark, The NIKL experience, Computational Intelligence 6 (1991) 48-69.
69. Lenhart Schubert, Problems with parts, in Proc. 6th IJCAI, Tokyo (1979) 778-784.
70. D. Shipman, The functional data model and the data language DAPLEX, ACM Trans. On Database Systems 6(1) (1981).
71. Peter Simons, Parts: A Study in Ontology (Clarendon Press, Oxford, 1987).
72. Barry Smith, Mereotopology: A theory of parts and boundaries, Data & Knowledge Engineering, this special issue.
73. J.F. Sowa, Conceptual Structures: Information Processing in Mind and Machine (Addison-Wesley, 1984).
74. Piet-Hein Speel and Peter F. Patel-Schneider, CLASSIC extended with physical whole-part relations, in Proc. Inter. Workshop on Description Logics, DFKI, Saarbrücken, Bonn, Germany (May 1994) 45-50.
75. Piet-Hein Speel and Peter F. Patel-Schneider, A whole-part extension for description logics, in N. Guarino, S. Pribbenow and L. Vieu (eds.), Workshop Notes of the ECAI-94 Workshop on Parts and Wholes, Amsterdam (August 1994) 111-121.
76. S. Su, SAM*: A semantic association model for corporate and scientific statistical database, Information Science 29 (1983).
77. 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.
78. Achille C. Varzi, Parts, wholes and part-whole relations: The prospects of mereotopology, Data & Knowledge Engineering, this special issue.
79. G. Verheijen and J. Van Bekkum, NIAM: An information analysis method, in Information System Methodologies (North Holland, Amsterdam, NL, 1982) 537-589.
80. Robert Wilensky, Some problems and proposals for knowledge representation, UCB/CSD Report 87/351 (University of California, Berkeley, CA, May 1987).
81. Morton E. Winston, Roger Chaffin and Douglas Herrmann, A taxonomy of part-whole relations, Cognitive Science 11 (1987) 417-444.
82. R. Wirfs-Brock, B. Wilkerson and L. Wiener, Designing object-oriented software (Prentice-Hall, 1990).
83. William A. Woods and James G. Schmolze, The KL-ONE family, Computer and Mathematics with Applications, special issue: Semantic Networks in Artificial Intelligence 23(2-5) (March-May 1992) 133-177.