{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T00:51:35Z","timestamp":1740099095636,"version":"3.37.3"},"publisher-location":"Cham","reference-count":14,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319968117"},{"type":"electronic","value":"9783319968124"}],"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-96812-4_3","type":"book-chapter","created":{"date-parts":[[2018,7,17]],"date-time":"2018-07-17T04:26:41Z","timestamp":1531801601000},"page":"23-38","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":12,"title":["Using the Isabelle Ontology Framework"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-6355-1200","authenticated-orcid":false,"given":"Achim D.","family":"Brucker","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Idir","family":"Ait-Sadoune","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paolo","family":"Crisafulli","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Burkhart","family":"Wolff","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,7,18]]},"reference":[{"unstructured":"Fluent editor (2018). \nhttp:\/\/www.cognitum.eu\/Semantics\/FluentEditor\/","key":"3_CR1"},{"unstructured":"The neon toolkit (2018). \nhttp:\/\/neon-toolkit.org","key":"3_CR2"},{"unstructured":"Ontologies (2018). \nhttps:\/\/www.w3.org\/standards\/semanticweb\/ontology","key":"3_CR3"},{"unstructured":"Owlgred (2018). \nhttp:\/\/owlgred.lumii.lv\/","key":"3_CR4"},{"unstructured":"Prot\u00e9g\u00e9 (2018). \nhttps:\/\/protege.stanford.edu","key":"3_CR5"},{"unstructured":"R language package for fluent editor (rontorion) (2018). \nhttp:\/\/www.cognitum.eu\/semantics\/FluentEditor\/rOntorionFE.aspx","key":"3_CR6"},{"key":"3_CR7","volume-title":"R in a Nutshell","author":"J Adler","year":"2010","unstructured":"Adler, J.: R in a Nutshell. O\u2019Reilly, Sebastopol (2010)"},{"unstructured":"Bezzecchi, S., Crisafulli, P., Pichot, C., Wolff, B.: Making agile development processes fit for V-style certification procedures. In: ERTS Conference Proceedings, ERTS 2018 (2018)","key":"3_CR8"},{"key":"3_CR9","doi-asserted-by":"publisher","DOI":"10.1002\/9781119005056","volume-title":"CENELEC 50128 and IEC 62279 Standards","author":"JL Boulanger","year":"2015","unstructured":"Boulanger, J.L.: CENELEC 50128 and IEC 62279 Standards. Wiley-ISTE, Boston (2015). The reference on the standard"},{"unstructured":"Common Criteria: Common criteria for information technology security evaluation (version 3.1), part 3: security assurance components (2006). \nCCMB-2006-09-003","key":"3_CR10"},{"key":"3_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45949-9","volume-title":"Isabelle\/HOL: A Proof Assistant for Higher-Order Logic","year":"2002","unstructured":"Nipkow, T., Wenzel, M., Paulson, L.C. (eds.): Isabelle\/HOL: A Proof Assistant for Higher-Order Logic. LNCS, vol. 2283. Springer, Heidelberg (2002). \nhttps:\/\/doi.org\/10.1007\/3-540-45949-9"},{"key":"3_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"515","DOI":"10.1007\/978-3-319-08970-6_33","volume-title":"Interactive Theorem Proving","author":"M Wenzel","year":"2014","unstructured":"Wenzel, M.: Asynchronous user interaction and tool integration in Isabelle\/PIDE. In: Klein, G., Gamboa, R. (eds.) ITP 2014. LNCS, vol. 8558, pp. 515\u2013530. Springer, Cham (2014). \nhttps:\/\/doi.org\/10.1007\/978-3-319-08970-6_33"},{"unstructured":"Wenzel, M.: The Isabelle\/Isar reference manual (2017). Part of the Isabelle distribution","key":"3_CR13"},{"key":"3_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"352","DOI":"10.1007\/978-3-540-74591-4_26","volume-title":"Theorem Proving in Higher Order Logics","author":"M Wenzel","year":"2007","unstructured":"Wenzel, M., Wolff, B.: Building formal method tools in the Isabelle\/Isar framework. In: Schneider, K., Brandt, J. (eds.) TPHOLs 2007. LNCS, vol. 4732, pp. 352\u2013367. Springer, Heidelberg (2007). \nhttps:\/\/doi.org\/10.1007\/978-3-540-74591-4_26"}],"container-title":["Lecture Notes in Computer Science","Intelligent Computer Mathematics"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-96812-4_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,7,17]],"date-time":"2018-07-17T04:27:20Z","timestamp":1531801640000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-96812-4_3"}},"subtitle":["Linking the Formal with the Informal"],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319968117","9783319968124"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-96812-4_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2018]]}}}