• 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
  • Concept and role forgetting in ALC Ontologies

    Thumbnail
    View/Open
    60526_1.pdf (208.5Kb)
    Author(s)
    Wang, Kewen
    Wang, Zhe
    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
    Forgetting is a useful tool for tailoring ontologies by reducing the number of concepts and roles, while preserving sound and complete reasoning. Some attempts have been made to address the problem of forgetting in some relatively simple description logics (DLs) such as DL-Lite and extended EL . Ontologies in those works are mostly expressed as TBoxes rather than general knowledge bases (KBs). However, the issue of forgetting for general KBs in more expressive ontology languages, such as ALC and OWL DL, is largely unexplored. In particular, the problem of characterizing and computing forgetting is still open. In this ...
    View more >
    Forgetting is a useful tool for tailoring ontologies by reducing the number of concepts and roles, while preserving sound and complete reasoning. Some attempts have been made to address the problem of forgetting in some relatively simple description logics (DLs) such as DL-Lite and extended EL . Ontologies in those works are mostly expressed as TBoxes rather than general knowledge bases (KBs). However, the issue of forgetting for general KBs in more expressive ontology languages, such as ALC and OWL DL, is largely unexplored. In particular, the problem of characterizing and computing forgetting is still open. In this paper, we first define semantic forgetting about concepts and roles in ALC ontologies and show several important properties of forgetting in this setting. Unlike the case of DL-Lite, the result of forgetting in an ALC ontology may not exist in general, which makes the problem of how to compute forgetting in ALC more challenging. As a result, we tackle the non-existence of the result of forgetting in ALC ontologies by first investigating forgetting in concept descriptions and then defining and studying a series of approximations to the result of forgetting in ALC ontologies. We show that forgetting in ALC ontologies can be approximated through computing forgetting for concept descriptions. Our algorithms can be embedded into an ontology editor to enhance its ability to manage and apply (large) ontologies.
    View less >
    Conference Title
    SEMANTIC WEB - ISWC 2009, PROCEEDINGS
    Volume
    5823
    Publisher URI
    http://iswc2009.semanticweb.org/
    Copyright Statement
    © 2009 SWSA. The attached file is reproduced here in accordance with the copyright policy of the publisher. Please refer to the conference website for access to the definitive, published version.
    Publication URI
    http://hdl.handle.net/10072/29771
    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