Formal validation techniques for ontology-based device descriptions

IEEE International Conference on Emerging Technologies and Factory Automation, ETFA

Volumn , Issue , 2011, Pages

  Rieckhof, Federico ^a   Dibowski, Henrik ^a   Kabitzsch, Klaus ^a  

^a DRESDEN UNIVERSITY OF TECHNOLOGY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATED DESIGN; AUTOMATION SYSTEMS; CONSTRAINT VIOLATION; DESIGN PROCESS; DESIGN SUPPORT; DEVICE DESCRIPTION; ELECTRONIC DEVICE DESCRIPTION; FORMAL VALIDATION; INTEGRITY CONSTRAINTS; LOGICAL CONSTRAINTS; ONTOLOGY-BASED;

DESIGN; FACTORY AUTOMATION;

ONTOLOGY;

EID: 80655132087     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ETFA.2011.6058974     Document Type: Conference Paper

References (29)

1. ANSI/ISA-61804: Function Blocks (FB) for Process Control - Part 3: Electronic Device Description Language (EDDL), 2007.
2. CAN in Automation, "CANopen - Overview". Available: http://www.canopen.org/
3. ISO 15745: Industrial automation systems and integration - Open systems application integration framework Part 3: Reference description for IEC 61158-based control systems, Std., 2003.
4. Echelon Corporation, "LonMark Device Interface File Reference Guide", Revision 4.401, 2005. Available: http://www.enerlon.com/JobAids/ LmXif4401.pdf
5. th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2010), Bilbao, Spain, 2010.
6. H. Dibowski, J. Ploennigs, K. Kabitzsch, "Automated Design of Building Automation Systems", IEEE Transactions on Industrial Electronics, vol. 57, no. 11, pp. 3606-3613, Nov. 2010.
7. th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2009), Palma de Mallorca, Spain, 2009.
8. th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2010), Bilbao, Spain, 2010.
9. World Wide Web Consortium (W3C), "OWL 2 Web Ontology Language Document Overview", W3C Recommendation, 2009. Available: http://www.w3.org/TR/owl2-overview/
10. World Wide Web Consortium (W3C), "Resource Description Framework (RDF)", 2004. Available: http://www.w3.org/RDF/
11. World Wide Web Consortium (W3C), "RDF/XML Syntax Specification (Revised)", W3C Recommendation, 2004. Available: http://www.w3.org/TR/
12. H. Dibowski, K. Kabitzsch, "Ontology-Based Device Descriptions and Device Repository for Building Automation Devices", EURASIP Journal on Embedded Systems, vol. 2011, Article ID 623461, 2011.
13. K. Rohloff, M. Dean, I. Emmons, D. Ryder, J. Sumner, "An Evaluation of Triple-Store Technologies for Large Data Stores", Workshop on Scalable Semantic Web Knowledge Base Systems (SSWS), Portugal, 2007.
14. World Wide Web Consortium (W3C), "SPARQL 1.1 Query Language for RDF", W3C working draft, 2010. Available: http://www.w3.org/TR/sparql11- query/
15. B. Elliott, E. Cheng, C. Thomas-Ogbuji, Z. M. Ozsoyoglu, "A complete translation from SPARQL into efficient SQL", Proceedings of the 2009 International Database Engineering Applications Symposium (IDEAS 09), Calabria, Italy, 2009.
16. F. Baader, D. Calvanese, D. L. McGuinnes, D. Nardi, P. F. Parel-Schneider, The Description Logic Handbook, Cambridge University Press, 2007.
17. E. Sirin, B. Parsia, B. C. Grau, A. Kalyanpur, Y. Katz, "Pellet: A Practical OWL-DL Reasoner", Web Semantics: Science, Services and Agents on the World Wide Web, vol. 5, no. 2, pp. 51-53, 2007. (Pubitemid 46856283)
18. Clark & Parsia, "Pellet Features", 2011. Available: http://clarkparsia.com/pellet/features/
19. th International Workshop on OWL: Experiences and Directions (OWLED 2009), Chantilly, USA, 2009.
20. th International Conference on World Wide Web (WWW 2007), New York, USA, 2007.
21. R. Reiter, "On closed world data bases", Readings in nonmonotonic reasoning, Matthew L. Ginsberg (Ed.). Morgan Kaufmann Publishers Inc., San Francisco, USA, 1987.
22. J. W. Lloyd, R.W. Topor, "Making Prolog more expressive", The Journal of Logic Programming, vol. 1, no. 3, pp. 225-240, 1984.
23. D. Raynolds, "Jena 2 Inference support", 2010. Available: http://jena.sourceforge.net/inference/
24. Jena team, "Jena - A Semantic Web Framework for Java", 2011. Available: http://jena.sourceforge.net/index.html
25. th International Workshop on OWL: Experiences and Directions (OWLED 2009), Chantilly, USA, 2009.
26. Stanford Center for Biomedical Informatics Research, "proté gé-owl api", 2011. Available: http://protege.stanford.edu/plugins/ owl/api/
27. Jena team, "ARQ - A SPARQL Processor for Jena", 2011. Available: http://jena.sourceforge.net/ARQ/
28. H. Knublauch, "SPIN SPARQL Inferencing Notation", 2009. Available: http://www.spinrdf.org/
29. Clark & Parsia, "Pellet Integrity Constraints: Validating RDF with OWL", 2011. Available: http://clarkparsia.com/pellet/icv/