The communication protocol OPC UA is one of the most important IIoT enablers within the automation domain. OPC UA not only aims to provide interoperability on the transport layer, but also interoperability of the semantic layer shall be addressed based on so-called Companion Specifications. However, the lack of OPC UA formal semantics makes automatic validation of OPC UA data models impossible. Another drawback is the shortage of available tools for OPC UA, such as an implementation of the query engine for the specified OPC UA query language. In this paper we provide a formal translation of OPC UA models to the Semantic Web standard OWL, thus making OPC UA implicit semantics, that is described in the documentation, explicit, by means of OWL axioms. Moreover, we outline how this mapping can be used to offer validation and querying of OPC UA data models based on already existing Semantic Web technology.
%0 Generic
%1 schiekofer2019formal
%A Schiekofer, Rainer
%A Grimm, Stephan
%A Brandt, Maja Milicic
%A Weyrich, Michael
%B 2019 IEEE 17th International Conference on Industrial Informatics (INDIN), Helsinki-Espoo, 2019
%D 2019
%K 2019ias ias
%R 10.1109/INDIN41052.2019.8972102
%T A formal mapping between OPC UA and the Semantic Web
%U https://ieeexplore.ieee.org/abstract/document/8972102
%X The communication protocol OPC UA is one of the most important IIoT enablers within the automation domain. OPC UA not only aims to provide interoperability on the transport layer, but also interoperability of the semantic layer shall be addressed based on so-called Companion Specifications. However, the lack of OPC UA formal semantics makes automatic validation of OPC UA data models impossible. Another drawback is the shortage of available tools for OPC UA, such as an implementation of the query engine for the specified OPC UA query language. In this paper we provide a formal translation of OPC UA models to the Semantic Web standard OWL, thus making OPC UA implicit semantics, that is described in the documentation, explicit, by means of OWL axioms. Moreover, we outline how this mapping can be used to offer validation and querying of OPC UA data models based on already existing Semantic Web technology.
@conference{schiekofer2019formal,
abstract = {The communication protocol OPC UA is one of the most important IIoT enablers within the automation domain. OPC UA not only aims to provide interoperability on the transport layer, but also interoperability of the semantic layer shall be addressed based on so-called Companion Specifications. However, the lack of OPC UA formal semantics makes automatic validation of OPC UA data models impossible. Another drawback is the shortage of available tools for OPC UA, such as an implementation of the query engine for the specified OPC UA query language. In this paper we provide a formal translation of OPC UA models to the Semantic Web standard OWL, thus making OPC UA implicit semantics, that is described in the documentation, explicit, by means of OWL axioms. Moreover, we outline how this mapping can be used to offer validation and querying of OPC UA data models based on already existing Semantic Web technology.},
added-at = {2025-03-05T18:12:20.000+0100},
author = {Schiekofer, Rainer and Grimm, Stephan and Brandt, Maja Milicic and Weyrich, Michael},
biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2a8b321776c19ae7526cf2d38a83857b6/brittalenz},
booktitle = {2019 IEEE 17th International Conference on Industrial Informatics (INDIN), Helsinki-Espoo, 2019},
doi = {10.1109/INDIN41052.2019.8972102},
interhash = {e2fddc09a4a73d7b39a83e09cc1e68ba},
intrahash = {a8b321776c19ae7526cf2d38a83857b6},
keywords = {2019ias ias},
timestamp = {2025-03-05T18:12:20.000+0100},
title = {A formal mapping between OPC UA and the Semantic Web},
url = {https://ieeexplore.ieee.org/abstract/document/8972102},
year = 2019
}
