{"title":"空间代数中的符号表达式:统一及其对空间推理的影响","authors":"E. Jungert","doi":"10.1109/WVL.1989.77058","DOIUrl":null,"url":null,"abstract":"Spatial reasoning in symbolic images requires a means for identification of spatial relationships. In earlier work (see E. Jungert and S.-K. Chung, Proc. IFIP TC-2 Working Conf. on Visual Database Systems, Tokyo, Japan, 1989) an algebra based on symbolic projections for manipulation and transformation of symbolic images has been defined. Although that symbolic algebra was quite powerful for manipulation of symbolic images, it did not include any means for spatial reasoning. With such a goal it was already clear at an early stage that the algebra had to be developed further. A description is given of the unification of algebraic expressions, which offers a powerful basis for spatial reasoning. It is shown that the algebra constitutes a basis for a tool for spatial reasoning in symbolic images.<<ETX>>","PeriodicalId":326582,"journal":{"name":"[Proceedings] 1989 IEEE Workshop on Visual Languages","volume":"1 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1989-10-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"8","resultStr":"{\"title\":\"Symbolic expressions within a spatial algebra: unification and impact upon spatial reasoning\",\"authors\":\"E. Jungert\",\"doi\":\"10.1109/WVL.1989.77058\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"Spatial reasoning in symbolic images requires a means for identification of spatial relationships. In earlier work (see E. Jungert and S.-K. Chung, Proc. IFIP TC-2 Working Conf. on Visual Database Systems, Tokyo, Japan, 1989) an algebra based on symbolic projections for manipulation and transformation of symbolic images has been defined. Although that symbolic algebra was quite powerful for manipulation of symbolic images, it did not include any means for spatial reasoning. With such a goal it was already clear at an early stage that the algebra had to be developed further. A description is given of the unification of algebraic expressions, which offers a powerful basis for spatial reasoning. It is shown that the algebra constitutes a basis for a tool for spatial reasoning in symbolic images.<<ETX>>\",\"PeriodicalId\":326582,\"journal\":{\"name\":\"[Proceedings] 1989 IEEE Workshop on Visual Languages\",\"volume\":\"1 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1989-10-04\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"8\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"[Proceedings] 1989 IEEE Workshop on Visual Languages\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/WVL.1989.77058\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"[Proceedings] 1989 IEEE Workshop on Visual Languages","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/WVL.1989.77058","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 8
摘要
符号图像的空间推理需要一种识别空间关系的方法。在早期的工作中(见E. Jungert和S.-K。作者:Chung, Proc. IFIP TC-2 Visual Database Systems Working Conf., Tokyo, Japan, 1989)定义了一种基于符号投影的代数,用于符号图像的操作和转换。尽管符号代数在处理符号图像方面非常强大,但它不包括任何空间推理的手段。有了这样一个目标,在早期阶段就已经很清楚,代数必须进一步发展。给出了代数表达式统一的描述,为空间推理提供了有力的基础。结果表明,代数构成了符号图像空间推理工具的基础
Symbolic expressions within a spatial algebra: unification and impact upon spatial reasoning
Spatial reasoning in symbolic images requires a means for identification of spatial relationships. In earlier work (see E. Jungert and S.-K. Chung, Proc. IFIP TC-2 Working Conf. on Visual Database Systems, Tokyo, Japan, 1989) an algebra based on symbolic projections for manipulation and transformation of symbolic images has been defined. Although that symbolic algebra was quite powerful for manipulation of symbolic images, it did not include any means for spatial reasoning. With such a goal it was already clear at an early stage that the algebra had to be developed further. A description is given of the unification of algebraic expressions, which offers a powerful basis for spatial reasoning. It is shown that the algebra constitutes a basis for a tool for spatial reasoning in symbolic images.<>