IDEAS home Printed from https://ideas.repec.org/a/igg/jswis0/v8y2012i2p1-33.html
   My bibliography  Save this article

Towards Practical ABox Abduction in Large Description Logic Ontologies

Author

Listed:
  • Jianfeng Du

    (Guangdong University of Foreign Studies & State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, China)

  • Guilin Qi

    (Southeast University & Key Laboratory of Symbolic Computation and Knowledge Engineering of Ministry of Education, Jilin University, China)

  • Yi-Dong Shen

    (State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, China)

  • Jeff Z. Pan

    (University of Aberdeen, UK)

Abstract

ABox abduction is an important reasoning facility in Description Logics (DLs). It finds all minimal sets of ABox axioms, called abductive solutions, which should be added to a background ontology to enforce entailment of an observation which is a specified set of ABox axioms. However, ABox abduction is far from practical by now because there lack feasible methods working in finite time for expressive DLs. To pave a way to practical ABox abduction, this paper proposes a new problem for ABox abduction and a new method for computing abductive solutions accordingly. The proposed problem guarantees finite number of abductive solutions. The proposed method works in finite time for a very expressive DL, , which underpins the W3C standard language OWL 2, and guarantees soundness and conditional completeness of computed results. Experimental results on benchmark ontologies show that the method is feasible and can scale to large ABoxes.

Suggested Citation

  • Jianfeng Du & Guilin Qi & Yi-Dong Shen & Jeff Z. Pan, 2012. "Towards Practical ABox Abduction in Large Description Logic Ontologies," International Journal on Semantic Web and Information Systems (IJSWIS), IGI Global, vol. 8(2), pages 1-33, April.
    • Handle: RePEc:igg:jswis0:v:8:y:2012:i:2:p:1-33
    as

    Download full text from publisher

    File URL: http://services.igi-global.com/resolvedoi/resolve.aspx?doi=10.4018/jswis.2012040101
    Download Restriction: no
    ---><---

    More about this item

    Statistics

    Access and download statistics

    Corrections

    All material on this site has been provided by the respective publishers and authors. You can help correct errors and omissions. When requesting a correction, please mention this item's handle: RePEc:igg:jswis0:v:8:y:2012:i:2:p:1-33. See general information about how to correct material in RePEc.

    If you have authored this item and are not yet registered with RePEc, we encourage you to do it here. This allows to link your profile to this item. It also allows you to accept potential citations to this item that we are uncertain about.

    We have no bibliographic references for this item. You can help adding them by using this form .

    If you know of missing items citing this one, you can help us creating those links by adding the relevant references in the same way as above, for each refering item. If you are a registered author of this item, you may also want to check the "citations" tab in your RePEc Author Service profile, as there may be some citations waiting for confirmation.

    For technical questions regarding this item, or to correct its authors, title, abstract, bibliographic or download information, contact: Journal Editor (email available below). General contact details of provider: https://www.igi-global.com .

    Please note that corrections may take a couple of weeks to filter through the various RePEc services.

    IDEAS is a RePEc service. RePEc uses bibliographic data supplied by the respective publishers.