{"title":"空间描述逻辑及其在地理空间语义网中的应用","authors":"Sheng-sheng Wang, Da-you Liu","doi":"10.1109/IMSCCS.2008.20","DOIUrl":null,"url":null,"abstract":"Classical description logics deal with the concept and instance reasoning, while qualitative spatial reasoning handles the geospatial relations of objects. In geospatial semantic web, cooperation of these two kinds of reasoning tasks is required. Thatpsilas the motive of our spatial description logic. A general spatial representation and reasoning method with ALC is proposed. The constraints satisfaction problem for spatial relation can be solved within ExpTime-complete time, while the previous spatial description logics are all undecidable. Integrating of multi-aspects spatial relation models is also discussed. Finally, a prototype system is given to show its application in geospatial semantic web.","PeriodicalId":122953,"journal":{"name":"2008 International Multi-symposiums on Computer and Computational Sciences","volume":"47 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2008-10-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"6","resultStr":"{\"title\":\"Spatial Description Logic and Its Application in Geospatial Semantic Web\",\"authors\":\"Sheng-sheng Wang, Da-you Liu\",\"doi\":\"10.1109/IMSCCS.2008.20\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"Classical description logics deal with the concept and instance reasoning, while qualitative spatial reasoning handles the geospatial relations of objects. In geospatial semantic web, cooperation of these two kinds of reasoning tasks is required. Thatpsilas the motive of our spatial description logic. A general spatial representation and reasoning method with ALC is proposed. The constraints satisfaction problem for spatial relation can be solved within ExpTime-complete time, while the previous spatial description logics are all undecidable. Integrating of multi-aspects spatial relation models is also discussed. Finally, a prototype system is given to show its application in geospatial semantic web.\",\"PeriodicalId\":122953,\"journal\":{\"name\":\"2008 International Multi-symposiums on Computer and Computational Sciences\",\"volume\":\"47 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2008-10-18\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"6\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"2008 International Multi-symposiums on Computer and Computational Sciences\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/IMSCCS.2008.20\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"2008 International Multi-symposiums on Computer and Computational Sciences","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/IMSCCS.2008.20","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
Spatial Description Logic and Its Application in Geospatial Semantic Web
Classical description logics deal with the concept and instance reasoning, while qualitative spatial reasoning handles the geospatial relations of objects. In geospatial semantic web, cooperation of these two kinds of reasoning tasks is required. Thatpsilas the motive of our spatial description logic. A general spatial representation and reasoning method with ALC is proposed. The constraints satisfaction problem for spatial relation can be solved within ExpTime-complete time, while the previous spatial description logics are all undecidable. Integrating of multi-aspects spatial relation models is also discussed. Finally, a prototype system is given to show its application in geospatial semantic web.
求助内容：
应助结果提醒方式：
京公网安备 11010802042870号
