Abstract
Medical diagnosis can be defined as the detection of a disease by examining a patient’s signs, symptoms and history. Diagnostic reasoning can be viewed as a process of testing hypotheses guided by symptoms and signs. Solutions to diagnostic problems can be found by generating a limited number of hypotheses early in the diagnostic process and using them to guide subsequent collection of data. Each hypothesis, if correct, can be used to pre-dict what additional findings must be present, and the diagnostic process would then be a guided search for these findings. The process depends on the medical knowledge available. Description Logic-based ontologies provide class definitions (i.e., the necessary and sufficient conditions for defining class membership). In medicine, these definitions correspond to diagnostic criteria, i.e., the particular form of diseases should be associated with the relevant disease categories. In this paper, we model medical diagnosis as an (iterative) abductive reasoning process using ALC. ALC is employed to take advantage of its inference services. However, the inference capabilities provided by DL are not sufficient for diagnosis purposes. The contributions of the paper include: (1) arguing for the need for a disease-symptoms ontology, (2) proposing an ontological representation which, beside facilitating abductive reasoning, takes into account the diagnostic criteria such that specific patient conditions can be classified under a specific disease, and (3) employing Abox abduction to capture the process of medical diagnosis (the process of generating and testing hypotheses) on this proposed representation.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Al-Shaikh, A., Khattab, H., Moubaiddin, A., Obeid, N.: A defeasible description logic for representing bibliographic data. In: Taha, N., Al-Sayyed, R., Alqatawna, J., Rodan, A. (eds.) Social Media Shaping e-Publishing and Academia, pp. 95–105. Springer, Cham (2017). https://doi.org/10.1007/978-3-319-55354-2_8
Artale, A., Kontchakov, R., Wolter, F., Zakharyaschev, M.: Temporal description logic for ontology-based data access. In: IJCAI 2013, pp. 711–717 (2013)
Baader, F., Sattler, U.: An overview of tableau algorithms for description logics. Stud. Logica 69, 5–40 (2001)
Baader, F., Nutt, W.: Basic description logics. In: Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P. (eds.) Description Logic Handbook, chapter 2, pp. 43–95 (2003)
Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P.F. (eds.): The Description Logic Handbook: Theory, Implementation and Applications. Cambridge University Press, Cambridge, Cambridge (2003)
Bertaud-Gounot, V., Duvauferrier, R., Burgun, A.: Ontology and medical diagnosis. Inf. Health Soc. Care 37(2), 51–61 (2012)
Cornet, R., de Keizer, N.: Forty years of SNOMED: a literature review. BMC Med. Inf. Decis. Making 8(1) (2008)
Donnelly, K.: SNOMED-CT: the advanced terminology and coding system for eHealth. Stud. Health Technol. Inf. 121, 279 (2006)
Du, J., Qi, G., Shen, Y., Pan, J.: Towards practical Abox abduction in large OWL DL ontologies. In: Proceedings of the 25th AAAI Conference on Artificial Intelligence, pp. 1160–1165 (2011)
Eiter, T., Gottlob, G.: The complexity of logic-based abduction. J. ACM 42(1), 3–42 (1995)
Elsenbroich, C., Kutz, O., Sattler, U., et al.: A case for abductive reasoning over ontologies. In: Proceedings of the 9th OWL: Experiences and Directions, pp. 56–75. IOS Press, Amsterdam (2006)
Halland, K., Britz, K.: Naive ABox abduction in ALC using a DL tableau. In: Proceedings of the 25th International Workshop on Description Logics (DL), pp. 443–453 (2012)
Hijazi, S., Jabri, R., Obeid, N.: On drug dosage control using description defeasible logic. In: International Conference on Computational Science and Computational Intelligence (CSCI). IEEE (2017)
Horrocks, I., Sattler, U., Tobies, S.: Practical reasoning for expressive description logics. In: Ganzinger, H., McAllester, D., Voronkov, A. (eds.) LPAR 1999. LNCS (LNAI), vol. 1705, pp. 161–180. Springer, Heidelberg (1999). https://doi.org/10.1007/3-540-48242-3_11
Horrocks, I., Sattler, U.: A description logic with transitive and inverse roles and role hierarchies. J. Log. Comput. 9(3), 385–410 (1999)
Klarman, S., Eendriss, U., Schlobach, S., et al.: ABox abduction in the description logic ALC. J. Autom. Reason. 46(1), 43–80 (2011)
Magnani, L.: Abductive reasoning: philosophical and educational perspectives in medicine. In: Evans, D.A., Patel, V.L. (eds.) Advanced Models of Cognition for Medical Training and Practice. Springer, Berlin (1992). https://doi.org/10.1007/978-3-662-02833-9_2
Magnani, L.: Abduction, Reason, and Science: Processes of Discovery and Explanation. Kluwer Academic/Plenum Publishers, New York (2001)
Moubaiddin, A., Obeid, N.: The role of dialogue in remote diagnostics. In: Proceedings of the 20th International Conference on Condition Monitoring & Diagnostic Engineering Management (2007)
Moubaiddin, A., Obeid, N.: Dialogue and argumentation in multi-agent diagnosis. In: Nguyen, N.T., Katarzyniak, R. (eds.) New Challenges in Applied Intelligence Technologies, Studies in Computational Intelligence, vol. 134, pp. 13–22. Springer, Heidelberg (2008). https://doi.org/10.1007/978-3-540-79355-7_2
Moubaiddin, A., Obeid, N.: Partial information basis for agent-based collaborative dialogue. Appl. Intell. 30(2), 142–167 (2009)
Moubaiddin, A., Obeid, N.: On formalizing social commitments in dialogue and argumentation models using temporal defeasible logic. Knowl. Inf. Syst. 37(2), 417–452 (2013)
Moubaiddin, A., Salah, I., Obeid, N.: A temporal modal defeasible logic for formalizing social commitments in dialogue and argumentation models. Appl. Intell. 48(3), 608–627 (2018)
Obeid, N.: Three valued logic and nonmonotonic reasoning. Comput. Artif. Intell. 15(6), 509–530 (1996)
Obeid, N.: Towards a model of learning through communication. Knowl. Inf. Syst. 2(4), 498–508 (2000)
Obeid, N.: A formalism for representing and reasoning with temporal information, event and change. Appl. Intell. 23(2), 109–119 (2005)
Obeid, N., Moubaiddin, A.: Towards a formal model of knowledge sharing in complex systems. In: Szczerbicki, E., Nguyen, N.T. (eds.) Smart Information and Knowledge Management, Studies in Computational Intelligence Series, pp. 53–82. Springer, Heidelberg (2010). https://doi.org/10.1007/978-3-642-04584-4_3
Obeid, N., Rao, R.B.: On integrating event definition and event detection. Knowl. Inf. Syst. 22(2), 129–158 (2010)
Obeid, N., Rawashdeh, E., Alduweib, E., Moubaiddin, A.: On ontology-based diagnosis and defeasibility. In: International Conference on Computational Science and Computational Intelligence (CSCI), pp. 57–62. IEEE (2016)
PukancovĂ¡, J., Martin, H.: Abductive reasoning with description logics: use case in medical diagnosis. In: Proceedings of the 28th International Workshop on Description Logics (2015)
Sabri, K.E., Obeid, N.: A temporal defeasible logic for handling access control policies. Appl. Intell. 44(1), 30–42 (2016)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2019 Springer Nature Switzerland AG
About this paper
Cite this paper
Obeid, M., Obeid, Z., Moubaiddin, A., Obeid, N. (2019). Using Description Logic and Abox Abduction to Capture Medical Diagnosis. In: Wotawa, F., Friedrich, G., Pill, I., Koitz-Hristov, R., Ali, M. (eds) Advances and Trends in Artificial Intelligence. From Theory to Practice. IEA/AIE 2019. Lecture Notes in Computer Science(), vol 11606. Springer, Cham. https://doi.org/10.1007/978-3-030-22999-3_33
Download citation
DOI: https://doi.org/10.1007/978-3-030-22999-3_33
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-22998-6
Online ISBN: 978-3-030-22999-3
eBook Packages: Computer ScienceComputer Science (R0)