Ontology-based validation of plant models

IEEE International Conference on Industrial Informatics (INDIN)

Volumn , Issue , 2013, Pages 236-241

  Abele, Lisa ^a   Legat, Christoph ^a   Grimm, Stephan ^a   Müller, Andreas W ^a  

^a SIEMENS AG   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

DATA EXCHANGE FORMAT; DOMAIN MODEL; IMPROVING EFFICIENCY; ONTOLOGY-BASED; PLANT CONSTRUCTION; PLANT ENGINEERING; SEMANTIC WEB TECHNOLOGY; SUPPORT VALIDATIONS;

AUTOMATA THEORY; COMPUTER AIDED ENGINEERING; ELECTRONIC DATA INTERCHANGE; INFORMATION SCIENCE;

MODELS;

EID: 84889006905     PISSN: 19354576     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/INDIN.2013.6622888     Document Type: Conference Paper

References (19)

1. M. Schleipen et al., "The system-independent data exchange format CAEX for supporting an automatic configuration of a production monitoring and control system, " IEEE International Symposium on Industrial Electronics, pp. 1786-1791, 2008.
2. R. Draht, Datenaustausch in der Anlagenplanung mit AutomationML- Integration von CAEX, PLCopen XML und COLLADA. Springer, 2010.
3. C. Legat et al., Knowledge-based Technologies for Future Factory Engineering and Control, ser. Studies in Computational Intelligence. Springer, 2013, vol. 472.
4. S. Runde et al., "Knowledge-based requirement-engineering of building automation systems by means of semantic web technologies, " IEEE International Conference on Industrial Informatics, 2009.
5. IEC 62424-Representation of process control engineering, Std., 2008.
6. OWL Working Group, OWL 2 Web Ontology Language: Document Overview. W3C.
7. -, "SPARQL Query Language for RDF, " Tech. Rep., 2008.
8. B. P. Birte Glimm, "SPARQL 1.1 Entailment Regimes, " W3C, Tech. Rep., 2010.
9. S. Runde et al., "Transformation von CAEX-Anlagenplanungsdaten in OWL, " Automation, vol. VDI Verlag, pp. pages 175-178, 2009.
10. G. La Rocca, "Knowledge based engineering: Between AI and CAD. Review of a language based technology to support engineering design, " Advanced Engineering Informatics, vol. 58, no. 2, pp. 159-179, 2012.
11. C. Brecher et al., "Integration of Software Tools with Heterogeneous Data Structures in Production Plant Lifecycles, " in IFAC Workshop on Intelligent Manufacturing Systems, 2010.
12. M. Viinikkala et al., "A Maintenance Demand Analyzer a Web Service based on a Semantic Plant Model, " IEEE International Conference on Industrial Informatics, pp. 486-491, 2006.
13. S. Hegler and M. Wollschlaeger, "The Semantic Web in action: semantically enabled Device Descriptions, " IEEE International Conference on Industrial Informatics, pp. 1013-1018, 2007.
14. A. Ferrandiz-Colmeiro et al., "Semantic Processes Modelling Independent of Manufacturing Infrastructures, " IEEE Conference on Emerging Technologies and Factory Automation (ETFA), 2010.
15. C. Legat et al., "Model-based Knowledge Extraction for Automated Monitoring and Control, " in IFAC World Congress, 2011.
16. J. Persson et al., "A Knowledge Integration Framework for Robotics, " International Symposium on and German Conference on Robotics, 2010.
17. E. Estevez and M. Marcos, "Model-Based Validation of Industrial Control Systems, " IEEE Transactions on Industrial Informatics, vol. 8, no. 2, pp. 302-310, 2012.
18. A. Naumenko et al., "Strategic Industrial Alliances in Paper Industry : XML-vs Ontology-Based Integration, " vol. 12, no. 5, 2005.
19. M. Schleipen and M. Okon, "The caex tool suite-user assistance for the use of standardized plant engineering data exchange, " IEEE Conference on Emerging Technologies and Factory Automation (ETFA10), pp. 1-7, 2010.