Evolutionary Information and Decision Support Systems: An Integration Based on Ontologies

In order to use information stored in different repositories, it is necessary to improve the automatization process of decision-making. As a result, it would be necessary to share data. One of the main motivations of our emphasis on Semantic Views building is the possibility of sharing and reusing knowledge between the Information System, the Decision Support System and other external repositories. In this paper, we will try to show that Ontologies can be used in practice as a Semantic View. We also discuss some of the limitations of the Ontology described using Description Logics in a complex domain and the limitations which we have discovered when the intrinsic evolutionary aspects of Information Systems and Decision Support Systems must be modeled. Another important problem is how a change in such systems may produce a propagation of changes which affect the levels of the system (data) and the metasystem (data structure). For this purpose, we propose a specialized ontology based on the Object-Oriented Approach. Subsequently, we have obtained some equivalent heterogeneous graphs and these can be used to represent change propagation in the IS, DSS and Semantic Views. Most of the problems mentioned will be exemplified by means of a concrete case: a DSS for risk operations in financial institutions, the class structure of which is outlined.

[1]  Nicola Guarino,et al.  Ontologies and Knowledge Bases. Towards a Terminological Clarification , 1995 .

[2]  Thomas R. Gruber,et al.  Toward principles for the design of ontologies used for knowledge sharing? , 1995, Int. J. Hum. Comput. Stud..

[3]  Peter F. Patel-Schneider,et al.  Living wiht Classic: When and How to Use a KL-ONE-Like Language , 1991, Principles of Semantic Networks.

[4]  Premkumar T. Devanbu,et al.  Knowledge Base Management Systems using Description Logics and Their Role in Software Information Systems , 1992, IFIP Congress.

[5]  Juan Carlos Torres,et al.  Software maintenance versus software evolution: an approach to software systems evolution , 1996, Proceedings IEEE Symposium and Workshop on Engineering of Computer-Based Systems.

[6]  Deborah L. McGuinness,et al.  CLASSIC: a structural data model for objects , 1989, SIGMOD '89.

[7]  James G. Schmolze,et al.  The KL-ONE family , 1992 .

[8]  Franz Baader,et al.  KRIS: Knowledge Representation and Inference System , 1991, SGAR.

[9]  Maurizio Lenzerini,et al.  Boosting the Correspondence between Description Logics and Propositional Dynamic Logics , 1994, AAAI.

[10]  J. Parets-Llorca,et al.  A Software Development Tool for Evolutionary Prototyping of Information Systems , .

[11]  Ronald J. Brachman,et al.  An Overview of the KL-ONE Knowledge Representation System , 1985, Cogn. Sci..

[12]  Juan Carlos Torres,et al.  A Language for Describing Complex-Evolutive Software Systems , 1995, EUROCAST.

[13]  Bernhard Nebel,et al.  Terminological Cycles: Semantics and Computational Properties , 1991, Principles of Semantic Networks.

[14]  Robert M. MacGregor,et al.  A Deductive Pattern Matcher , 1988, AAAI.

[15]  Lina García-Cabrera,et al.  A cognitive model for adaptive hypermedia systems , 2000, Proceedings of the First International Conference on Web Information Systems Engineering.

[16]  Franz Pichler,et al.  Computer Aided Systems Theory — EUROCAST '95 , 1995, Lecture Notes in Computer Science.

[17]  Premkumar Devanbu,et al.  The use of description logics in KBSE systems , 1994, Proceedings of 16th International Conference on Software Engineering.

[18]  Lina García-Cabrera,et al.  Formal Foundations for the Evolution of Hypermedia Systems , 2000 .

[19]  Patrick Brézillon,et al.  Lecture Notes in Artificial Intelligence , 1999 .

[20]  Nicolaas J. I. Mars,et al.  Towards very large knowledge bases, knowledge building and knowledge sharing 1995 , 1995 .

[21]  Patricia Paderewski,et al.  HEDES: A System Theory Based Tool to Support Evolutionary Software Systems , 1999, EUROCAST.

[22]  Premkumar T. Devanbu,et al.  The use of description logics in KBSE systems: experience report , 1994, ICSE '94.

[23]  Eduardo Mena Nieto Observer: an approach for query processing in global information systems based on interoperation across pre-existing ontologies , 1999 .

[24]  Arantza Illarramendi,et al.  Building a Federated Relational Database System: An Approach Using a Knowledge-Based System , 1994, Int. J. Cooperative Inf. Syst..

[25]  Franz Baader A Formal Definition for the Expressive Power of Knowledge Representation Languages , 1990, ECAI.

[26]  Albrecht Schmiedel,et al.  The BACK System Revisited , 1989 .

[27]  Bernhard Nebel,et al.  Reasoning and Revision in Hybrid Representation Systems , 1990, Lecture Notes in Computer Science.