Halland, KBritz, K2013-03-252013-03-252012-10Halland, K and Britz, K. 2012. ABox abduction in ALC using a DL tableau. South African Institute for Computer Scientists and Information Technologists Conference (SAICSIT), Centurion, 1-3 October 2012, pp. 51-58978-1-4503-1308-7http://delivery.acm.org/10.1145/2390000/2389843/p51-halland.pdf?ip=146.64.81.22&acc=ACTIVE%20SERVICE&CFID=222268504&CFTOKEN=42986888&__acm__=1354878112_ab145f7144f96c664f09935c84932823http://www.cair.za.net/sites/default/files/outputs/HallandBritzSAICSIT2012l.pdfhttp://dl.acm.org/citation.cfm?id=2389836http://hdl.handle.net/10204/6580South African Institute for Computer Scientists and Information Technologists Conference (SAICSIT), Centurion, 1-3 October 2012The formal definition of abduction asks what needs to be added to a knowledge base to enable an observation to be entailed by the knowledge base. ABox abduction in description logics (DLs) asks what ABox statements need to be added to a DL knowledge base, to allow an observation (also in the form of ABox statements) to be entailed. Klarman et al [8] have provided an algorithm for performing ABox abduction in the description logic ALC by converting the knowledge base and observation to rst-order logic, using a connection tableau to obtain abductive solutions, and then converting these back to DL syntax. In this paper we describe how this can be done directly using a DL tableau.enArtificial intelligenceAlgorithmsDescription logicsSemantic tableauxConference PresentationHalland, K., & Britz, K. (2012). ABox abduction in ALC using a DL tableau. ACM. http://hdl.handle.net/10204/6580Halland, K, and K Britz. "ABox abduction in ALC using a DL tableau." (2012): http://hdl.handle.net/10204/6580Halland K, Britz K, ABox abduction in ALC using a DL tableau; ACM; 2012. http://hdl.handle.net/10204/6580 .TY - Conference Presentation AU - Halland, K AU - Britz, K AB - The formal definition of abduction asks what needs to be added to a knowledge base to enable an observation to be entailed by the knowledge base. ABox abduction in description logics (DLs) asks what ABox statements need to be added to a DL knowledge base, to allow an observation (also in the form of ABox statements) to be entailed. Klarman et al [8] have provided an algorithm for performing ABox abduction in the description logic ALC by converting the knowledge base and observation to rst-order logic, using a connection tableau to obtain abductive solutions, and then converting these back to DL syntax. In this paper we describe how this can be done directly using a DL tableau. DA - 2012-10 DB - ResearchSpace DP - CSIR KW - Artificial intelligence KW - Algorithms KW - Description logics KW - Semantic tableaux LK - https://researchspace.csir.co.za PY - 2012 SM - 978-1-4503-1308-7 T1 - ABox abduction in ALC using a DL tableau TI - ABox abduction in ALC using a DL tableau UR - http://hdl.handle.net/10204/6580 ER -