L. Abele, Christoph Legat, S. Grimm, Andreas W. Müller
{"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}
引用次数: 37
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.
京公网安备 11010802042870号
京ICP备2023020795号-1
分享
求助内容：
应助结果提醒方式：
扫码关注我们
