{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:27:32Z","timestamp":1750307252882,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":19,"publisher":"ACM","license":[{"start":{"date-parts":[[2010,11,22]],"date-time":"2010-11-22T00:00:00Z","timestamp":1290384000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2010,11,22]]},"DOI":"10.1145\/1889863.1889912","type":"proceedings-article","created":{"date-parts":[[2010,11,23]],"date-time":"2010-11-23T15:00:38Z","timestamp":1290524438000},"page":"219-226","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":5,"title":["Ensuring semantic spatial constraints in virtual environments using UML\/OCL"],"prefix":"10.1145","author":[{"given":"Thanh-Hai","family":"Trinh","sequence":"first","affiliation":[{"name":"Universit\u00e9 Europ\u00e9enne de Bretagne, France, Plouzan\u00e9, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ronan","family":"Querrec","sequence":"additional","affiliation":[{"name":"Universit\u00e9 Europ\u00e9enne de Bretagne, France, Plouzan\u00e9, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pierre","family":"De Loor","sequence":"additional","affiliation":[{"name":"Universit\u00e9 Europ\u00e9enne de Bretagne, France, Plouzan\u00e9, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pierre","family":"Chevaillier","sequence":"additional","affiliation":[{"name":"Universit\u00e9 Europ\u00e9enne de Bretagne, France, Plouzan\u00e9, France"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2010,11,22]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1007\/11863939_2"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/TKDE.2006.102"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0888-613X(96)00127-2"},{"key":"e_1_3_2_1_4_1","first-page":"1","article-title":"Qualitative spatial representation and reasoning: An overview","volume":"46","author":"Cohn A. G.","year":"2001","journal-title":"Fundam. Inf."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1162\/105474600300040402"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1080\/02693799108927841"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1504\/IJCAT.2005.006484"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"crossref","unstructured":"Hern\u00e1ndez D.\n     1994.\n      \n  \n   \n  Qualitative Representation of Spatial Knowledge vol. \n  804\n   of \n  LNAI\n  . \n  Springer Berlin\n  .   Hern\u00e1ndez D. 1994. Qualitative Representation of Spatial Knowledge vol. 804 of LNAI . Springer Berlin.","DOI":"10.1007\/BFb0020328"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.20870\/IJVR.2006.5.3.2695"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/1128923.1128944"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/VR.2006.41"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/1450579.1450583"},{"key":"e_1_3_2_1_13_1","unstructured":"OMG 2006. Unified Modeling Language 2.0 Object Constraint Language Specification formal\/06-05-01.  OMG 2006. Unified Modeling Language 2.0 Object Constraint Language Specification formal\/06-05-01."},{"volume-title":"ICVR'07: Proc. of the 2nd Int'l Conf. on Virtual reality, Springer-Verlag","author":"Park C.","key":"e_1_3_2_1_14_1"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/1180495.1180562"},{"volume-title":"Proc. of the Int'l Conf. on Principles of Knowl. Repres. and Reasoning, 165--176","author":"Randell D. A.","key":"e_1_3_2_1_16_1"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"crossref","unstructured":"Renz J. and Nebel B. 2007. Qualitative spatial reasoning using constraint calculi. In Handbook of Spatial Logics. Springer Netherlands 161--215.  Renz J. and Nebel B. 2007. Qualitative spatial reasoning using constraint calculi. In Handbook of Spatial Logics . Springer Netherlands 161--215.","DOI":"10.1007\/978-1-4020-5587-4_4"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/1180495.1180502"},{"volume-title":"VRIC '01: Proc. of the Virtual Reality Int'l Conf.","year":"2001","author":"Smith G.","key":"e_1_3_2_1_19_1"}],"event":{"name":"VRST'10: The 17th ACM Symposium on Virtual Reality Software and Technology 2010","sponsor":["SIGGRAPH ACM Special Interest Group on Computer Graphics and Interactive Techniques","VRSJ","SIGCHI ACM Special Interest Group on Computer-Human Interaction"],"location":"Hong Kong","acronym":"VRST'10"},"container-title":["Proceedings of the 17th ACM Symposium on Virtual Reality Software and Technology"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1889863.1889912","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1889863.1889912","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T10:52:18Z","timestamp":1750243938000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1889863.1889912"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,11,22]]},"references-count":19,"alternative-id":["10.1145\/1889863.1889912","10.1145\/1889863"],"URL":"https:\/\/doi.org\/10.1145\/1889863.1889912","relation":{},"subject":[],"published":{"date-parts":[[2010,11,22]]},"assertion":[{"value":"2010-11-22","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}