Deriving and retrieving contextual categorical information through instance inheritance

Fundamenta Informaticae

Volumn 44, Issue 4, 2000, Pages 321-351

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

^a INSTITUTE OF COMPUTER SCIENCE   (Greece)

^b UFR 919 Laboratoire d'Informatique Pour la Mécanique et les Sciences de l'Ingénieur   (France)

^c UNIVERSITY OF CRETE   (Greece)

Author keywords

Conceptual modeling; Context; Inference rules; Instance inheritance; Object oriented modeling; Type information

Indexed keywords

EID: 0040566586     PISSN: 01692968     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (29)

1. S. Abiteboul, G. Lausen, H. Uphoff, E. Waller, Methods and Rules, Proc. of the ACM SIGMOD Conference on the Management of Data, 32-41 (1993).
2. A. Analyti, N. Spyratos, P. Constantopoulos, On the Semantics of a Semantic Network, Fundamenta Informaticae, 36, 109-144 (1998).
3. A. Analyti, P. Constantopoulos, N. Spyratos, Restriction by Specialization and Schema Derivations, Information Systems, 23(1), 1-38 (1998).
4. F. Baader, B. Hollunder, KRIS: Knowledge Representation and Inference System, SIGART Bulletin, 2(3), 8-14 (1991).
5. R.J. Brachman, V.P. Gilbert, H.J. Levesque, An essential hybrid reasoning system: Knowledge and symbol level accounts of KRYPTON, Proceedings of the 9th Intern. Joint Conference on Artificial Intelligence, 532-539 (1985).
6. S. Brass, U.W. Lipeck, Semantics of Inheritance in Logical Object Specifications, C. Delobel, M. Kifer, Y. Masunaga (eds.), Proc. of the 2nd Intern. Conference on Deductive and Object-Oriented Databases, 1991, 411-430 (1991).
7. R.J. Brachman, J.G. Schmolze, An Overview of the KL-ONE Knowledge Representation System, Cognitive Science, 9(2), 171-216 (1985).
8. Communications of the ACM, Special Issue on Next Generation Database Systems, 34(10), (1991).
9. P. Constantopoulos, M. Doerr, The Semantic Index System: A brief presentation, TR Institute of Computer Science Foundation for Research and Technology-Hellas, (1994). Available from http://www.ics.forth.gr/proj/isst/Systems/SIS/index.html
10. P. Constantopoulos, M. Doerr, Component Classification in the Software Information Base, O. Nierstrasz and D. Tsichritzis (eds.), Object-Oriented Software Composition, Prentice-Hall (1995).
11. P. Constantopoulos, M. Theodorakis, Y. Tzitzikas, Developing Hypermedia Over an Information Repository, Proc. of the 2nd Workshop on Open Hypermedia Systems at Hypertext'96, (1996).
12. P. Constantopoulos, Y. Tzitzikas, Context-Driven Information Base Update, Proc. of the 8th Intern. Conference on Advanced Information Systems Engineering (CAiSE'96), 319-344 (1996).
13. G. Dobbie, R. W. Topor: A Model for Sets and Multiple Inheritance in Deductive Object-Oriented Systems, Third International Conference on Deductive and Object-Oriented Databases (DOOD'93), 473-488 (1993).
14. D. Gabbay, E. Laenens, D. Vermeir, Credulous vs. Sceptical Semantics for Ordered Logic Programs, J. Allen, R. Fikes, E. Sandewall (eds.), Proc. of the 2nd Intern. Conference on Knowledge Representation and Reasoning (KR'91), Morgan Kaufmann, 208-217 (1991).
15. M. Hammer, D. McLeod, Database Description with SDM: A Semantic Database Model, ACM Transactions on Database Systems (TODS), 6(3), 351-386 (1981)
16. R. Hull. R. King, Semantic Database Modelling, ACM Computing Surveys, 19(3), 202-260 (1987).
17. M. Kifer, G. Lausen, J. Wu, Logical Foundations of Object-Oriented and Frame-Based Languages, Journal of the Association for Computing Machinery, 42(4), 741-843 (1995).
18. M. Jarke, S. Eherer, R. Gallersdorfer, M. A. Jeusfeld, 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. W. Kim, Object-Oriented Databases:Definition and Research Directions, IEEE Transactions on Knowledge and Data Engineering, 2(3), 327-341 (1990).
20. F.G. McCabe, Logic and Objects, Prentice Hall (1992).
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, J. Mylopoulos, Classes and Instances, International Journal of Intelligent and Cooperative Information Systems, 1(1), 61-92 (1992).
23. A.H. Ngu, L. Wong, S. Widjojo, On Canonical and Non-canonical Classifications, Second International Conference on Deductive and Object-Oriented Databases (DOOD'91), 371-390 (1991).
24. P.F. Patel-Schneider, D.L. McGuinness, R.J. Brachman, L.A. Resnick, A. Borgida, The CLASSIC Knowledge Representation System: Guiding Principles and Implementation Rationale, SIGART Bulletin, 2(3), 108-113 (1991).
25. J. Peckham, F. Maryanski, Semantic Data Models, ACM Computing Surveys, 20(3), 153-189, (1988).
26. M. Tsukamoto, S. Nishio, Inheritance Reasoning by Regular Sets in Knowledge-bases with Dot Notation, Proc. of the Fourth Intern. Conference on Deductive and Object-Oriented Databases, 246-264 (1995).
27. M. Tsukamoto, S. Nishio, M. Fujio, DOT: A Term Representation using DOT Algebra for Knowledge-bases, Proc. of the Second Intern. Conference on Deductive and Object-Oriented Databases, 391-410 (1991).
28. H. Yasukawa, H. Tsuda, K. Yokota, Objects, Properties, and Modules in QUIXOTE. Proceedings of the International Conference on Fifth Generation Computer Systems (FGCS'92), 257-268 (1992).
29. K. Yokota, H. Tsuda, Y. Morita, Specific Features of a Deductive Object-Oriented Database Language QUIXOTE, Proc. of the Workshop on Combining Declarative and Object-Oriented Databases, 89-99 (1993).