{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T23:51:07Z","timestamp":1725493867685},"publisher-location":"Berlin, Heidelberg","reference-count":7,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540660446"},{"type":"electronic","value":"9783540487753"}],"license":[{"start":{"date-parts":[[1999,1,1]],"date-time":"1999-01-01T00:00:00Z","timestamp":915148800000},"content-version":"tdm","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":[[1999]]},"DOI":"10.1007\/3-540-48775-1_31","type":"book-chapter","created":{"date-parts":[[2007,10,26]],"date-time":"2007-10-26T16:39:28Z","timestamp":1193416768000},"page":"385-390","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Veri-KoMoD: Verification of Knowledge Models in the Mechanical Design Field"],"prefix":"10.1007","author":[{"given":"Florence","family":"Sellini","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pierre-Alain","family":"Yvars","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,11,7]]},"reference":[{"key":"31_CR1","volume-title":"La coh\u00e9rence dans les bases de connaissances pages","author":"M. Ayel","year":"1990","unstructured":"M. Ayel & M.-C. Rousset \u2014 La coh\u00e9rence dans les bases de connaissances pages. Paris, C\u00e9padues Eds. (1990)."},{"key":"31_CR2","unstructured":"C. Djeraba, G.-T. Nguyen et D. Rieu \u2014 Objets composites et liens de d\u00e9pendance dans un syst\u00e8me \u00e0 base de connaissance, INFORSID\u201993, Lille, p. 353\u2013372 (1993)."},{"key":"31_CR3","unstructured":"P.-A. Muller \u2014 Mod\u00e9lisation Objet avec UML. Eyrolles ed, 421 pages. PARIS(1997)."},{"key":"31_CR4","unstructured":"C. Pierret-Golbreicht \u2014 TASK, un environnement pour le d\u00e9veloppement de syst\u00e8mes flexibles, Rapport de Recherche, report no RR no1056, LRI Orsay(1996)."},{"key":"31_CR5","unstructured":"A. Saucier \u2014 Un mod\u00e8le multi-vues du produit pour le d\u00e9veloppement et l\u2019utilisation de syst\u00e8mes d\u2019aide \u00e0 la conception en ing\u00e9nierie m\u00e9canique, PhD Thesis in M\u00e9canique, ENS de Cachan(1997)."},{"key":"31_CR6","unstructured":"F. Sellini \u2014 Contribution \u00e0 la repr\u00e9sentation et \u00e0 la v\u00e9rification de Mod\u00e8les de connaissances produit en ing\u00e9nierie d\u2019ensembles m\u00e9caniques., PhD Thesis in g\u00e9nie industriel & informatique, Ecole Centrale de Paris(1999)."},{"key":"31_CR7","unstructured":"F. Sellini & P.-A. Yvars \u2014 M\u00e9ta Mod\u00e8le d\u00e9claratif pour la repr\u00e9sentation du produit en conception m\u00e9canique, IDMME\u201998, Compi\u00e8gne(1998)."}],"container-title":["Lecture Notes in Computer Science","Knowledge Acquisition, Modeling and Management"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-48775-1_31","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T10:38:47Z","timestamp":1558262327000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48775-1_31"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540660446","9783540487753"],"references-count":7,"URL":"https:\/\/doi.org\/10.1007\/3-540-48775-1_31","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1999]]},"assertion":[{"value":"7 November 2002","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}