{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,23]],"date-time":"2025-08-23T00:10:05Z","timestamp":1755907805448,"version":"3.44.0"},"publisher-location":"New York, NY, USA","reference-count":11,"publisher":"ACM","license":[{"start":{"date-parts":[[2023,12,5]],"date-time":"2023-12-05T00:00:00Z","timestamp":1701734400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"CNRS","award":["HAIReM"],"award-info":[{"award-number":["HAIReM"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2023,12,5]]},"DOI":"10.1145\/3587259.3627549","type":"proceedings-article","created":{"date-parts":[[2023,11,28]],"date-time":"2023-11-28T19:30:28Z","timestamp":1701199828000},"page":"180-187","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Combining representation formalisms for reasoning upon mathematical knowledge"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-7276-4702","authenticated-orcid":false,"given":"Mathieu","family":"D'Aquin","sequence":"first","affiliation":[{"name":"K-Team, LORIA - Universit\u00e9 de Lorraine, CNRS, Inria, France"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6324-5847","authenticated-orcid":false,"given":"Renata","family":"Bunoiu","sequence":"additional","affiliation":[{"name":"Universit\u00e9 de Lorraine, CNRS, IECL, France"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-5105-5931","authenticated-orcid":false,"given":"Horatiu","family":"Cirstea","sequence":"additional","affiliation":[{"name":"LORIA - Universit\u00e9 de Lorraine, CNRS, Inria, France"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-6761-9516","authenticated-orcid":false,"given":"Michel","family":"Lenczner","sequence":"additional","affiliation":[{"name":"FEMTO-ST - UTBM, ENSMM, UFC, CNRS, France"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5547-6466","authenticated-orcid":false,"given":"Jean","family":"Lieber","sequence":"additional","affiliation":[{"name":"LORIA, Universit\u00e9 de Lorraine, CNRS, Inria, France"}]},{"ORCID":"https:\/\/orcid.org\/0009-0005-3362-2177","authenticated-orcid":false,"given":"Fr\u00e9d\u00e9ric","family":"Zamkotsian","sequence":"additional","affiliation":[{"name":"LAM - Aix Marseille Universit\u00e9, CNRS, CNES, France"}]}],"member":"320","published-online":{"date-parts":[[2023,12,5]]},"reference":[{"volume-title":"2017 18th International Conference on Thermal, Mechanical and Multi-Physics Simulation and Experiments in Microelectronics and Microsystems (EuroSimE). IEEE, 1\u20138.","author":"Belkhir W.","key":"e_1_3_2_1_1_1","unstructured":"W. Belkhir, N. Ratier, D.\u00a0D. Nguyen, N.\u00a0B.\u00a0T. Nguyen, M. Lenczner, and F. Zamkotsian. 2017. A tool for aided multi-scale model derivation and its application to the simulation of a micro mirror array. In 2017 18th International Conference on Thermal, Mechanical and Multi-Physics Simulation and Experiments in Microelectronics and Microsystems (EuroSimE). IEEE, 1\u20138."},{"volume-title":"17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC). IEEE, 47\u201354","author":"Belkhir W.","key":"e_1_3_2_1_2_1","unstructured":"W. Belkhir, N. Ratier, D.\u00a0D. Nguyen, B. Yang, M. Lenczner, F. Zamkotsian, and H. Cirstea. 2015. Towards an automatic tool for multi-scale model derivation illustrated with a micro-mirror array. In 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC). IEEE, 47\u201354."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"crossref","unstructured":"R. Brachman E. Ciccarelli N. Greenfeld and M. Yonke. 1978. KL-ONE reference manual. Technical Report. BBN report.","DOI":"10.21236\/ADA122437"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"crossref","unstructured":"Ronald\u00a0J. Brachman and Hector\u00a0J. Levesque. 2004. Knowledge Representation and Reasoning. Morgan Kaufmann.","DOI":"10.1016\/B978-155860932-7\/50099-6"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1088\/0960-1317\/23\/5\/055009"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10817-014-9305-1"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.5555\/2590215.2590217"},{"volume-title":"Advances in Modal Logics","author":"Lutz C.","key":"e_1_3_2_1_8_1","unstructured":"C. Lutz. 2003. Description Logics with Concrete Domains \u2013 A Survey. In Advances in Modal Logics Volume 4. King\u2019s College Publications."},{"key":"e_1_3_2_1_9_1","unstructured":"B. Motik B. Cuenca\u00a0Grau I. Horrocks Z. Wu A. Fokoue and C. Lutz. 2009. OWL\u00a02 web ontology language profiles. W3C recommendation."},{"volume-title":"16th Int. Conf. on Thermal, Mechanical and Multi-Physics Simulation and Experiments in Microelectronics and Microsystems. IEEE, 1\u20139.","author":"Nguyen D.","key":"e_1_3_2_1_10_1","unstructured":"D.\u00a0D. Nguyen, W. Belkhir, N. Ratier, B. Yang, M. Lenczner, F. Zamkotsian, and H. Cirstea. 2015. A multi-scale model of a micro-mirror array and an automatic model derivation tool. In 16th Int. Conf. on Thermal, Mechanical and Multi-Physics Simulation and Experiments in Microelectronics and Microsystems. IEEE, 1\u20139."},{"volume-title":"Inside Case-Based Reasoning","author":"Riesbeck K.","key":"e_1_3_2_1_11_1","unstructured":"C.\u00a0K. Riesbeck and R.\u00a0C. Schank. 1989. Inside Case-Based Reasoning. Lawrence Erlbaum Associates, Inc., Hillsdale, New Jersey."}],"event":{"name":"K-CAP '23: Knowledge Capture Conference 2023","sponsor":["SIGAI ACM Special Interest Group on Artificial Intelligence"],"location":"Pensacola FL USA","acronym":"K-CAP '23"},"container-title":["Proceedings of the 12th Knowledge Capture Conference 2023"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3587259.3627549","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3587259.3627549","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,22]],"date-time":"2025-08-22T23:44:33Z","timestamp":1755906273000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3587259.3627549"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,12,5]]},"references-count":11,"alternative-id":["10.1145\/3587259.3627549","10.1145\/3587259"],"URL":"https:\/\/doi.org\/10.1145\/3587259.3627549","relation":{},"subject":[],"published":{"date-parts":[[2023,12,5]]},"assertion":[{"value":"2023-12-05","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}