Automating with SIMATIC: Controllers, Software, Programming, Data Communication Operator Control and Process Monitoring
The Description Logic Handbook
The Description Logic Handbook
Automating with STEP 7 in STL and SCL: Programmable Controllers SIMATIC S7-300/400
Automating with STEP 7 in STL and SCL: Programmable Controllers SIMATIC S7-300/400
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Concurrent classification of EL ontologies
ISWC'11 Proceedings of the 10th international conference on The semantic web - Volume Part I
Rule-based OWL reasoning for specific embedded devices
ISWC'11 Proceedings of the 10th international conference on The semantic web - Volume Part II
CADE' 20 Proceedings of the 20th international conference on Automated Deduction
Hi-index | 0.00 |
Many industrial use cases, such as machine diagnostics, can benefit from embedded reasoning, the task of running knowledge-based reasoning techniques on embedded controllers as widely used in industrial automation. However, due to the memory and CPU restrictions of embedded devices like programmable logic controllers (PLCs), state-ofthe- art reasoning tools and methods cannot be easily migrated to industrial automation environments. In this paper, we describe an approach to porting lightweight OWL 2 EL reasoning to a PLC platform to run in an industrial automation environment. We report on initial runtime experiments carried out on a prototypical implementation of a PLC-based $\mathcal{EL}$+-reasoner in the context of a use case about turbine diagnostics.