Automatically Generated Layered Ontological Models for Semantic Analysis of Component-Based Control Systems

The IEC 61499 standard is designed for distributed control and proposes new visual form of programming using block diagrams with embedded state machines and unlimited hierarchical nesting and distribution across networking devices. Such visual programs require new methods of automatic syntactic and semantic analysis. This paper proposes a new approach to semantic analysis using multiple-layered ontological knowledge representation and rule-based inference engine. Its working is demonstrated on example.

[1]  Dragan Gasevic,et al.  Model Driven Engineering and Ontology Development , 2009 .

[2]  Valeriy Vyatkin,et al.  OOONEIDA: an open, object-oriented knowledge economy for intelligent industrial automation , 2005, IEEE Transactions on Industrial Informatics.

[3]  José L. Martínez Lastra,et al.  Semantic web services in factory automation: fundamental insights and research roadmap , 2006, IEEE Transactions on Industrial Informatics.

[4]  V. Vyatkin.  The IEC 61499 standard and its semantics , 2009, IEEE Industrial Electronics Magazine.

[5]  José L. Martínez Lastra,et al.  Adding Function Blocks of IEC 61499 Semantic Description to Automation Objects , 2006, 2006 IEEE Conference on Emerging Technologies and Factory Automation.

[6]  Diego Calvanese,et al.  The Description Logic Handbook: Theory, Implementation, and Applications , 2003, Description Logic Handbook.

[7]  Petr Novák,et al.  Applications of Ontologies for Assembling Simulation Models of Industrial Systems , 2011, OTM Workshops.

[8]  Jun Cai,et al.  Semantic Web & Ontologies , 2003 .

[9]  Diego Calvanese,et al.  The Description Logic Handbook , 2007 .

[10]  ARAKAWA Naoya.  1 Semantic Analysis based on Ontologies with Semantic Web Standards , 2008 .

[11]  Goran Cengic,et al.  On Formal Analysis of IEC 61499 Applications, Part A: Modeling , 2010, IEEE Transactions on Industrial Informatics.

[12]  Valeriy Vyatkin.  IEC 61499 as Enabler of Distributed and Intelligent Automation: State-of-the-Art Review , 2011, IEEE Transactions on Industrial Informatics.

[13]  Valeriy Vyatkin,et al.  Ontology-based reconfiguration agent for intelligent mechatronic systems in flexible manufacturing , 2010 .

[14]  Martin J. O'Connor,et al.  SQWRL: A Query Language for OWL , 2009, OWLED.

[15]  B. Tjahjono,et al.  Iterative knowledge based code generator for IEC 61499 function block , 2009, TENCON 2009 - 2009 IEEE Region 10 Conference.

[16]  Goran Cengic,et al.  On Formal Analysis of IEC 61499 Applications, Part B: Execution Semantics , 2010, IEEE Transactions on Industrial Informatics.

[17]  Young-Koo Lee,et al.  DTD2OWL: automatic transforming XML documents into OWL ontology , 2009, ICIS '09.

[18]  H. Lan,et al.  SWRL : A semantic Web rule language combining OWL and ruleML , 2004 .

[19]  François Jammes,et al.  Service-oriented paradigms in industrial automation , 2005, IEEE Transactions on Industrial Informatics.

[20]  Boris Motik,et al.  Query Answering for OWL-DL with Rules , 2004, SEMWEB.