A diagnostics framework based on abductive description logic reasoning

2012 IEEE International Conference on Industrial Technology, ICIT 2012, Proceedings

Volumn , Issue , 2012, Pages 1047-1054

  Hubauer, Thomas M ^a   Grimm, Stephan ^b   Lamparter, Steffen ^b   Roshchin, Mikhail ^b  

^a HAMBURG UNIVERSITY OF TECHNOLOGY   (Germany)

^b SIEMENS AG   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATED DIAGNOSTICS; COMPLEX TECHNICAL SYSTEMS; DESCRIPTION LOGIC; DIAGNOSTIC MODEL; FORMAL MODEL; GAS TURBINE DIAGNOSTICS; INCOMPLETE INFORMATION; ISO STANDARDS; LOGIC-BASED MODELS; REASONING TASKS;

FORMAL LANGUAGES;

DATA DESCRIPTION;

EID: 84863975431     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICIT.2012.6210078     Document Type: Conference Paper

References (13)

1. D. Nardi, R. J. Brachman, F. Baader, W. Nutt, F. M. Donini, U. Sattler, D. Calvanese, R. Molitor, G. de Giacomo, R. Kusters, F. Wolter, D. L. McGuinness, P. F. Patel-Schneider, R. Müller, V. Haarslev, I. R. Horrocks, A. Borgida, C. A. Welty, A. L. Rector, E. Franconi, M. Lenzerini, and R. Rosati, The Description Logic Handbook: Theory, Implementation, and Applications, F. Baader, D. Calvanese, D. L. McGuinness, D. Nardi, and P. F. Patel-Schneider, Eds. Cambridge University Press, 2003.
2. W3C OWL Working Group, OWL 2 Web Ontology Language: Profiles, B. Motik, B. C. Grau, I. R. Horrocks, Z. Wu, A. Fokoue, and C. Lutz, Eds. W3C Recommendation, October 27 2009. [Online]. Available: http://www.w3.org/TR/ow12- profiles/
3. F. Baader, S. Brandt, and C. Lutz, "Pushing the EL envelope," in Proceedings of the 19th International Joint Conference on Artificial Intelligence (IJCAl 2005), L. P. Kaelbling and A. Saffiotti, Eds. Edinburgh, Scotland, UK: Professional Book Center, July 30 - August 5 2005, pp. 364-369.
4. H. E. Pople, "On the mechanization of abductive logic," in Proceedings of the 3rd International Joint Conference on Artificial Intelligence (IJCAl 1973), N. J. Nilsson, Ed. Stanford, California, USA: Morgan Kaufmann, August 1973, pp. 147-152.
5. S. Castano, I. S. Espinosa Peraldi, A. Ferrara, V. Karkaletsis, A. Kaya, R. Möller, S. Montanelli, G. Petasis, and M. Wessel, "Multimedia interpretation for dynamic ontology evolution," Journal of Logic and Computation, vol. 19, no. 5, pp. 859-897, 2009.
6. T. M. Hubauer, C. Legat, and C. Seitz, "Empowering adaptive manufacturing with interactive diagnostics: A multi-agent approach," in Proceedings of the 9th International Conference on Practical Applications of Agents and Multi-Agent Systems, ser. Advances in Intelligent and Soft-Computing, vol. 88. Springer, 2011, pp. 47-56.
7. T. M. Hubauer, S. Lamparter, and M. Pirker, "Relaxed abduction: Robust information interpretation for incomplete models," in Proceedings of the DL Home 24th International Workshop on Description Logics (DL 2011), ser. CEUR Workshop Proceedings, R. Rosati, S. Rudolph, and M. Zakharyaschev, Eds., vol. 745. Barcelona, Spain: CEUR-Ws.org, July 13-16 2011, pp. 180-190.
8. F. Brazier, J. Treur, and N. Wijngaards, "The acquisition of a shared task model," in Advances in Knowledge Acquisition, Proc. 9th European Knowledge Acquisition Workshop, EKAW'96, Lecture Notes in Artificial Intelligence. Springer, 1996, pp. 278-289.
9. N. S. Iyer and J. R. Josephson, "Multicriterially best explanations," in Proceedings of the 4th International Conference on Discovery Science (DS 2001), ser. Lecture Notes in Computer Science, K. P. Jantke and A. Shinohara, Eds., vol. 2226. Washington, District of Columbia, USA: Springer, November 2001, pp. 128-140.
10. J. Kwisthout, "Two new notions of abduction in bayesian networks," in Proceedings of the 22nd Benelux Conference on Artificial Intelligence (BNAIC 2010), Luxembourg, Luxembourg, October 25-26 2010.
11. R. Peñaloza, "Using tableaux and automata for pinpointing in EL," in Proceedings of the TABLEAUX 2009 Wokshop on Tableaux versus Automata as Logical Decision Methods (AutoTab 2009), V. Goranko, Ed., 2009.
12. T. M. Hubauer, S. Lamparter, and M. Pirker, "Automata-based abduction for tractable diagnosis," in Proceedings of the DL Home 23rd International Workshop on Description Logics (DL 2010), ser. CEUR Workshop Proceedings, V. Haarslev, D. Toman, and G. E. Weddell, Eds., vol. 573. Waterloo, CA: CEUR-WS.org, May 4-7 2010, pp. 360-371.
13. J. De Kleer, "An assumption-based TMS," Artificial Intelligence, vol. 28, no. 2, pp. 127-162, March 1986.