{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T15:43:29Z","timestamp":1725551009839},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540664482"},{"type":"electronic","value":"9783540483090"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-48309-8_23","type":"book-chapter","created":{"date-parts":[[2010,3,29]],"date-time":"2010-03-29T21:14:41Z","timestamp":1269897281000},"page":"250-259","source":"Crossref","is-referenced-by-count":11,"title":["Formalising Ontologies and Their Relations"],"prefix":"10.1007","author":[{"given":"Trevor","family":"Bench-Capon","sequence":"first","affiliation":[]},{"given":"Grant","family":"Malcolm","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2002,6,18]]},"reference":[{"key":"23_CR1","unstructured":"Michael Barr and Charles Wells. Category Theory for Computing Science. Prentice Hall, 1990."},{"key":"23_CR2","unstructured":"Trevor Bench-Capon and Grant Malcolm. Relating ontologies. Draft available at http:\/\/www.csc.liv.ac.uk\/~grant\/ps\/ , 1999."},{"key":"23_CR3","first-page":"64","volume-title":"Proceedings of the 9th International Workshop on Database and Expert Systems","author":"T. Bench-Capon","year":"1998","unstructured":"Trevor Bench-Capon. The role of ontologies in the verification and validation of knowledge based systems. In R. Wagner, editor, Proceedings of the 9th International Workshop on Database and Expert Systems, pages 64\u201369. IEEE Press, Los Alamitos, 1998."},{"key":"23_CR4","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1016\/0304-3975(87)90123-X","volume":"50","author":"J. A. Bergstra","year":"1987","unstructured":"Jan A. Bergstra and John V. Tucker. Algebraic specifications of computable and semicomputable data types. Theoretical Computer Science, 50:137\u2013181, 1987.","journal-title":"Theoretical Computer Science"},{"key":"23_CR5","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"292","DOI":"10.1007\/3-540-10007-5_41","volume-title":"Proceedings, 1979 Copenhagen Winter School on Abstract Software Specification","author":"R. Burstall","year":"1980","unstructured":"Rod Burstall and Joseph A. Goguen. The semantics of Clear, a specification language. In Dines Bjorner, editor, Proceedings, 1979 Copenhagen Winter School on Abstract Software Specification, pages 292\u2013332. Springer, 1980. Lecture Notes in Computer Science, Volume 86."},{"key":"23_CR6","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511530098","volume-title":"The Logic of Typed Feature Structures","author":"R. L. Carpenter","year":"1992","unstructured":"Robert L. Carpenter. The Logic of Typed Feature Structures, volume 32 of Cambridge Tracts in Theoretical Computer Science. Cambridge, 1992."},{"key":"23_CR7","unstructured":"Corina C\u00eerstea. A semantical study of the object paradigm. Transfer thesis, Oxford University Computing Laboratory, 1996."},{"key":"23_CR8","doi-asserted-by":"crossref","unstructured":"R\u0103zvan Diaconescu and Kokichi Futatsugi. CafeOBJ Report, volume 6 of AMAST Series in Computing. World Scientific, 1998.","DOI":"10.1142\/3831"},{"key":"23_CR9","doi-asserted-by":"crossref","unstructured":"Hartmut Ehrig and Bernd Mahr. Fundamentals of Algebraic Specification 1: Equations and Initial Semantics. Springer, 1985.","DOI":"10.1007\/978-3-642-69962-7"},{"key":"23_CR10","doi-asserted-by":"crossref","unstructured":"Joseph A. Goguen and Rod Burstall. Institutions: Abstract model theory for specification and programming. Journal of the Association for Computing Machinery, 39(1):95\u2013146, 1992.","DOI":"10.1145\/147508.147524"},{"key":"23_CR11","doi-asserted-by":"crossref","unstructured":"Joseph A. Goguen and Grant Malcolm. Algebraic Semantics of Imperative Programs. MIT Press, 1996.","DOI":"10.7551\/mitpress\/1188.001.0001"},{"key":"23_CR12","doi-asserted-by":"crossref","unstructured":"Joseph A. Goguen and Grant Malcolm. A hidden agenda. Theoretical Computer Science, 1999. To appear.","DOI":"10.1016\/S0304-3975(99)00275-3"},{"key":"23_CR13","doi-asserted-by":"crossref","unstructured":"Joseph A. Goguen and Grant Malcolm. Hidden coinduction: behavioral correctness proofs for objects. Mathematical Structures in Computer Science, 1999. To appear.","DOI":"10.1017\/S0960129599002777"},{"issue":"2","key":"23_CR14","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1016\/0304-3975(92)90302-V","volume":"105","author":"J. A. Goguen","year":"1992","unstructured":"Joseph A. Goguen and Jos\u00e9 Meseguer. Order-sorted algebra I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations. Theoretical Computer Science, 105(2):217\u2013273, 1992.","journal-title":"Theoretical Computer Science"},{"key":"23_CR15","unstructured":"Joseph A. Goguen, James Thatcher, and Eric Wagner. An initial algebra approach to the specification, correctness and implementation of abstract data types. In Current Trends in Programming Methodology, IV, Raymond Yeh, editor, Prentice-Hall, 1978, pages 80\u2013149."},{"key":"23_CR16","unstructured":"Joseph A. Goguen, Timothy Winkler, Jos\u00e9 Meseguer, Kokichi Futatsugi, and Jean-Pierre Jouannaud. Introducing OBJ. In Joseph A. Goguen and Grant Malcolm, editors, Software Engineering with OBJ: Algebraic Specification in Practice. to appear. Also available as a technical report from SRI International."},{"key":"23_CR17","unstructured":"Thomas R. Gruber. Towards Principles for the Design of Ontologies Used for Knowledge Sharing. In N. Guarino and R. Poli, editors, Formal Ontology in Conceptual Analysis and Knowledge Representation. Kluwer Academic Publishers, 1993."},{"key":"23_CR18","series-title":"Lect Notes Comput Sci","volume-title":"AMAST\u2019 96","author":"A. E. Haxthausen","year":"1996","unstructured":"Anne E. Haxthausen and Friederike Nickl. Pushouts of order-sorted algebraic specifications. In AMAST\u2019 96. Springer-Verlag Lecture Notes in Computer Science 1101, 1996."},{"key":"23_CR19","first-page":"183","volume":"45","author":"G. Heijst van","year":"1997","unstructured":"Gertjan van Heijst, Guus Schreiber, and Bob J. Wielinga. Using explicit ontologies in KBS development. International Journal of Human Computer Interaction, 45:183\u2013192, 1997.","journal-title":"International Journal of Human Computer Interaction"},{"key":"23_CR20","doi-asserted-by":"crossref","unstructured":"Saunders Mac Lane. Categories for the Working Mathematician, volume 5 of Graduate Texts in Mathematics. Springer Verlag, 1971.","DOI":"10.1007\/978-1-4612-9839-7"},{"key":"23_CR21","unstructured":"Grant Malcolm. Interconnection of object specifications. In Stephen Goldsack and Stuart Kent, editors, Formal Methods and Object Technology. Springer Workshops in Computing, 1996."},{"key":"23_CR22","unstructured":"Karl Meinke and John V. Tucker. Universal algebra. In S. Abramsky, D. Gabbay, and T.S.E. Maibaum, editors, Handbook of Logic in Computer Science, volume 1, pages 189\u2013411. Oxford University Press, 1993."},{"key":"23_CR23","unstructured":"Mark A. Musen. Automated Generation of Model-Based Knowledge-Acquisition Tools. Research Notes in Artificial Intelligence. Pitman, 1989."},{"key":"23_CR24","doi-asserted-by":"publisher","first-page":"233","DOI":"10.1007\/BF02737104","volume":"25","author":"D. Sannella","year":"1988","unstructured":"Donald Sannella and Andrzej Tarlecki. Toward formal development of programs from algebraic specifications. Acta Informatica, 25:233\u2013281, 1988.","journal-title":"Acta Informatica"}],"container-title":["Lecture Notes in Computer Science","Database and Expert Systems Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-48309-8_23","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,31]],"date-time":"2023-05-31T10:05:38Z","timestamp":1685527538000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48309-8_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540664482","9783540483090"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/3-540-48309-8_23","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1999]]}}}