Skip to main content

Diagnostics of Trains with Semantic Diagnostics Rules

  • Conference paper
  • First Online:
Inductive Logic Programming (ILP 2018)

Abstract

Industry today employs rule-based diagnostic systems to minimize the maintenance cost and downtime of equipment. Rules are typically used to process signals from sensors installed in equipment by filtering, aggregating, and combining sequences of time-stamped measurements recorded by the sensors. Such rules are often data-dependent in the sense that they rely on specific characteristics of individual sensors and equipment. This dependence poses significant challenges in rule authoring, reuse, and maintenance by engineers especially when the rules require domain knowledge. In this work we propose an approach to address these problems by relying on the well-known Ontology-Based Data Access approach: we propose to use ontologies to mediate the sensor signals and the rules. To this end, we propose a semantic rule language, SDRL, where signals are first class citizens. Our language offers a balance of expressive power, usability, and efficiency: it captures most of Siemens data-driven diagnostic rules, significantly simplifies authoring of diagnostic tasks, and allows to efficiently rewrite semantic rules from ontologies to data and execute over data. We implemented our approach in a semantic diagnostic system and evaluated it. For evaluation we developed a use case of rail systems at Siemens and conducted experiments to demonstrate both usability and efficiency of our solution.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

References

  1. Artale, A., Kontchakov, R., Ryzhikov, V., Zakharyaschev, M.: The complexity of clausal fragments of LTL. In: McMillan, K., Middeldorp, A., Voronkov, A. (eds.) LPAR 2013. LNCS, vol. 8312, pp. 35–52. Springer, Heidelberg (2013). https://doi.org/10.1007/978-3-642-45221-5_3

    Chapter  Google Scholar 

  2. Artale, A., Kontchakov, R., Wolter, F., Zakharyaschev, M.: Temporal description logic for ontology-based data access. In: IJCAI 2013 (2013)

    Google Scholar 

  3. Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F. (eds).: The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press, Cambridge (2003)

    Google Scholar 

  4. Brandt, S., Kalaycı, E., Kontchakov, R., Ryzhikov, V., Xiao, G., Zakharyaschev, M.: Ontology-based data access with a horn fragment of metric temporal logic. In: AAAI (2017)

    Google Scholar 

  5. Calvanese, D., et al.: Ontop: answering SPARQL queries over relational databases. JWS 8(3), 471–487 (2017)

    Google Scholar 

  6. Calvanese, D., et al.: The MASTRO system for ontology-based data access. JWS 2(1), 43–53 (2011)

    Google Scholar 

  7. Calvanese, D., De Giacomo, G., Lembo, D., Lenzerini, M., Rosati, R.: Tractable reasoning and efficient query answering in description logics: the DL-lite family. JAR 39(3), 385–429 (2007)

    Article  MathSciNet  Google Scholar 

  8. Charron, B., Hirate, Y., Purcell, D., Rezk, M.: Extracting semantic information for e-Commerce. In: Groth, P., et al. (eds.) ISWC 2016. LNCS, vol. 9982, pp. 273–290. Springer, Cham (2016). https://doi.org/10.1007/978-3-319-46547-0_27

  9. Corcho, O., Calbimonte, J., Jeung, H., Aberer, K.: Enabling query technologies for the semantic sensor web. Int. J. Semant. Web Inf. Syst. 8(1), 43–63 (2012)

    Article  Google Scholar 

  10. Horrocks, I., Giese, M., Kharlamov, E., Waaler, A.: Using semantic technology to tame the data variety challenge. IEEE Int. Comput. 20(6), 62–66 (2016)

    Article  Google Scholar 

  11. Kharlamov, E.: Ontology based access to exploration data at statoil. In: Arenas, M., et al. (eds.) ISWC 2015. LNCS, vol. 9367, pp. 93–112. Springer, Cham (2015). https://doi.org/10.1007/978-3-319-25010-6_6

  12. Kharlamov, E.: Optique: towards OBDA systems for industry. In: Cimiano, P., Fernández, M., Lopez, V., Schlobach, S., Völker, J. (eds.) ESWC 2013. LNCS, vol. 7955, pp. 125–140. Springer, Heidelberg (2013). https://doi.org/10.1007/978-3-642-41242-4_11

    Chapter  Google Scholar 

  13. Kharlamov, E.: How semantic technologies can enhance data access at siemens energy. In: Mika, P., et al. (eds.) ISWC 2014. LNCS, vol. 8796, pp. 601–619. Springer, Cham (2014). https://doi.org/10.1007/978-3-319-11964-9_38

  14. Koymans, R.: Specifying real-time properties with metric temporal logic. Real-Time Syst. 2(4), 255–299 (1990)

    Article  Google Scholar 

  15. Mehdi, G., Brandt, S., Roshchin, M., Runkler, T.A.: Semantic framework for industrial analytics and diagnostics. In: IJCAI (2016)

    Google Scholar 

  16. Mehdi, G., Brandt, S., Roshchin, M., Runkler, T.A.: Towards semantic reasoning in knowledge management systems. In: AI for Knowledge Management Workshop at IJCAI (2016)

    Google Scholar 

  17. Poggi, A., Lembo, D., Calvanese, D., De Giacomo, G., Lenzerini, M., Rosati, R.: Linking data to ontologies. J. Data Semant. 10, 133–173 (2008)

    MATH  Google Scholar 

  18. Rao, B.: Handbook of Condition Monitoring. Elsevier, Oxford (1996)

    Google Scholar 

  19. Vachtsevanos, G., Lewis, F.L., Roemer, M., Hess, A., Wu, B.: Intelligent Fault Diagnosis and Prognosis for Engineering Systems. Wiley, Hoboken (2006)

    Book  Google Scholar 

Download references

Acknowledgments

This research is partially supported by the Free University of Bozen-Bolzano projects QUEST, ROBAST and QUADRO.

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Ognjen Savković .

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2018 Springer Nature Switzerland AG

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Kharlamov, E. et al. (2018). Diagnostics of Trains with Semantic Diagnostics Rules. In: Riguzzi, F., Bellodi, E., Zese, R. (eds) Inductive Logic Programming. ILP 2018. Lecture Notes in Computer Science(), vol 11105. Springer, Cham. https://doi.org/10.1007/978-3-319-99960-9_4

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-99960-9_4

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-99959-3

  • Online ISBN: 978-3-319-99960-9

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics