{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T19:58:39Z","timestamp":1725566319289},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540236641"},{"type":"electronic","value":"9783540304708"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-30470-8_86","type":"book-chapter","created":{"date-parts":[[2010,9,23]],"date-time":"2010-09-23T21:42:15Z","timestamp":1285278135000},"page":"753-757","source":"Crossref","is-referenced-by-count":2,"title":["Literate Ontology Development"],"prefix":"10.1007","author":[{"given":"Achim","family":"Mahnke","sequence":"first","affiliation":[]},{"given":"Bernd","family":"Krieg-Br\u00fcckner","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"86_CR1","doi-asserted-by":"publisher","first-page":"153","DOI":"10.1016\/S0304-3975(01)00368-1","volume":"286","author":"E. Astesiano","year":"2002","unstructured":"Astesiano, E., Bidoit, M., Krieg-Br\u00fcckner, B., Kirchner, H., Mosses, P.D., Sannella, D., Tarlecki, A.: Casl \u2013 the common algebraic specification language. Theoretical Computer Science\u00a0286, 153\u2013196 (2002), http:\/\/www.cofi.info","journal-title":"Theoretical Computer Science"},{"key":"86_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"495","DOI":"10.1007\/3-540-45719-4_34","volume-title":"Algebraic Methodology and Software Technology","author":"S. Autexier","year":"2002","unstructured":"Autexier, S., Hutter, D., Mossakowski, T., Schairer, A.: The development graph manager MAYA (system description). In: Kirchner, H., Ringeissen, C. (eds.) AMAST 2002. LNCS, vol.\u00a02422, pp. 495\u2013502. Springer, Heidelberg (2002)"},{"unstructured":"Bechhofer, S., van Hermelen, F., Hendler, J., Horrocks, I., McGuinness, D.L., Patel-Schneider, P.F., Stein, L.A.: W3C: OWL Web Ontology Language \u2013 Reference. W3C Recommendation (February 2004), http:\/\/www.w3.org\/TR\/owl-ref\/","key":"86_CR3"},{"unstructured":"http:\/\/www.informatik.uni-bremen.de\/~davinci\/","key":"86_CR4"},{"key":"86_CR5","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"166","DOI":"10.1007\/3-540-45810-7_18","volume-title":"Knowledge Engineering and Knowledge Management. Ontologies and the Semantic Web","author":"A. Gangemi","year":"2002","unstructured":"Gangemi, A., Guarino, N., Masolo, C., Oltramari, A., Schneider, L.: Sweetening ontologies with DOLCE. In: G\u00f3mez-P\u00e9rez, A., Benjamins, V.R. (eds.) EKAW 2002. LNCS (LNAI), vol.\u00a02473, pp. 166\u2013181. Springer, Heidelberg (2002)"},{"issue":"2","key":"86_CR6","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1093\/comjnl\/27.2.97","volume":"27","author":"D.E. Knuth","year":"1984","unstructured":"Knuth, D.E.: Literate programming. The Computer Journal\u00a027(2), 97\u2013111 (1984)","journal-title":"The Computer Journal"},{"key":"86_CR7","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"390","DOI":"10.1007\/978-3-540-32255-9_22","volume-title":"Spatial Cognition IV, Reasoning, Action, Interaction","author":"B. Krieg-Br\u00fcckner","year":"2005","unstructured":"Krieg-Br\u00fcckner, B., Frese, U., L\u00fcttich, K., Mandel, C., Mossakowski, T., Ross, R.: Specification of an ontology for route graphs. In: Freksa, C., Knauff, M., Krieg-Br\u00fcckner, B., Nebel, B., Barkowsky, T. (eds.) Spatial Cognition IV. LNCS (LNAI), vol.\u00a03343, pp. 390\u2013412. Springer, Heidelberg (2005) (submitted)"},{"key":"86_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"82","DOI":"10.1007\/978-3-540-40020-2_4","volume-title":"Recent Trends in Algebraic Development Techniques","author":"B. Krieg-Br\u00fcckner","year":"2003","unstructured":"Krieg-Br\u00fcckner, B., Hutter, D., Lindow, A., L\u00fcth, C., Mahnke, A., Melis, E., Meier, P., Poetzsch-Heffter, A., Roggenbach, M., Russell, G., Smaus, J.-G., Wirsing, M.: Multimedia instruction in safe and secure systems. In: Wirsing, M., Pattinson, D., Hennicker, R. (eds.) WADT 2003. LNCS, vol.\u00a02755, pp. 82\u2013117. Springer, Heidelberg (2003)"},{"key":"86_CR9","series-title":"Lecture Notes in Informatics","volume-title":"Proc. DELFI 2004","author":"B. Krieg-Br\u00fcckner","year":"2004","unstructured":"Krieg-Br\u00fcckner, B., L\u00fcth, C., Mahnke, A., Russell, G.: Semantic interrelation of documents via an ontology. In: Engels, G., Seehusen, S. (eds.) Proc. DELFI 2004, Paderborn. Lecture Notes in Informatics, Springer, Heidelberg (2004) (to appear)"},{"key":"86_CR10","volume-title":"International Conference on Formal Ontology in Information Systems","author":"K. L\u00fcttich","year":"2004","unstructured":"L\u00fcttich, K., Mossakowski, T.: Specification of ontologies in CASL. In: International Conference on Formal Ontology in Information Systems, IOS Press, Amsterdam (2004) (to appear)"},{"doi-asserted-by":"crossref","unstructured":"L\u00fcttich, K., Mossakowski, T., Krieg-Br\u00fcckner, B.: Ontologies for the semantic web in CASL. In: 17th Int. Workshop on Algebraic Development Techniques (2004) (submitted for publication)","key":"86_CR11","DOI":"10.1007\/978-3-540-31959-7_7"},{"key":"86_CR12","series-title":"Lecture Notes in Computer Science","volume-title":"CASL Reference Manual","year":"2004","unstructured":"Mosses, P.D. (ed.): CASL Reference Manual. LNCS, vol.\u00a02960. Springer, Heidelberg (2004)"}],"container-title":["Lecture Notes in Computer Science","On the Move to Meaningful Internet Systems 2004: OTM 2004 Workshops"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-30470-8_86.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,19]],"date-time":"2020-11-19T04:53:31Z","timestamp":1605761611000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-30470-8_86"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540236641","9783540304708"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-30470-8_86","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}