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

被引：23

作者：

Dai, Wenbin ^{[1
]}

Dubinin, Victor N. ^{[2
]}

Vyatkin, Valeriy ^{[1
]}

机构：

[1] Univ Auckland, Auckland 1142, New Zealand

[2] Univ Penza, Penza 440052, Russia

来源：

IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS | 2013年 / 9卷 / 04期

关键词：

Component-based software architecture; description logic (DL); embedded control systems; IEC 61499 function blocks; knowledge base; ontology; ontology reasoning; OWL; semantic analysis; SWRL; SQWRL;

D O I：

10.1109/TII.2012.2235450

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

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.

引用

页码：2124 / 2136

页数：13

共 22 条

[1] Ontology-based reconfiguration agent for intelligent mechatronic systems in flexible manufacturing
Alsafi, Yazen
Vyatkin, Valeriy
[J]. ROBOTICS AND COMPUTER-INTEGRATED MANUFACTURING, 2010, 26 (04) : 381 - 391
[2] [Anonymous], 2003, 611313 IEC
[3] [Anonymous], 2005, 61499 IEC
[4] Arakawa N., 2008, P INT C COMP AID ACQ, P1
[5] Badder F., 2007, DESCRIPTION LOGIC HD
[6] On Formal Analysis of IEC 61499 Applications, Part B: Execution Semantics
Cengic, Goran
Akesson, Knut
[J]. IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS, 2010, 6 (02) : 145 - 154
[7] On Formal Analysis of IEC 61499 Applications, Part A: Modeling
Cengic, Goran
Akesson, Knut
[J]. IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS, 2010, 6 (02) : 136 - 144
[8] Dubinin V., 2010, P INT C CONT INF TEC, P1
[9] Gasevic D., 2009, MODEL DRIVEN ENG ONT, VXXI, P378
[10] Goh K. M., 2009, P 2009 IEEE REG 10 C, P1

← 1 2 3 →