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 |