• myGriffith
    • Staff portal
    • Contact Us⌄
      • Future student enquiries 1800 677 728
      • Current student enquiries 1800 154 055
      • International enquiries +61 7 3735 6425
      • General enquiries 07 3735 7111
      • Online enquiries
      • Staff phonebook
    View Item 
    •   Home
    • Griffith Research Online
    • Conference outputs
    • View Item
    • Home
    • Griffith Research Online
    • Conference outputs
    • View Item
    JavaScript is disabled for your browser. Some features of this site may not work without it.

    Browse

  • All of Griffith Research Online
    • Communities & Collections
    • Authors
    • By Issue Date
    • Titles
  • This Collection
    • Authors
    • By Issue Date
    • Titles
  • Statistics

  • Most Popular Items
  • Statistics by Country
  • Most Popular Authors
  • Support

  • Contact us
  • FAQs
  • Admin login

  • Login
  • Uniform Interpolation for ALC Revisited

    Thumbnail
    View/Open
    60548_1.pdf (113.1Kb)
    Author(s)
    Wang, Zhe
    Wang, Kewen
    Topor, Rodney
    Pan, Jeff Z
    Antoniou, Grigoris
    Griffith University Author(s)
    Topor, Rodney W.
    Wang, Kewen
    Wang, Zhe
    Year published
    2009
    Metadata
    Show full item record
    Abstract
    The notion of uniform interpolation for description logic ALC has been introduced in the literature. In this paper, we reformulate the uniform interpolation for ALC from the angle of forgetting and show that it satisfies all desired properties of forgetting. Then we introduce an algorithm for computing the result of forgetting in concept descriptions. We present a detailed proof for the correctness of our algorithm using the Tableau for ALC . Our results have been used to compute forgetting for ALC knowledge bases.The notion of uniform interpolation for description logic ALC has been introduced in the literature. In this paper, we reformulate the uniform interpolation for ALC from the angle of forgetting and show that it satisfies all desired properties of forgetting. Then we introduce an algorithm for computing the result of forgetting in concept descriptions. We present a detailed proof for the correctness of our algorithm using the Tableau for ALC . Our results have been used to compute forgetting for ALC knowledge bases.
    View less >
    Conference Title
    AI 2009: ADVANCES IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS
    Volume
    5866
    DOI
    https://doi.org/10.1007/978-3-642-10439-8_53
    Publication URI
    http://hdl.handle.net/10072/31918
    Collection
    • Conference outputs

    Footer

    Disclaimer

    • Privacy policy
    • Copyright matters
    • CRICOS Provider - 00233E
    • TEQSA: PRV12076

    Tagline

    • Gold Coast
    • Logan
    • Brisbane - Queensland, Australia
    First Peoples of Australia
    • Aboriginal
    • Torres Strait Islander