ResearchSpace

ABox abduction in ALC using a DL tableau

Show simple item record

dc.contributor.author Halland, K
dc.contributor.author Britz, K
dc.date.accessioned 2013-03-25T06:16:31Z
dc.date.available 2013-03-25T06:16:31Z
dc.date.issued 2012-10
dc.identifier.citation Halland, 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-58 en_US
dc.identifier.isbn 978-1-4503-1308-7
dc.identifier.uri http://delivery.acm.org/10.1145/2390000/2389843/p51-halland.pdf?ip=146.64.81.22&acc=ACTIVE%20SERVICE&CFID=222268504&CFTOKEN=42986888&__acm__=1354878112_ab145f7144f96c664f09935c84932823
dc.identifier.uri http://www.cair.za.net/sites/default/files/outputs/HallandBritzSAICSIT2012l.pdf
dc.identifier.uri http://dl.acm.org/citation.cfm?id=2389836
dc.identifier.uri http://hdl.handle.net/10204/6580
dc.description South African Institute for Computer Scientists and Information Technologists Conference (SAICSIT), Centurion, 1-3 October 2012 en_US
dc.description.abstract 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. en_US
dc.language.iso en en_US
dc.publisher ACM en_US
dc.relation.ispartofseries Workflow;9873
dc.subject Artificial intelligence en_US
dc.subject Algorithms en_US
dc.subject Description logics en_US
dc.subject Semantic tableaux en_US
dc.title ABox abduction in ALC using a DL tableau en_US
dc.type Conference Presentation en_US
dc.identifier.apacitation Halland, K., & Britz, K. (2012). ABox abduction in ALC using a DL tableau. ACM. http://hdl.handle.net/10204/6580 en_ZA
dc.identifier.chicagocitation Halland, K, and K Britz. "ABox abduction in ALC using a DL tableau." (2012): http://hdl.handle.net/10204/6580 en_ZA
dc.identifier.vancouvercitation Halland K, Britz K, ABox abduction in ALC using a DL tableau; ACM; 2012. http://hdl.handle.net/10204/6580 . en_ZA
dc.identifier.ris 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 - en_ZA


Files in this item

Thumbnail
Name: Britz2_2012.pdf
Size: 230.2Kb
Format: PDF
View/Open

This item appears in the following Collection(s)

Show simple item record