Roel Wieringa, Wiebren de Jonge, Paul Spruit  Home/Search
Context Related
| cs.vu.nl/pub/roelw/93Roles.ps.Z cs.utwente.nl/pub/doc/M...93Roles.ps.Z Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: fermivista.math.ju...ftp.cs.vu.nl (more) From: mcm.unisg.ch/people/ly...rolepage Homepages: R.Wieringa |
Rate this article:      (best)Comment on this article |
Abstract: In this paper, we argue that object-oriented models must be able to represent three kinds of taxonomic structures: static subclasses, dynamic subclasses and role classes. If CAR is a static subclass of V EHICLE, then a vehicle that is not a car can never migrate to the CAR subclass. If EMP loyee is a dynamic subclass of PERSON , then a PERSON that is not an employee may migrate to EMP . In both cases, an instance of the subclass is identical to an instance of the superclass. Finally, if EMP is... (Update)
Context of citations to this paper: More
...female. Finally, the example also illustrates that our object model subsumes specialised role object models e.g. the ones presented in [WRS94] and [GSR94] The modelling techniques proposed in these approaches are more powerful within our framework, since they benefit from...
.... an object (as a collection of data) is critical, in particular when a system has persistence or distributed components (Wieringa, De Jonge Spruit, 1994). In databases, globally unique ids have been introduced into most commercial systems to address this issue. These...
Cited by: More
Supporting Ontological Analysis of Taxonomic Relationships - Welty, Guarino (2001) (Correct)
A Collaboration Specification Language - Li, Muntz (1999) (Correct)
A Formal Ontology of Properties - Guarino, Welty (2000) (Correct)
Similar documents (at the sentence level):
56.6%: Using Dynamic Classes and Role Classes to Model Object.. - Wieringa, de Jonge, Spruit (1995) (Correct)
Active bibliography (related documents): More All
0.9: The University Library Document Circulation System Specified.. - Wieringa, Feenstra (1993) (Correct)
0.8: The identification of objects and roles - Object.. - Wieringa, de Jonge (1991) (Correct)
0.5: Ontology of Tasks and Methods - Chandrasekaran, Josephson, Benjamins (1998) (Correct)
Similar documents based on text: More All
0.6: Object Identifiers, Keys, and Surrogates - Object.. - Wieringa, de Jonge (1995) (Correct)
0.2: Optimization Using Tuple Subsumption - Venky Harinarayan (1995) (Correct)
0.2: Extending Datalog with Declarative Updates - Liu (1998) (Correct)
Related documents from co-citation: More All
10: Extending Object-Oriented Systems with Roles - Gottlob, Schrefl et al. - 1996
9: An object data model with roles - Albano, Bergamini et al. - 1993
8: Existence assumptions in knowledge representation (context) - Hirst - 1991
BibTeX entry: (Update)
Wieringa R., d. Jonge W., Spruit P.: "Roles and Dynamic Subclasses: A Modal Logic Approach", Proceedings of the 8th European Conference on Object-Oriented Programming, ECOOP'94, Springer-Verlag, Bologna, Italy, July 1994 http://citeseer.ist.psu.edu/wieringa94roles.html More
@article{ wieringa94roles,
author = "Roel Wieringa and Wiebren de Jonge and Paul Spruit",
title = "Roles and Dynamic Subclasses: {A} Modal Logic Approach",
journal = "Lecture Notes in Computer Science",
volume = "821",
pages = "32--??",
year = "1994",
url = "citeseer.ist.psu.edu/wieringa94roles.html" }
Citations (may not include all citations):369 A semantics of multiple inheritance - Cardelli - 1984
362 Dynamic logic - Harel - 1984
271 Object-Oriented Analysis (context) - Coad, Yourdon - 1990
173 Order-sorted algebra I: Equational deduction for multiple in.. - Goguen, Meseguer - 1992
143 Logics of programs (context) - Kozen, Tiuryn - 1990
139 Using prototypical objects to implement shared behavior in o.. - Lieberman - 1986
134 Extending the database relational model to capture more mean.. (context) - Codd - 1979
120 Object identity (context) - Khoshafian, Copeland - 1986
84 Predicate classes - Chambers - 1993
78 Aspects: Extending objects to support multiple (context) - Richardson, Schwartz - 1991
76 An object data model with roles - Albano, Bergamini et al. - 1993
72 Extending object-oriented systems with roles - Gottlob, Schreffl et al. - 1993
66 Objects with roles (context) - Pernici - 1990
64 Object-oriented specification of information systems: The TR.. - Jungclaus, Saake et al. - 1991
52 object-oriented and relational programming with logical sema.. (context) - Goguen, Meseguer - 1987
52 Solving the inheritance anomaly in concurrent object-oriente.. (context) - Meseguer - 1993
48 and generic modules for logic programming (context) - Goguen, Meseguer et al. - 1986
45 Operational semantics of ordersorted algebra (context) - Goguen, Jouannaud et al. - 1985
43 Completeness of many-sorted equational logic (context) - Goguen, Meseguer - 1982
41 Models and equality for logical programming (context) - Goguen, Meseguer - 1987
40 Instituto Superior T'ecnico (context) - Costa, Sernadas et al. - 1989
38 The role concept in data models (context) - Bachman, Daya - 1977
38 Algebraische Spezifikation abstrakter Datenypen (context) - Ehrich, Gogolla et al. - 1989
33 Faculty of Mathematics and Computer Science (context) - Feenstra, Wieringa et al. - 1993
33 Faculty of Mathematics and Computer Science (context) - Wieringa, de Jonge et al. - 1991
33 Faculty of Mathematics and Computer Science (context) - Wieringa, in et al. - 1989
31 ACM Transactions on Information Systems (context) - Sciore - 1989
29 Dynamic constraints and object migration - Su - 1991
24 Relations and entities (context) - Hall, Owlett et al. - 1976
22 Sameness and Substance (context) - Wiggins - 1980
20 A formalization of objects using equational dynamic logic - Wieringa - 1991
19 declarative semantics and operational semantics of passive a.. (context) - Spruit, Wieringa et al. - 1992
16 Semantics of temporal data in an extended er model (context) - Elmasri, El-Assal et al. - 1991
15 Dynamic database logic: The first-order case (context) - Spruit, Wieringa et al. - 1993
14 A logical semantics for object-oriented databases - Meseguer, Qian - 1993
13 Order-sorted algebra solves the constructor-selector (context) - Meseguer, Goguen - 1993
10 Annals of Mathematics and Artificial Intelligence (context) - Wieringa, Ch et al. - 1993
9 Steps towards a method for the formal modeling of dynamic ob.. - Wieringa - 1991
9 A modal system of algebras for database specification and qu.. (context) - Golshani, Maibaum et al. - 1983
6 An Introduction to Logic (context) - Joseph - 1916
4 Identity and common nouns in intensional logic (context) - van Leeuwen, Zeevat - 1987
4 Introduction to Logic (context) - Rescher - 1964
3 A temporal query language based on conceptual entities and r.. (context) - Elmasri, Kouramajian - 1992
3 Sameness and individuation (context) - Gabbay, Moravcsik - 1973
3 Function symbols in dynamic database logic (context) - Spruit - 1993
2 Object identifiers (context) - Wieringa, de Jonge
1 Individuals and Sortal Concepts: An Essay in Logical Descrip.. (context) - van Leeuwen - 1991
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://fermivista.math.jussieu.fr/ftp/ftp.cs.vu.nl.html): More
Models for Asynchronous Message Handling - Langendoen, Bhoedjang, Bal (1997) (Correct)
Orca: a Portable User-Level Shared Object System - Bal, BHOEDJANG, HOFMAN.. (1996) (Correct)
Object Distribution in Orca using Compile-Time and Run-Time.. - Bal, Kaashoek (1993) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC