L. Abele, Christoph Legat, S. Grimm, Andreas W. Müller
{"title":"基于本体的植物模型验证","authors":"L. Abele, Christoph Legat, S. Grimm, Andreas W. Müller","doi":"10.1109/INDIN.2013.6622888","DOIUrl":null,"url":null,"abstract":"Improving efficiency in the plant construction process and providing valid resulting plant models requires a technology that validates planning and data exchange formats for plant engineering, such as CAEX (Computer Aided Engineering Exchange). Semantic Web technologies support validation mechanisms for querying and reasoning over domain models expressed in form of ontologies. In this paper, we present an approach to the automated validation of CAEX plant models by their transformation to ontologies and subsequent application of Semantic Web reasoning for validation purposes.","PeriodicalId":6312,"journal":{"name":"2013 11th IEEE International Conference on Industrial Informatics (INDIN)","volume":"8 1","pages":"236-241"},"PeriodicalIF":0.0000,"publicationDate":"2013-07-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"37","resultStr":"{\"title\":\"Ontology-based validation of plant models\",\"authors\":\"L. Abele, Christoph Legat, S. Grimm, Andreas W. Müller\",\"doi\":\"10.1109/INDIN.2013.6622888\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"Improving efficiency in the plant construction process and providing valid resulting plant models requires a technology that validates planning and data exchange formats for plant engineering, such as CAEX (Computer Aided Engineering Exchange). Semantic Web technologies support validation mechanisms for querying and reasoning over domain models expressed in form of ontologies. In this paper, we present an approach to the automated validation of CAEX plant models by their transformation to ontologies and subsequent application of Semantic Web reasoning for validation purposes.\",\"PeriodicalId\":6312,\"journal\":{\"name\":\"2013 11th IEEE International Conference on Industrial Informatics (INDIN)\",\"volume\":\"8 1\",\"pages\":\"236-241\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2013-07-29\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"37\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"2013 11th IEEE International Conference on Industrial Informatics (INDIN)\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/INDIN.2013.6622888\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"2013 11th IEEE International Conference on Industrial Informatics (INDIN)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/INDIN.2013.6622888","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
Improving efficiency in the plant construction process and providing valid resulting plant models requires a technology that validates planning and data exchange formats for plant engineering, such as CAEX (Computer Aided Engineering Exchange). Semantic Web technologies support validation mechanisms for querying and reasoning over domain models expressed in form of ontologies. In this paper, we present an approach to the automated validation of CAEX plant models by their transformation to ontologies and subsequent application of Semantic Web reasoning for validation purposes.
京公网安备 11010802042870号
京ICP备2023020795号-1
分享
求助内容：
应助结果提醒方式：
扫码关注我们
