{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,10]],"date-time":"2024-09-10T12:30:44Z","timestamp":1725971444950},"publisher-location":"Cham","reference-count":19,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319754765"},{"type":"electronic","value":"9783319754772"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-319-75477-2_3","type":"book-chapter","created":{"date-parts":[[2018,3,20]],"date-time":"2018-03-20T04:53:16Z","timestamp":1521521596000},"page":"62-74","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Algebraic Specification for Interoperability Between Data Formats: Application on Arabic Lexical Data"],"prefix":"10.1007","author":[{"given":"Malek","family":"Lhioui","sequence":"first","affiliation":[]},{"given":"Kais","family":"Haddar","sequence":"additional","affiliation":[]},{"given":"Laurent","family":"Romary","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2018,3,21]]},"reference":[{"key":"3_CR1","unstructured":"Barr, M., Wells, C.: Category Theory for Computing Science. Prentice-Hall International Series in Computer Science, p. 432 (1990)"},{"key":"3_CR2","unstructured":"Bird, S., Liberman, M.: Annotation graphs as a framework for multidimensional linguistic data analysis. In: Proceedings of the Workshop Towards Standards and Tools for Discourse Tagging. Association for Computational Linguistics (1999)"},{"key":"3_CR3","unstructured":"Bou Dib, A.: Une approche formelle de l\u2019interop\u00e9rabilit\u00e9 pour une famille de langages d\u00e9di\u00e9s. Informatique. Universit\u00e9 Paul Sabatier - Toulouse III (2009)"},{"key":"3_CR4","volume-title":"Categories for Software Engineering","author":"JL Fiadero","year":"2005","unstructured":"Fiadeiro, J.L.: Categories for Software Engineering. Springer, Heidelberg (2005)"},{"key":"3_CR5","doi-asserted-by":"crossref","DOI":"10.1002\/9781118712696","volume-title":"Lexical Markup Framework","author":"G Francopoulo","year":"2013","unstructured":"Francopoulo, G.: Lexical Markup Framework. ISTE Ltd. and Wiley, Great Britain and the United States (2013)"},{"key":"3_CR6","doi-asserted-by":"crossref","unstructured":"Futatsugi, K., Goguen, J., Jounnaud, J.P., Mesguer, J.: Principles of OBJ2. In: Annual Symposium on Principles of Programming Languages, Proceedings of the 12th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages, New Orleans, Louisiana, United States, pp. 52\u201366 (1985)","DOI":"10.1145\/318593.318610"},{"key":"3_CR7","doi-asserted-by":"crossref","first-page":"21","DOI":"10.21248\/jlcl.27.2012.157","volume":"27","author":"K Haddar","year":"2012","unstructured":"Haddar, K., Fehri, H., Romary, L.: A prototype for projecting HPSG syntactic lexica towards LMF. JLCL 27, 21\u201346 (2012)","journal-title":"JLCL"},{"key":"3_CR8","unstructured":"Lhioui, M., Haddar, K., Romary, L.: A prototype for projecting LMF lexica towards OWL. In: CICLING (2015)"},{"key":"3_CR9","doi-asserted-by":"crossref","unstructured":"Loukil, N., Ktari, R., Haddar, K., Benhamadou, A.: A normalized syntactic lexicon for Arabic verbs and its evaluation within the LKB platform. In: ACSE, Egypt (2010)","DOI":"10.2316\/P.2010.689-051"},{"key":"3_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/3-540-55210-3_169","volume-title":"STACS 92","author":"M-C Gaudel","year":"1992","unstructured":"Gaudel, M.-C.: Structuring and modularizing algebraic specifications: the PLUSS specification language, evolutions and perspectives. In: Finkel, A., Jantzen, M. (eds.) STACS 1992. LNCS, vol. 577, pp. 1\u201318. Springer, Heidelberg (1992). https:\/\/doi.org\/10.1007\/3-540-55210-3_169"},{"key":"3_CR13","doi-asserted-by":"crossref","first-page":"250","DOI":"10.1007\/978-1-4612-2704-5","volume-title":"LARCH: Languages and Tools for Formal Specification","author":"JV Guttag","year":"1993","unstructured":"Guttag, J.V., Horming, J.J.: LARCH: Languages and Tools for Formal Specification, p. 250. Springer, New York (1993)"},{"key":"3_CR14","unstructured":"Ide, N., Romary, L.: Standards for language resources. In: Proceedings of the IRCS Workshop on Linguistic Database, pp. 141\u2013149 (2001)"},{"key":"3_CR15","unstructured":"Kestrel Development corporation and KestreL Technology LLC, Specware to Isabelle in Interface Manual, 2006\u20132009"},{"key":"3_CR16","doi-asserted-by":"publisher","unstructured":"Konstantas, D., Bourri\u00e8res, J.-P., L\u00e9onard, M., Boudjlida, N. (eds.): Interoperability of Enterprise Software and Applications. Proceedings of the I-ESA Conferences. Springer, London (2006). https:\/\/doi.org\/10.1007\/1-84628-152-0","DOI":"10.1007\/1-84628-152-0"},{"key":"3_CR17","series-title":"Graduate Texts in Mathematics","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4757-4721-8","volume-title":"Categories for the Working Mathematician","author":"S Mac Lane","year":"1978","unstructured":"Mac Lane, S.: Categories for the Working Mathematician. GTM, vol. 5. Springer, New York (1978). https:\/\/doi.org\/10.1007\/978-1-4757-4721-8"},{"key":"3_CR19","unstructured":"TAUS: Report on a TAUS research about translation interoperability (2011)"},{"key":"3_CR20","unstructured":"Wagner, A., Zeisler, B.: A syntactically annotated corpus of Tibetan. In: Proceedings of LREC, Lisboa, pp. 1141\u20131144 (2004)"},{"key":"3_CR21","unstructured":"W\u00f6rner, K., Witt, A., Rehm, G., Dipper, S. (eds.): Modelling Linguistic Data Structures, Extreme Markup Languages, Montr\u00e9al, Qu\u00e9bec (2006)"},{"key":"3_CR22","volume-title":"An OWL ontology for HPSG","author":"G Wilcock","year":"2007","unstructured":"Wilcock, G.: An OWL ontology for HPSG. ACL, Finland (2007)"}],"container-title":["Lecture Notes in Computer Science","Computational Linguistics and Intelligent Text Processing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-75477-2_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,9,1]],"date-time":"2023-09-01T14:00:09Z","timestamp":1693576809000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-75477-2_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319754765","9783319754772"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-75477-2_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2018]]}}}