ResearchSpace

TBox abduction in ALC using a DL tableau

Show simple item record

dc.contributor.author Halland, K
dc.contributor.author Britz, K
dc.contributor.author Klarman, S
dc.date.accessioned 2014-10-28T08:56:48Z
dc.date.available 2014-10-28T08:56:48Z
dc.date.issued 2014-07
dc.identifier.citation Halland, K, Britz, K and Klarman, S. 2014. TBox abduction in ALC using a DL tableau. In: 27th International Workshop on Description Logics (DL2014), Vienna, Austria, 17-20 July 2014 en_US
dc.identifier.uri http://ceur-ws.org/Vol-1193/paper_42.pdf
dc.identifier.uri http://hdl.handle.net/10204/7744
dc.description 27th International Workshop on Description Logics (DL2014), Vienna, Austria, 17-20 July 2014. 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. TBox abduction in description logics (DLs) asks what TBox axioms need to be added to a DL knowledge base to allow a TBox axiom to be entailed. We describe a sound and complete algorithm, based on the standard DL tableau, that takes a TBox abduction problem in ALC and generates solutions in a restricted language. We then show how this algorithm can be enhanced to deal with a broader range of problems in ALC. en_US
dc.language.iso en en_US
dc.relation.ispartofseries Workflow;13515
dc.subject Description logics en_US
dc.subject Abduction en_US
dc.subject Tableau algorithms en_US
dc.title TBox abduction in ALC using a DL tableau en_US
dc.type Conference Presentation en_US
dc.identifier.apacitation Halland, K., Britz, K., & Klarman, S. (2014). TBox abduction in ALC using a DL tableau. http://hdl.handle.net/10204/7744 en_ZA
dc.identifier.chicagocitation Halland, K, K Britz, and S Klarman. "TBox abduction in ALC using a DL tableau." (2014): http://hdl.handle.net/10204/7744 en_ZA
dc.identifier.vancouvercitation Halland K, Britz K, Klarman S, TBox abduction in ALC using a DL tableau; 2014. http://hdl.handle.net/10204/7744 . en_ZA
dc.identifier.ris TY - Conference Presentation AU - Halland, K AU - Britz, K AU - Klarman, S AB - The formal definition of abduction asks what needs to be added to a knowledge base to enable an observation to be entailed. TBox abduction in description logics (DLs) asks what TBox axioms need to be added to a DL knowledge base to allow a TBox axiom to be entailed. We describe a sound and complete algorithm, based on the standard DL tableau, that takes a TBox abduction problem in ALC and generates solutions in a restricted language. We then show how this algorithm can be enhanced to deal with a broader range of problems in ALC. DA - 2014-07 DB - ResearchSpace DP - CSIR KW - Description logics KW - Abduction KW - Tableau algorithms LK - https://researchspace.csir.co.za PY - 2014 T1 - TBox abduction in ALC using a DL tableau TI - TBox abduction in ALC using a DL tableau UR - http://hdl.handle.net/10204/7744 ER - en_ZA


Files in this item

Thumbnail
Name: Britz_2014.pdf
Size: 277.9Kb
Format: PDF
View/Open

This item appears in the following Collection(s)

Show simple item record