Concept Learning in AutomationML with Formal Semantics and Inductive Logic Programming

被引:0
|
作者
Hua, Yingbing [1 ]
Hein, Bjoern [1 ]
机构
[1] Karlsruhe Inst Technol, Fac Informat, D-76131 Karlsruhe, Germany
基金
欧盟地平线“2020”;
关键词
D O I
暂无
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
Technologies for Industry-4.0 are evolving rapidly, and the term semantics is widely used. Various standardization groups claim that they provide mechanisms to express semantics or allow the integration of semantic information. The emerging data format AutomationML (as IEC 62714) proposes a role-based approach to encode semantics in engineering models and has already standardized fundamental engineering concepts as role classes. However, for concrete data processing tasks the currently standardized role classes are not sufficient to unambiguously express the meaning of various vendor or application specific concepts, while user-defined role classes rely on hand wired semantics encoded in dedicated software, e.g. importer/exporters. Yet AutomationML system unit classes represent reusable engineering objects as relational models of AutomationML roles, attributes, interfaces, internal elements and links, which can be used to describe complex user-specific concepts. To enable an automatic machine interpretation of these unstandardized relational models, we transform AutomationML data to a formal and declarative semantic representation using the Web Ontology Language (OWL), and propose a rule mining approach to learn the intended meaning of user selected system unit classes, i.e. to identify the common relational structure shared by the selected engineering objects.
引用
收藏
页码:1542 / 1547
页数:6
相关论文
共 50 条
  • [1] Transfer Learning by Inductive Logic Programming
    Sato, Yuichiro
    Iida, Hiroyuki
    van den Herik, H. J.
    ADVANCES IN COMPUTER GAMES, ACG 2015, 2015, 9525 : 223 - 234
  • [2] Learning in clausal logic: A perspective on inductive logic programming
    Flach, P
    Lavrac, N
    COMPUTATIONAL LOGIC: LOGIC PROGRAMMING AND BEYOND, PT I: ESSAYS IN HONOUR OF ROBERT A KOWALSKI, 2002, 2407 : 437 - 471
  • [4] The Connectionist Inductive Learning and Logic Programming System
    Artur S. Avila Garcez
    Gerson Zaverucha
    Applied Intelligence, 1999, 11 : 59 - 77
  • [5] Learning linear constraints in inductive logic programming
    Martin, L
    Vrain, C
    MACHINE LEARNING : ECML-97, 1997, 1224 : 162 - 169
  • [6] Learning trading rules with inductive logic programming
    Badea, L
    MACHINE LEARNING: ECML 2000, 2000, 1810 : 39 - 46
  • [7] The connectionist inductive learning and logic programming system
    Garcez, ASA
    Zaverucha, G
    APPLIED INTELLIGENCE, 1999, 11 (01) : 59 - 77
  • [8] A survey on inductive logic programming learning algorithm
    Li, Yanjuan
    Zhang, Guangling
    International Journal of Advancements in Computing Technology, 2012, 4 (23) : 25 - 33
  • [9] Inductive Logic Programming: From Logic of Discovery to Machine Learning
    Arimura, Hiroki
    Yamamoto, Akihiro
    IEICE Transactions on Information and Systems, 2000, E83-D (01) : 10 - 18
  • [10] Inductive logic programming: From logic of discovery to machine learning
    Arimura, H
    Yamamoto, A
    IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 2000, E83D (01): : 10 - 18