{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:59:25Z","timestamp":1725487165676},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540429593"},{"type":"electronic","value":"9783540456544"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-45654-6_12","type":"book-chapter","created":{"date-parts":[[2007,7,16]],"date-time":"2007-07-16T16:21:19Z","timestamp":1184602879000},"page":"146-159","source":"Crossref","is-referenced-by-count":1,"title":["Evolutionary Information and Decision Support Systems: An Integration Based on Ontologies"],"prefix":"10.1007","author":[{"given":"Maria V.","family":"Hurtado","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jose","family":"Parets","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,2,8]]},"reference":[{"key":"12_CR1","unstructured":"Baader, F.(1990) A formal definition for expressive power of Knowledge Representation Languages. In Proceedings ECAI-90, Stockholm, Pp53\u201358."},{"key":"12_CR2","doi-asserted-by":"publisher","first-page":"8","DOI":"10.1145\/122296.122298","volume":"3","author":"F. Baader","year":"1991","unstructured":"Baader, F and Hollunder, B.(1991). KRIS: Knowledge Representation and Inference System. ACM SIGART Bulleting (3),Pp.8\u201314.","journal-title":"ACM SIGART Bulleting"},{"issue":"4","key":"12_CR3","doi-asserted-by":"publisher","first-page":"415","DOI":"10.1142\/S0218215794000211","volume":"3","author":"J.M. Blanco","year":"1994","unstructured":"Blanco, J.M., Go\u00f1i, A, Illarramendi, A. (1994), Building a federated database system: an approach using a knowledge based system. International Journal on Intelligent and cooperative Information Systems, 3(4). Pp.415\u2013455.","journal-title":"International Journal on Intelligent and cooperative Information Systems"},{"key":"12_CR4","doi-asserted-by":"crossref","unstructured":"Borgida, A., Brachman, R.J., McGuiness, D.L.,and Resnick (1989): CLASSIC: a structural data model for objects. Proceedings ACM SIGMOD International Conference on Management of Data, Pp.59\u201367.","DOI":"10.1145\/67544.66932"},{"key":"12_CR5","first-page":"171","volume":"3","author":"A. Borgida","year":"1992","unstructured":"Borgida, A and Devanbu, P (1992): Knowledge base management systems using description logics and their role in software information systems. Information Processing 92 (vol. 3) Pp.171\u2013181. Elsevier Science Publishers.","journal-title":"Information Processing 92"},{"key":"12_CR6","doi-asserted-by":"crossref","first-page":"401","DOI":"10.1016\/B978-1-4832-0771-1.50022-9","volume-title":"Principles of Semantic Networks","author":"Ronald J. Brachman","year":"1991","unstructured":"Brachman, R., McGuinness, D.L., Patel-Schneider, P.F., Resnick, L.A., and Borgida, A. (1990) When and How to use a KL-ONE like Language. Principles of Semantic Networks, Pp.401\u2013456. J. Sowa ed."},{"issue":"2","key":"12_CR7","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1016\/S0364-0213(85)80014-8","volume":"9","author":"R. Brachman","year":"1985","unstructured":"Brachman, R. and Schmolze, J.G.(1985) An overview of the KL-ONE knowledge representation system. Cognitive Science, 9(2). Pp171\u2013216.","journal-title":"Cognitive Science"},{"key":"12_CR8","unstructured":"De Giacomo, G and Lenzerini, M.(1994). Boosting the correspondence between description logics and prepositional dynamic logics. In Proceeding of AAAI-94, Pp.205\u2013212."},{"key":"12_CR9","doi-asserted-by":"crossref","unstructured":"Devanbu, P. and Jones, M.(1994). The use of description logics in KBSE systems. Proc.17\n                              \n                      th\n                    \n                              International on Conference on Software Engineering. Sorrento, Italy.","DOI":"10.1109\/ICSE.1994.296763"},{"key":"12_CR10","first-page":"29","volume-title":"The 1st International Conference on Web Information Systems Engineering, Workshop on WWW Semantics","author":"L. Garc\u00eda-Cabrera","year":"2000","unstructured":"Garc\u00eda-Cabrera, L., Parets-Llorca, J.(2000): A Cognitive Model for Adaptive Hypermedia Systems. The 1st International Conference on Web Information Systems Engineering, Workshop on WWW Semantics. IEEE Press. Hong-Kong, China, June (2000) 29\u201333."},{"key":"12_CR11","first-page":"5","volume-title":"5th European Conference on Software Maintenance and Reengineering, Workshop on FFSE","author":"L. Garc\u00eda-Cabrera","year":"2000","unstructured":"Garc\u00eda-Cabrera, L., Rodr\u00edguez-F\u00f3rtiz, M. Jos\u00e9, Parets-Llorca, J.(2000): Formal Foundations for the Evolution of Hypermedia Systems. 5th European Conference on Software Maintenance and Reengineering, Workshop on FFSE. IEEE Press. Lisbon, Portugal, March (2001) 5\u201312."},{"issue":"5\/6","key":"12_CR12","doi-asserted-by":"publisher","first-page":"907","DOI":"10.1006\/ijhc.1995.1081","volume":"43","author":"T. Gruber","year":"1995","unstructured":"Gruber, T. (1995). Toward Principles for the Design of Ontologies Used for Knowledge Sharing. International Journal of Human and Computer Studies, 43 (5\/6), pp 907\u2013928.","journal-title":"International Journal of Human and Computer Studies"},{"key":"12_CR13","first-page":"25","volume-title":"Towards Very Large Knowledge Bases: Knowledge Building and Knowledge Sharing","author":"N. Guarino","year":"1995","unstructured":"Guarino, N. and Giaretta, P. (1995) Ontologies and Knowledge Bases: Towards a Terminological Clarification. In N. Mards (Ed.) Towards Very Large Knowledge Bases: Knowledge Building and Knowledge Sharing 1995. IOS Press, Amsterdam. Pp.25\u201332."},{"key":"12_CR14","unstructured":"McGregor, R.M.(1988). A deductive Pattern Matcher. Proc. of AAAI-88."},{"key":"12_CR15","unstructured":"Mena, E., Kashyap, V., Sheth, A., Illaramendi, A. (1996) OBSERVER: An Approach for Query Processing in Global Information Systems based on Interoperation across Preexisting Ontologies. In Proc. Of the First IFCIS International Conference on Cooperative Information Systems (CoopIS.96) Brussels (Belgium), June. IEEE Computer Society Press."},{"key":"12_CR16","unstructured":"Nebel, B.(1990). Reasoning and revision in Hybrid Representation Systems. Lecture Notes in Artificial Intelligence. Springer-Verlag."},{"key":"12_CR17","doi-asserted-by":"crossref","first-page":"331","DOI":"10.1016\/B978-1-4832-0771-1.50018-7","volume-title":"Principles of Semantics Networks","author":"B. Nebel","year":"1991","unstructured":"Nebel, B.(1991).Terminological cycles: Semantics and computational properties. Principles of Semantics Networks, Pp331\u2013361. Morgan Kaufmann, Los Altos."},{"key":"12_CR18","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1007\/BFb0034760","volume-title":"Computer Aided Systems Theory-EUROCAST.95","author":"J. Parets","year":"1996","unstructured":"Parets, J., Torres J.C. (1996) A Language for Describing Complex-Evolutive Software System. In F. Pichler, R. Moreno Diaz (eds.): Computer Aided Systems Theory-EUROCAST.95. Lecture Notes in Computer Science 1030. Berlin: Springer-Verlag, Pp181\u2013199."},{"key":"12_CR19","doi-asserted-by":"crossref","unstructured":"Parets, J., Torres J.C. (1996) Software Maintenance versus Software Evolution: An approach to Software System Evolution. IEEE Conference and Workshop on Computer Based Systems. Friedrichafen. March, pp.134\u2013141.","DOI":"10.1109\/ECBS.1996.494521"},{"key":"12_CR20","unstructured":"Parets, J.; Anaya, A., Hurtado, M.V.; Paderwski, P.; Rodriguez, M.J.; Sanchez, G.; Torres, J (1999) A Software Development Tool for Evolutionary Prototyping of Information Systems. In Computer and Computational Engineering in Control. Electric and Computer Engineering. World Scientific and Engineering Society Press. pp.347\u2013352."},{"key":"12_CR21","unstructured":"Peltason, C., Schmiedel, A., Kindermann, C. and Quantz, J. (1989). The BACK system revisited. Dept. of Computer Science, Technical University of Berling, Technical Report KIT-75."},{"key":"12_CR22","first-page":"450","volume":"1798","author":"M.J. Rodriguez","year":"2000","unstructured":"Rodriguez, M.J.; Parets, J.; Paderewski, P.; Anaya, A.; Hurtado, M.V. (2000) HEDES: A System Theory based tool to support evolutionary Software Systems. Lectures Notes in Computer Science. Vol. 1798. Pp 450\u2013467.Ed. Springer-Verlag.","journal-title":"HEDES: A System Theory based tool to support evolutionary Software Systems"},{"issue":"2-5","key":"12_CR23","doi-asserted-by":"crossref","first-page":"133","DOI":"10.1016\/0898-1221(92)90139-9","volume":"23","author":"William A. Woods","year":"1992","unstructured":"Woods, W.A. and Schmolze, J.G.(1992): The KL-ONE family. Semantic Networks in Artificial Intelligence, Pp133\u2013178.Pergamon Press.","journal-title":"Computers & Mathematics with Applications"}],"container-title":["Lecture Notes in Computer Science","Computer Aided Systems Theory \u2014 EUROCAST 2001"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45654-6_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,10,12]],"date-time":"2018-10-12T08:23:29Z","timestamp":1539332609000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45654-6_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540429593","9783540456544"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/3-540-45654-6_12","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}