Specialization by Restriction and Schema Derivations

Information Systems

Volumn 23, Issue 1, 1998, Pages 1-38

  Analyti, Anastasia ^a   Constantopoulos, Panos ^a,b   Spyratos, Nicolas ^c  

^a INSTITUTE OF COMPUTER SCIENCE   (Greece)

^b UNIVERSITY OF CRETE   (Greece)

^c UNIVERSITÉ PARIS SACLAY   (France)

Author keywords

Conceptual Modelling; Inference Rules; Object Oriented Modelling; Property Inheritance; Schema Derivations; Semantics

Indexed keywords

COMPUTER SIMULATION; INFERENCE ENGINES; KNOWLEDGE REPRESENTATION; OBJECT ORIENTED PROGRAMMING;

CONCEPTUAL MODEL; SCHEMA DERIVATIONS;

COMPUTATIONAL LINGUISTICS;

EID: 0032021095     PISSN: 03064379     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0306-4379(98)00001-5     Document Type: Article

References (31)

1. R. Agrawal and N.H. Gehani. Ode (Object database and environment): The language and the data model. Proceedings of the ACM-SIGMOD Intern. Conference on the Management of Data, pp. 36-45 (1989).
2. F. Baader and B. Hollunder. KRIS: Knowledge representation and inference system. SIGART Bulletin, 2(3):8-14 (1991).
3. J. Banerjee, H. Chou, J.F. Garza, W. Kim, D. Woelk, N. Ballou and H. Kim. Data model issues for object-oriented applications. ACM Transactions on Office Information Systems, 5(1):3-26 (1987).
4. R.J. Brachman and J.G. Schmolze. An overview of the KL-ONE knowledge representation system. Cognitive Science, 9(2):171-216 (1985).
5. G.H.W.M. Bronts, S.J. Brouwer, C.L.J. Martens and H.A. Proper. A unifying object role modelling theory. Information Systems, 20(3):213-235 (1995).
6. M.J. Carey, D.J. DeWitt and S.L. Vandenberg. A data model and query language for EXODUS. Proceedings of the ACM SIGMOD Conference on Management of Data, pp. 413-423 (1988).
7. A. Cardelli and P. Wegner. On understanding types, data abstraction, and polymorphism. ACM Computing Surveys, 1(4):471-522 (1985).
8. Communications of the ACM. Special Issue on Next Generation Database Systems, 34(10) (1991).
9. P. Constantopoulos and M. Doerr. The semantic index system: A brief presentation. TR Institute of Computer Science Foundation for Research and Technology-Hellas, (http://www.ics.forth.gr/proj/isst/Systems/sis/) (1994).
10. P. Constantopoulos and M. Doerr. Component classification in the software information base. O. Nierstrasz and D. Tsichritzis, editors, Object-Oriented Software Composition, Prentice-Hall (1995).
11. P. Constantopoulos, M. Theodorakis and Y. Tzitzikas. Developing hypermedia over an information repository. Proceedings of the 2nd Workshop on Open Hypermedia Systems at Hypertext'96 (1996).
12. P. Constantopoulos and Y. Tzitzikas. Context-driven information base update. Proceedings of the 8th Intern. Conference on Advanced Information Systems Engineering (CAiSE'96), pp. 319-344 (1996).
13. 2. IEEE Transactions on Knowledge and Data Engineering, 2(1):91-108 (1990).
14. R. Fikes and T. Kehler. The role of frame-based representation in reasoning. Communications of the ACM, 28(9):904-920 (1985).
15. A. Heuer and P. Sander. The LIVING IN A LATTICE rule language. Data & Knowledge Engineering, 9:249-286 (1993).
16. A.H.M. ter Hofstede and Th.P. van der Weide. Expressiveness in conceptual data modelling. Data & Knowledge Engineering, 10:65-100 (1993).
17. R. Hull and R. King. Semantic database modelling. ACM Computing Surveys, 19(3):202-260 (1987).
18. M. Jarke, S. Eherer, R. Gallersdorfer, M.A. Jeusfeld and M. Staudt. ConceptBase - A deductive object base manager. Journal of Intelligent Information Systems, Special Issue on Advances in Deductive Object-Oriented Databases, 4(2):167-192 (1995).
19. M. Kifer, G. Lausen and J. Wu. Logical foundations of object-oriented and frame-based languages. Journal of the Association for Computing Machinery, 42(4):741-843 (1995).
20. W. Kim. Object-oriented databases: Definition and research directions. IEEE Transactions on Knowledge and Data Engineering, 2(3):327-341 (1990).
21. A. Kobsa. First experiences with the SB-ONE knowledge representation workbench in natural-language applications. SIGART Bulletin, 2(3):70-76 (1991).
22. R. Motschnig-Pitrik and J. Mylopoulos. Classes and instances. International Journal of Intelligent and Cooperative Information Systems, 1(1):61-92 (1992).
23. J. Mylopoulos, A. Borgida, M. Jarke and M. Koubarakis. Telos - a language for representing knowledge about information systems. ACM Transactions on Information Systems, 8(4):325-362 (1990).
24. P.F. Patel-Schneider, D.L. McGuinness, R.J. Brachman, L.A. Resnick and A. Borgida. The CLASSIC knowledge representation system: Guiding principles and implementation rationale. SIGART Bulletin, 2(3):108-113 (1991).
25. J. Peckham and F. Maryanski. Semantic data models. ACM Computing Surveys, 20(3):153-189 (1988).
26. L. Rowe and M. Stonebraker. The POSTGRES data model. Proceedings of the Intern. Conference on Very Large Data Bases (VLDB'97), pp. 83-96 (1987).
27. E. Sciore. An extended universal instance data model. Information Systems, 16(1):21-34 (1991).
28. M. Stonebraker and G. Kemnitz. The POSTGRES next-generation database management system. Communications of the ACM, 34(10):79-92, (1991).
29. T.J. Teorey, D. Yang and J.P. Fry. A Logical Design Methodology for relational databases using the extended entity-relationship Model. ACM Computing Surveys, 18(2):197-222 (1986).
30. L.A. Zadeh. Fuzzy sets as a basis for a theory of possibility. Fuzzy Sets and Systems, 1:3-28 (1978).
31. L.A. Zadeh. Knowledge representation in fuzzy logic. IEEE Transactions on Knowledge and Data Engineering, 1(1):89-99 (1989).