Federico Rieckhof, Henrik Dibowski, Klaus Kabitzsch. Formal validation techniques for Ontology-based Device Descriptions. In Zoubir Mammeri, editor, IEEE 16th Conference on Emerging Technologies & Factory Automation, ETFA 2011, Toulouse, France, September 5-9, 2011. pages 1-8, IEEE, 2011. [doi]
Abstract is missing.