Skip to main content
SpringerLink
Log in

A Tableau-Based Forgetting in ALCQ

  • Conference paper
  • First Online:
Knowledge Graph and Semantic Computing: Semantic, Knowledge, and Linked Big Data (CCKS 2016)

Part of the book series: Communications in Computer and Information Science ((CCIS,volume 650))

Included in the following conference series:

  • 1437 Accesses

Abstract

Forgetting is a useful tool for tailoring ontologies by reducing the number of concepts and roles. The issue of forgetting for general ontologies in more expressive description logics, such as \(\mathcal {ALCQ}\) and \(\mathcal {SHIQ}\), is largely unexplored. In this paper, we develop a decidable, sound, and complete tableau-based algorithm to implement the forgetting-based reasoning. Our tableau algorithm is technically feasibly extended to explore the forgetting in more expressive ontology languages.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

References

  1. Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F.: The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press, Cambridge (2003)

    MATH  Google Scholar 

  2. Horrocks, I., Sattler, U.: Decidability of SHIQ with complex role inclusion axioms. Artif. Intell. 160(1–2), 79–104 (2004)

    Article  MathSciNet  MATH  Google Scholar 

  3. Wang, Z., Wang, K., Topor, R., Pan, Z.J.: Forgetting for knowledge bases in DL-Lite. Ann. Math. Artif. Intell. 58(1–2), 117–151 (2010)

    Article  MathSciNet  MATH  Google Scholar 

  4. Wang, Z., Wang, K., Topor, R., Zhang, X.: Tableau-based forgetting in ALC ontologies. In: Proceedings of ECAI 2010, pp. 47–52 (2010)

    Google Scholar 

  5. Zhang, X.: Forgetting for distance-based reasoning and repair in DL-Lite. Knowl. Based Syst. 107, 246–260 (2016)

    Article  Google Scholar 

  6. Zhang, X., Wang, K., Wang, Z., Ma, Y., Qi, G., Feng, Z.: A distance-based framework for inconsistency-tolerant reasoning and inconsistency measurement in DL-Lite. Int. J. Approx. Reason. (2016). http://dx.doi.org/10.1016/j.ijar.2016.08.003

Download references

Acknowledgments

This work is supported by the program of Applied Mathematics Discipline of Shanghai Polytechnic University (XXKPY1604) and the open funding project of Key Laboratory of Computer Network and Information Integration (Southeast University), Ministry of Education.

Author information

Authors and Affiliations

  1. College of Arts and Sciences, Shanghai Polytechnic University, Shanghai, 201209, China

    Hong Fang

  2. School of Computer Science and Technology, Tianjin University, Tianjin, 300350, China

    Xiaowang Zhang

  3. Tianjin Key Laboratory of Cognitive Computing and Application, Tianjin, 300350, China

    Xiaowang Zhang

  4. Key Laboratory of Computer Network and Information Integration, Southeast University, Ministry of Education, Nanjing, 211189, China

    Xiaowang Zhang

Authors
  1. Hong Fang
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Xiaowang Zhang
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Xiaowang Zhang .

Editor information

Editors and Affiliations

  1. Zhejiang University, Zhejiang, China

    Huajun Chen

  2. Rensselaer Polytechnic Institute, Troy, New York, USA

    Heng Ji

  3. Chinese Academy of Sciences, Beijing, China

    Le Sun

  4. Google Research, Mountain View, California, USA

    Haixun Wang

  5. Wuhan University, Wuhan, Hubei, China

    Tieyun Qian

  6. East China University of Science and Technology, Shanghai, China

    Tong Ruan

Rights and permissions

Reprints and permissions

Copyright information

© 2016 Springer Nature Singapore Pte Ltd.

About this paper

Cite this paper

Fang, H., Zhang, X. (2016). A Tableau-Based Forgetting in ALCQ. In: Chen, H., Ji, H., Sun, L., Wang, H., Qian, T., Ruan, T. (eds) Knowledge Graph and Semantic Computing: Semantic, Knowledge, and Linked Big Data. CCKS 2016. Communications in Computer and Information Science, vol 650. Springer, Singapore. https://doi.org/10.1007/978-981-10-3168-7_11

Download citation

  • DOI: https://doi.org/10.1007/978-981-10-3168-7_11

  • Published:

  • Publisher Name: Springer, Singapore

  • Print ISBN: 978-981-10-3167-0

  • Online ISBN: 978-981-10-3168-7

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation