Abstract
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.
This research was funded in part by the German Federal Ministry of Education and Research under grant number 01IA11001.
Chapter PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
Baader, F., Brandt, S., Lutz, C.: Pushing the EL envelope. In: Proc. of IJCAI 2005, pp. 364–369. Professional Book Center (2005)
Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F. (eds.): The Description Logic Handbook. Cambridge University Press (2003)
Baader, F., Lutz, C., Suntisrivaraporn, B.: Efficient reasoning in EL+. In: Proc. of DL 2006. CEUR Workshop Proceedings, vol. 189. CEUR-WS.org (2006)
Berger, H.: Automating with STEP 7 in STL and SCL: programmable controllers SIMATIC S7-300/400. John Wiley & Sons (2007)
Berger, H.: Automating with SIMATIC: Controllers, Software, Programming, Data Communication Operator Control and Process Monitoring. Publicis (2009)
Hubauer, T.M., Grimm, S., Lamparter, S., Roshchin, M.: A diagnostics framework based on abductive description logic reasoning. In: Proc. of ICIT 2012, March 19-21. IEEE Computer Society (2012)
Hubauer, T.M., Legat, C., Seitz, C.: Empowering Adaptive Manufacturing with Interactive Diagnostics: A Multi-agent Approach. In: Demazeau, Y., et al. (eds.) PAAMS 2011. AISC, vol. 88, pp. 47–56. Springer, Heidelberg (2011)
Jang, M., Sohn, J.-C.: Bossam: An Extended Rule Engine for OWL Inferencing. In: Antoniou, G., Boley, H. (eds.) RuleML 2004. LNCS, vol. 3323, pp. 128–138. Springer, Heidelberg (2004)
Kazakov, Y., Krötzsch, M., Simančík, F.: Concurrent Classification of \(\mathcal{EL}\) Ontologies. In: Aroyo, L., Welty, C., Alani, H., Taylor, J., Bernstein, A., Kagal, L., Noy, N., Blomqvist, E. (eds.) ISWC 2011, Part I. LNCS, vol. 7031, pp. 305–320. Springer, Heidelberg (2011)
Legat, C., Hubauer, T.M., Seitz, C.: Integrated diagnosis for adaptive service-oriented manufacturing control with autonomous products. In: Proc. of IESM 2011, pp. 1363–1372. International Institute for Innovation, Industrial Engineering and Entrepreneurship (I4e2) (2011)
Seitz, C., Schönfelder, R.: Rule-Based OWL Reasoning for Specific Embedded Devices. In: Aroyo, L., Welty, C., Alani, H., Taylor, J., Bernstein, A., Kagal, L., Noy, N., Blomqvist, E. (eds.) ISWC 2011, Part II. LNCS, vol. 7032, pp. 237–252. Springer, Heidelberg (2011)
Sinner, A., Kleemann, T.: KRHyper - In Your Pocket. In: Nieuwenhuis, R. (ed.) CADE 2005. LNCS (LNAI), vol. 3632, pp. 452–457. Springer, Heidelberg (2005)
W3C, O.W.L.: Working Group. OWL 2 Web Ontology Language: Profiles. W3C Recommendation, October 27 (2009)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Grimm, S., Watzke, M., Hubauer, T., Cescolini, F. (2012). Embedded \(\mathcal{EL}\)+ Reasoning on Programmable Logic Controllers. In: Cudré-Mauroux, P., et al. The Semantic Web – ISWC 2012. ISWC 2012. Lecture Notes in Computer Science, vol 7650. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-35173-0_5
Download citation
DOI: https://doi.org/10.1007/978-3-642-35173-0_5
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-35172-3
Online ISBN: 978-3-642-35173-0
eBook Packages: Computer ScienceComputer Science (R0)