GENERAL ENQUIRIES: Tel: + 27 12 841 2911 | Email: callcentre@csir.co.za

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 Presentation en_US


Files in this item

This item appears in the following Collection(s)

Show simple item record

Search ResearchSpace


Advanced Search

Browse

My Account