Halland, KBritz, KKlarman, S2014-10-282014-10-282014-07Halland, K, Britz, K and Klarman, S. 2014. TBox abduction in ALC using a DL tableau. In: 27th International Workshop on Description Logics (DL2014), Vienna, Austria, 17-20 July 2014http://ceur-ws.org/Vol-1193/paper_42.pdfhttp://hdl.handle.net/10204/774427th International Workshop on Description Logics (DL2014), Vienna, Austria, 17-20 July 2014.The formal definition of abduction asks what needs to be added to a knowledge base to enable an observation to be entailed. TBox abduction in description logics (DLs) asks what TBox axioms need to be added to a DL knowledge base to allow a TBox axiom to be entailed. We describe a sound and complete algorithm, based on the standard DL tableau, that takes a TBox abduction problem in ALC and generates solutions in a restricted language. We then show how this algorithm can be enhanced to deal with a broader range of problems in ALC.enDescription logicsAbductionTableau algorithmsConference PresentationHalland, K., Britz, K., & Klarman, S. (2014). TBox abduction in ALC using a DL tableau. http://hdl.handle.net/10204/7744Halland, K, K Britz, and S Klarman. "TBox abduction in ALC using a DL tableau." (2014): http://hdl.handle.net/10204/7744Halland K, Britz K, Klarman S, TBox abduction in ALC using a DL tableau; 2014. http://hdl.handle.net/10204/7744 .TY - Conference Presentation AU - Halland, K AU - Britz, K AU - Klarman, S AB - The formal definition of abduction asks what needs to be added to a knowledge base to enable an observation to be entailed. TBox abduction in description logics (DLs) asks what TBox axioms need to be added to a DL knowledge base to allow a TBox axiom to be entailed. We describe a sound and complete algorithm, based on the standard DL tableau, that takes a TBox abduction problem in ALC and generates solutions in a restricted language. We then show how this algorithm can be enhanced to deal with a broader range of problems in ALC. DA - 2014-07 DB - ResearchSpace DP - CSIR KW - Description logics KW - Abduction KW - Tableau algorithms LK - https://researchspace.csir.co.za PY - 2014 T1 - TBox abduction in ALC using a DL tableau TI - TBox abduction in ALC using a DL tableau UR - http://hdl.handle.net/10204/7744 ER -