{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T20:31:41Z","timestamp":1725568301960},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540672036"},{"type":"electronic","value":"9783540464648"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/978-3-540-46464-8_16","type":"book-chapter","created":{"date-parts":[[2010,10,20]],"date-time":"2010-10-20T09:43:10Z","timestamp":1287567790000},"page":"228-237","source":"Crossref","is-referenced-by-count":0,"title":["Knowledge Representation and Graph Transformation"],"prefix":"10.1007","author":[{"given":"Stefan","family":"Schuster","sequence":"first","affiliation":[]}],"member":"297","reference":[{"issue":"1","key":"16_CR1","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/S0167-6423(98)00023-9","volume":"34","author":"M. Andries","year":"1999","unstructured":"Andries, M., Engels, G., Habel, A., Hoffmann, B., Kreowski, H.-J., Kuske, S., Plump, D., Sch\u00fcrr, A., Taentzer, G.: Graph transformation for specification and programming. Science of Computer Programming\u00a034(1), 1\u201354 (1999)","journal-title":"Science of Computer Programming"},{"key":"16_CR2","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"13","DOI":"10.1007\/3-540-48317-9_2","volume-title":"Artificial Intelligence Today","author":"F. Baader","year":"1999","unstructured":"Baader, F.: Logic-based knowledge representation. In: Wooldridge, M.J., Veloso, M. (eds.) Artificial Intelligence Today. LNCS (LNAI), vol.\u00a01600, pp. 13\u201341. Springer, Heidelberg (1999)"},{"key":"16_CR3","doi-asserted-by":"crossref","unstructured":"Baader, F., B\u00fcrckert, H.-J., Hollunder, B., Nutt, W., Siekmann, J.: Concept logic. In: Proceedings of the Symposium on Computational Logic, Brussels (Belgien), pp. 177\u2013201 (1990)","DOI":"10.1007\/978-3-642-76274-1_10"},{"key":"16_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1007\/BFb0013522","volume-title":"Proceedings of the First International Workshop on Processing Declarative Knowledge","author":"F. Baader","year":"1991","unstructured":"Baader, F., Hollunder, B.: A terminological knowledge representation system with complete inference algorithms. In: Proceedings of the First International Workshop on Processing Declarative Knowledge, Kaiserslautern (Germany). LNCS, vol.\u00a0572, pp. 67\u201385. Springer, Heidelberg (1991)"},{"key":"16_CR5","doi-asserted-by":"crossref","first-page":"277","DOI":"10.1613\/jair.56","volume":"1","author":"A. Borgida","year":"1994","unstructured":"Borgida, A., Patel-Schneider, P.F.: A semantics and complete algorithm for subsumption in the classic description logic. JAIR\u00a01, 277\u2013308 (1994)","journal-title":"JAIR"},{"key":"16_CR6","doi-asserted-by":"publisher","first-page":"163","DOI":"10.1142\/9789812384720_0003","volume-title":"Handbook of Graph Grammars and Computing by Graph Transformation: Foundations","author":"A. Corradini","year":"1997","unstructured":"Corradini, A., Montanari, U., Rossi, F., Ehrig, H., Heckel, R., L\u00f6we, M.: Algebraic approaches to graph transformation - part I: Basic concepts and double pushout approach. In: Rozenberg, G. (ed.) Handbook of Graph Grammars and Computing by Graph Transformation: Foundations, ch. 3, vol.\u00a0I, pp. 163\u2013246. World Scientific, Singapore (1997)"},{"key":"16_CR7","unstructured":"Donini, F., Lenzerini, M., Nardi, D., Nutt, W.: The complexity of concept languages. In: Proceedings of the 1991 International Conference on Knowledge Representation (KR 1991), Boston, USA (1991)"},{"issue":"3-4","key":"16_CR8","doi-asserted-by":"crossref","first-page":"287","DOI":"10.3233\/FI-1996-263404","volume":"26","author":"A. Habel","year":"1996","unstructured":"Habel, A., Heckel, R., Taentzer, G.: Graph grammars with negative application conditions. Fundamenta Informaticae\u00a026(3-4), 287\u2013313 (1996)","journal-title":"Fundamenta Informaticae"},{"key":"16_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1007\/3-540-61228-9_81","volume-title":"Graph Grammars and Their Application to Computer Science","author":"H.-J. Kreowski","year":"1996","unstructured":"Kreowski, H.-J., Kuske, S.: On the interleaving semantics of transformation units\u2014A step into GRACE. In: Cuny, J., Engels, G., Ehrig, H., Rozenberg, G. (eds.) Graph Grammars 1994. LNCS, vol.\u00a01073, pp. 89\u2013106. Springer, Heidelberg (1996)"},{"volume-title":"Handbook of Graph Grammars and Computing by Graph Transformation: Foundations","year":"1997","key":"16_CR10","unstructured":"Rozenberg, G. (ed.): Handbook of Graph Grammars and Computing by Graph Transformation: Foundations, vol.\u00a0I. World Scientific, Singapur (1997)"},{"issue":"1","key":"16_CR11","first-page":"1","volume":"48","author":"M. Schmidt-Schau\u00df","year":"1991","unstructured":"Schmidt-Schau\u00df, M., Smolka, G.: Attributive concept descriptions with complements. AI\u00a048(1), 1\u201326 (1991)","journal-title":"AI"},{"key":"16_CR12","series-title":"Lecture Notes in Computer Science","first-page":"151","volume-title":"Graph-Theoretic Concepts in Computer Science","author":"A. Sch\u00fcrr","year":"1989","unstructured":"Sch\u00fcrr, A.: Introduction to progres, an attribute graph grammar based specification language. In: Nagl, M. (ed.) WG 1989. LNCS, vol.\u00a0411, pp. 151\u2013165. Springer, Heidelberg (1989)"},{"key":"16_CR13","volume-title":"Handbook on Graph Grammars: Applications","author":"A. Sch\u00fcrr","year":"1999","unstructured":"Sch\u00fcrr, A., Winter, A., Z\u00fcndorf, A.: Progres: Language and environment. In: Rozenberg, G. (ed.) Handbook on Graph Grammars: Applications, vol.\u00a0II, World Scientific, Singapore (1999)"},{"key":"16_CR14","unstructured":"Schuster, S.: Graphtransformation in der Wissensrepr\u00e4sentation. Master\u2019s thesis, University of Bremen (1997)"}],"container-title":["Lecture Notes in Computer Science","Theory and Application of Graph Transformations"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-46464-8_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,6,12]],"date-time":"2020-06-12T22:26:47Z","timestamp":1592000807000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-46464-8_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540672036","9783540464648"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-46464-8_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2000]]}}}