ResearchSpace

Naive 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:18:51Z
dc.date.available 2013-03-25T06:18:51Z
dc.date.issued 2012-06
dc.identifier.citation Halland, K and Britz, K. 2012. Naive ABox abduction in ALC using a DL reasoner. Proceedings of the 25th International Workshop on Description Logics, 7-10 June 2012, Rome, Italy, volume 846 CEUR Workshop Proceedings en_US
dc.identifier.issn 1613-0073
dc.identifier.uri http://ceur-ws.org/Vol-846/paper_47.pdf
dc.identifier.uri http://www.cair.za.net/sites/default/files/outputs/NAAinA4.pdf
dc.identifier.uri http://hdl.handle.net/10204/6585
dc.description 25th International Workshop on Description Logics, Rome, Italy, 7-10 June 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. An observation which is not entailed by the knowledge base will result in open branches in a complete semantic tableau for the entailment. The statements required to close these branches therefore represent a solution to the abductive problem. In this paper we describe how this idea can be implemented for ABox abduction in the description logic ALC. We analyse the limitations of our algorithm and propose refinements to improve the quality of results. en_US
dc.language.iso en en_US
dc.publisher Sun SITE Central Europe (CEUR) en_US
dc.relation.ispartofseries Workflow;9874
dc.subject Description logics en_US
dc.subject ABox abduction en_US
dc.subject ALC description logics en_US
dc.subject Semantics en_US
dc.title Naive ABox abduction in ALC using a DL tableau en_US
dc.type Conference Presentation en_US
dc.identifier.apacitation Halland, K., & Britz, K. (2012). Naive ABox abduction in ALC using a DL tableau. Sun SITE Central Europe (CEUR). http://hdl.handle.net/10204/6585 en_ZA
dc.identifier.chicagocitation Halland, K, and K Britz. "Naive ABox abduction in ALC using a DL tableau." (2012): http://hdl.handle.net/10204/6585 en_ZA
dc.identifier.vancouvercitation Halland K, Britz K, Naive ABox abduction in ALC using a DL tableau; Sun SITE Central Europe (CEUR); 2012. http://hdl.handle.net/10204/6585 . 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. An observation which is not entailed by the knowledge base will result in open branches in a complete semantic tableau for the entailment. The statements required to close these branches therefore represent a solution to the abductive problem. In this paper we describe how this idea can be implemented for ABox abduction in the description logic ALC. We analyse the limitations of our algorithm and propose refinements to improve the quality of results. DA - 2012-06 DB - ResearchSpace DP - CSIR KW - Description logics KW - ABox abduction KW - ALC description logics KW - Semantics LK - https://researchspace.csir.co.za PY - 2012 SM - 1613-0073 T1 - Naive ABox abduction in ALC using a DL tableau TI - Naive ABox abduction in ALC using a DL tableau UR - http://hdl.handle.net/10204/6585 ER - en_ZA


Files in this item

Thumbnail
Name: Britz3_2012.pdf
Size: 267.9Kb
Format: PDF
View/Open

This item appears in the following Collection(s)

Show simple item record