Show simple item record

dc.contributor.authorDu, Jianfeng
dc.contributor.authorWang, Kewen
dc.contributor.authorShen, Yi-Dong
dc.contributor.editorCarla E. Brodley, Peter Stone
dc.date.accessioned2018-03-26T01:31:03Z
dc.date.available2018-03-26T01:31:03Z
dc.date.issued2014
dc.identifier.isbn9781577356783
dc.identifier.refurihttp://www.aaai.org/Conferences/AAAI/aaai14.php
dc.identifier.urihttp://hdl.handle.net/10072/67884
dc.description.abstractABox abduction is an important reasoning mechanism for description logic ontologies. It computes all minimal explanations (sets of ABox assertions) whose appending to a consistent ontology enforces the entailment of an observation while keeps the ontology consistent. We focus on practical computation for a general problem of ABox abduction, called the query abduction problem, where an observation is a Boolean conjunctive query and the explanations may contain fresh individuals neither in the ontology nor in the observation. However, in this problem there can be infinitely many minimal explanations. Hence we first identify a class of TBoxes called first-order rewritable TBoxes. It guarantees the existence of finitely many minimal explanations and is sufficient for many ontology applications. To reduce the number of explanations that need to be computed, we introduce a special kind of minimal explanations called representative explanations from which all minimal explanations can be retrieved. We develop a tractable method (in data complexity) for computing all representative explanations in a consistent ontology. xperimental results demonstrate that the method is efficient and scalable for ontologies with large ABoxes.
dc.description.peerreviewedYes
dc.description.publicationstatusYes
dc.languageEnglish
dc.publisherAAAI
dc.publisher.urihttp://www.aaai.org/Conferences/AAAI/aaai14.php
dc.relation.ispartofstudentpublicationN
dc.relation.ispartofconferencename28th AAAI Conference on Artificial Intelligence
dc.relation.ispartofconferencetitlePROCEEDINGS OF THE TWENTY-EIGHTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE
dc.relation.ispartofdatefrom2014-07-27
dc.relation.ispartofdateto2014-07-31
dc.relation.ispartoflocationQuebec City, CANADA
dc.relation.ispartofpagefrom1034
dc.relation.ispartofpagefrom7 pages
dc.relation.ispartofpageto1040
dc.relation.ispartofpageto7 pages
dc.relation.ispartofvolume2
dc.rights.retentionY
dc.subject.fieldofresearchArtificial Intelligence and Image Processing not elsewhere classified
dc.subject.fieldofresearchComputational Logic and Formal Languages
dc.subject.fieldofresearchcode080199
dc.subject.fieldofresearchcode080203
dc.titleA Tractable Approach to ABox Abduction over Description Logic Ontologies
dc.typeConference output
dc.type.descriptionE1 - Conferences
dc.type.codeE - Conference Publications
gro.hasfulltextNo Full Text
gro.griffith.authorWang, Kewen
gro.griffith.authorShen, Yi-Dong


Files in this item

FilesSizeFormatView

There are no files associated with this item.

This item appears in the following Collection(s)

  • Conference outputs
    Contains papers delivered by Griffith authors at national and international conferences.

Show simple item record