{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,6]],"date-time":"2026-10-06T11:57:00Z","timestamp":1791287820637,"version":"4.3.0"},"publisher-location":"Cham","reference-count":25,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319258393","type":"print"},{"value":"9783319258409","type":"electronic"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"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":[[2015]]},"DOI":"10.1007\/978-3-319-25840-9_23","type":"book-chapter","created":{"date-parts":[[2015,10,27]],"date-time":"2015-10-27T16:51:09Z","timestamp":1445964669000},"page":"364-387","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Improving General Knowledge Sharing via an Ontology of Knowledge Representation Language Ontologies"],"prefix":"10.1007","author":[{"given":"J\u00e9remy","family":"B\u00e9nard","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Philippe","family":"Martin","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2015,10,28]]},"reference":[{"issue":"2","key":"23_CR1","doi-asserted-by":"publisher","first-page":"141","DOI":"10.1016\/S1045-926X(05)80013-8","volume":"1","author":"E Golin","year":"1990","unstructured":"Golin, E., Reiss, S.: The specification of visual language syntax. J. Vis. Lang. Comput. 1(2), 141\u2013157 (1990)","journal-title":"J. Vis. Lang. Comput."},{"key":"23_CR2","doi-asserted-by":"crossref","unstructured":"Borras, P., Cl\u00e9ment, D., Despeyrouz, T., Incerpi, J., Kahn, G., Lang, B., Pascual, V.: CENTAUR: the system. In: SIGSOFT 1988, 3rd Annual Symposium on Software Development Environments (SDE3), Boston, USA, pp. 14\u201324 (1988)","DOI":"10.1145\/64135.65005"},{"key":"23_CR3","unstructured":"Attali, I., Parigot, D.: Integrating Natural Semantics and Attribute Grammars: the Minotaur System. INRIA Research Report no. 2339 (1994)"},{"key":"23_CR4","unstructured":"Corby, O., Dieng, R.: Cokace: a centaur-based environment for CommonKADS conceptual modeling language. In: ECAI 1996, Budapest, Hungary, pp. 418\u2013422 (1996)"},{"key":"23_CR5","doi-asserted-by":"crossref","unstructured":"Sandberg, D.: Lithe: a language combining a flexible syntax and classes. In: ACM Sigplan-Sigact Symposium on Principles of Programming Languages, POPL 1982, pp. 142\u2013145 (1982)","DOI":"10.1145\/582153.582169"},{"key":"23_CR6","unstructured":"Botting, R.: How Far Can EBNF Stretch? \n                    http:\/\/cse.csusb.edu\/dick\/papers\/rjb99g.xbnf.html"},{"key":"23_CR7","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1016\/j.entcs.2012.06.004","volume":"285","author":"A Lapets","year":"2012","unstructured":"Lapets, A., Kfoury, A.: A user-friendly interface for a lightweight verification system. Electron. Notes Theoret. Comput. Sci. 285, 29\u201341 (2012)","journal-title":"Electron. Notes Theoret. Comput. Sci."},{"key":"23_CR8","unstructured":"ODM: Ontology Definition Metamodel, Version 1.1. OMG document formal\/2014-09-02 (2014). \n                    http:\/\/www.omg.org\/spec\/ODM\/1.1\/PDF\/"},{"key":"23_CR9","doi-asserted-by":"crossref","unstructured":"Feja, S., Witt, S, Speck, A.: BAM: a requirements validation and verification framework for business process models. In: 11th Quality Software International Conference, QSIC 2011, pp. 186\u2013191 (2011)","DOI":"10.1109\/QSIC.2011.33"},{"key":"23_CR10","unstructured":"Quan, D.: Xenon: an RDF stylesheet ontology. In: 14th World Wide Web Conference, WWW 2005, Japan (2005)"},{"key":"23_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"158","DOI":"10.1007\/11926078_12","volume-title":"The Semantic Web - ISWC 2006","author":"E Pietriga","year":"2006","unstructured":"Pietriga, E., Bizer, C., Karger, D.R., Lee, R.: Fresnel: a browser-independent presentation vocabulary for RDF. In: Cruz, I., Decker, S., Allemang, D., Preist, C., Schwabe, D., Mika, P., Uschold, M., Aroyo, L.M. (eds.) ISWC 2006. LNCS, vol. 4273, pp. 158\u2013171. Springer, Heidelberg (2006)"},{"key":"23_CR12","unstructured":"Brophy, M., Heflin, J.: OWL-PL: A Presentation Language for Displaying Semantic Data on the Web. Technical report, Department of Computer Science and Engineering, Lehigh University (2009)"},{"key":"23_CR13","doi-asserted-by":"crossref","unstructured":"Corby, O., Faron-Zucker, C, Gandon, F.: SPARQL template: a transformation language for RDF. In: 25th Journ\u00e9es francophones d\u2019Ing\u00e9nierie des Connaissances, IC 2014, Clermont-Ferrand, France (2014)","DOI":"10.5220\/0005450604660476"},{"key":"23_CR14","unstructured":"RIF-FLD: RIF framework for logic dialects, 2nd edn. In: Boley, H., Kifer, M. (eds.) W3C Recommendation (2013). \n                    http:\/\/www.w3.org\/TR\/2013\/REC-rif-fld-20130205\/"},{"key":"23_CR15","unstructured":"Genesereth, M., Fikes, R.: Knowledge Interchange Format, Version 3.0, Reference Manual, Technical Report, Logic-92-1, Stanford University (1992). \n                    http:\/\/www.cs.umbc.edu\/kse\/"},{"issue":"6","key":"23_CR16","doi-asserted-by":"publisher","first-page":"707","DOI":"10.1006\/ijhc.1996.0121","volume":"46","author":"A Farquhar","year":"1997","unstructured":"Farquhar, A., Fikes, R., Rice, J.: The ontolingua server: a tool for collaborative ontology construction. Int. J. Hum. Comput. Stud. 46(6), 707\u2013727 (1997). Academic Press, Inc., MN, USA","journal-title":"Int. J. Hum. Comput. Stud."},{"issue":"1","key":"23_CR17","first-page":"14","volume":"6","author":"P Martin","year":"2011","unstructured":"Martin, P.: Collaborative knowledge sharing and editing. Int. J. Comput. Sci. Inf. Syst. 6(1), 14\u201329 (2011)","journal-title":"Int. J. Comput. Sci. Inf. Syst."},{"key":"23_CR18","unstructured":"Common Logic: Information technology \u2013 Common Logic (CL): a framework for a family of logic-based languages. ISO\/IEC 24707:2007(E), JTC1\/SC32 (2007)"},{"key":"23_CR19","unstructured":"SBVR: Semantics of Business Vocabulary and Business Rules (SBVR), Version 1.0, OMG document formal\/08-01-02 (2008). \n                    http:\/\/www.omg.org\/spec\/SBVR\/1.0\/"},{"key":"23_CR20","unstructured":"Martin, P.: Towards a collaboratively-built knowledge base of&for scalable knowledge sharing and retrieval. HDR thesis (240 pages; \u201cHabilitation to Direct Research\u201d), University of La R\u00e9union, France (2009)"},{"key":"23_CR21","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1007\/3-540-45483-7_7","volume-title":"Conceptual Structures: Integration and Interfaces","author":"P Martin","year":"2002","unstructured":"Martin, P.: Knowledge representation in CGLF, CGIF, KIF, Frame-CG and formalized-English. In: Priss, U., Corbett, D.R., Angelova, G. (eds.) ICCS 2002. LNCS (LNAI), vol. 2393, pp. 77\u201391. Springer, Heidelberg (2002)"},{"key":"23_CR22","unstructured":"RIF-FLD-OWL: RIF, RDF and OWL Compatibility, 2nd edn. W3C Recommendation, 5 February 2013. \n                    http:\/\/www.w3.org\/TR\/2013\/REC-rif-rdf-owl-20130205\/"},{"key":"23_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"426","DOI":"10.1007\/978-3-642-33876-2_39","volume-title":"Knowledge Engineering and Knowledge Management","author":"O \u0160v\u00e1b-Zamazal","year":"2012","unstructured":"\u0160v\u00e1b-Zamazal, O., Dud\u00e1\u0161, M., Sv\u00e1tek, V.: User-friendly pattern-based transformation of OWL ontologies. In: ten Teije, A., V\u00f6lker, J., Handschuh, S., Stuckenschmidt, H., d\u2019Acquin, M., Nikolov, A., Aussenac-Gilles, N., Hernandez, N. (eds.) EKAW 2012. LNCS, vol. 7603, pp. 426\u2013429. Springer, Heidelberg (2012)"},{"key":"23_CR24","unstructured":"Horrocks I.: Optimising Tableaux Decision Procedures for Description Logics. Ph.D. thesis, University of Manchester (1997)"},{"issue":"11\u201316","key":"23_CR25","first-page":"1403","volume":"31","author":"P Martin","year":"1999","unstructured":"Martin, P., Eklund, P.: Embedding knowledge in web documents. Comput. Netw. Int. J. Comput. Telecommun. Netw. 31(11\u201316), 1403\u20131419 (1999)","journal-title":"Comput. Netw. Int. J. Comput. Telecommun. Netw."}],"container-title":["Communications in Computer and Information Science","Knowledge Discovery, Knowledge Engineering and Knowledge Management"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-25840-9_23","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,31]],"date-time":"2019-05-31T06:02:06Z","timestamp":1559282526000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-25840-9_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319258393","9783319258409"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-25840-9_23","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"value":"1865-0929","type":"print"},{"value":"1865-0937","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"28 October 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}