Skip to main content
SpringerLink
Log in

FAME: An Automated Tool for Semantic Forgetting in Expressive Description Logics

  • Conference paper
  • First Online:
Automated Reasoning (IJCAR 2018)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 10900))

Included in the following conference series:

Abstract

In this paper, we describe a high-performance reasoning tool, called Fame, for semantic forgetting in expressive description logics. Forgetting is a non-standard reasoning service that seeks to create restricted views of ontologies by eliminating concept and role names from ontologies in such a way that all logical consequences up to the remaining signature are preserved. Fame is a Java-based implementation of an Ackermann-based method for forgetting concept and role names from ontologies expressible in the description logic \(\mathcal {ALCOIH}\). \(\mathcal {ALCOIH}\) is the extension of the basic description logic \(\mathcal {ALC}\) with nominals, inverse roles and role inclusions. Fame can be used as a standalone tool or a Java library for forgetting or related tasks. Results of an evaluation of Fame on a corpus of 396 biomedical ontologies have shown that: (i) in more than 90% of the test cases Fame was successful (i.e., eliminated all specified concept and role names) and (ii) the elimination was done within one second in more than 70% of the successful cases.

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

Notes

  1. 1.

    http://owlcs.github.io/owlapi/.

  2. 2.

    https://bioportal.bioontology.org/.

References

  1. Ackermann, W.: Untersuchungen über das eliminationsproblem der mathematischen logik. Math. Ann. 110(1), 390–413 (1935)

    Article  MathSciNet  Google Scholar 

  2. Alassaf, R., Schmidt, R.A.: A preliminary comparison of the forgetting solutions computed using SCAN, LETHE and FAME. In: Proceedings of SOQE 2017. CEUR Workshop Proceedings, vol. 2013, pp. 21–26 (2017)

    Google Scholar 

  3. Del-Pinto, W., Schmidt, R.A.: Forgetting-based abduction in \(\cal{ALC}\). In Proceedings of the SOQE 2017. CEUR Workshop Proceedings, vol. 2013, pages 27–35 (2017)

    Google Scholar 

  4. Grau, B.C., Motik, B.: Reasoning over ontologies with hidden content: the import-by-query approach. J. Artif. Intell. Res. 45, 197–255 (2012)

    MathSciNet  MATH  Google Scholar 

  5. Konev, B., Walther, D., Wolter, F.: Forgetting and uniform interpolation in large-scale description logic terminologies. In: Proceedings of the IJCAI 2009, pp. 830–835. IJCAI/AAAI Press (2009)

    Google Scholar 

  6. Koopmann, P.: Practical uniform interpolation for expressive description logics. Ph.D thesis. The University of Manchester, UK (2015)

    Google Scholar 

  7. Koopmann, P., Schmidt, R.A.: LETHE: saturation-based reasoning for non-standard reasoning tasks. In: Proceedings of the DL 2015. CEUR Workshop Proceedings, vol. 1387, pp. 23–30 (2015)

    Google Scholar 

  8. Ludwig, M., Konev, B.: Practical uniform interpolation and forgetting for \(\cal{ALC}\) TBoxes with applications to logical difference. In: Proceedings of the KR 2014, pp. 318–327. AAAI Press (2014)

    Google Scholar 

  9. Matentzoglu, N., Parsia, B.: BioPortal Snapshot 30.03.2017, March 2017

    Google Scholar 

  10. Wang, K., Wang, Z., Topor, R.W., Pan, J.Z., Antoniou, G.: Eliminating concepts and roles from ontologies in expressive descriptive logics. Comput. Intell. 30(2), 205–232 (2014)

    Article  MathSciNet  Google Scholar 

  11. Zhao, Y., Schmidt, R.A.: Concept forgetting in \(\cal{ALCOI}\)-ontologies using an Ackermann approach. In: Arenas, M., Corcho, O., Simperl, E., Strohmaier, M., Srinivas, K., Groth, P., Dumontier, M., Heflin, J., Thirunarayan, K., d’Aquin, M., Staab, S. (eds.) ISWC 2015. LNCS, vol. 9366, pp. 587–602. Springer, Cham (2015). https://doi.org/10.1007/978-3-319-25007-6_34

    Chapter  Google Scholar 

  12. Zhao, Y., Schmidt, R.A.: Forgetting concept and role symbols in \(\cal{ALCOIH}\mu ^{+}(\nabla , \sqcap )\)-Ontologies. In: Proceedings of the IJCAI 2016, pp. 1345–1352. IJCAI/AAAI Press (2016)

    Google Scholar 

  13. Zhao, Y., Schmidt, R.A.: Role forgetting for \(\cal{ALCOQH}\)\((\nabla )\)-Ontologies using an Ackermann-based approach. In: Proceedings of the IJCAI 2017, pp. 1354–1361. IJCAI/AAAI Press (2017)

    Google Scholar 

Download references

Acknowledgements

We would like to thank the EPSRC IAA 204 (AR4MO) and Babylon Health for funding.

Author information

Authors and Affiliations

  1. School of Computer Science, The University of Manchester, Manchester, UK

    Yizheng Zhao & Renate A. Schmidt

Authors
  1. Yizheng Zhao
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Renate A. Schmidt
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Yizheng Zhao .

Editor information

Editors and Affiliations

  1. Université de Lorraine, Vandoeuvre-lès-Nancy, France

    Didier Galmiche

  2. Baden-Wuerttemberg Cooperative State University, Stuttgart, Germany

    Stephan Schulz

  3. University of Trento, Trento, Italy

    Roberto Sebastiani

Rights and permissions

Reprints and permissions

Copyright information

© 2018 Springer International Publishing AG, part of Springer Nature

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Zhao, Y., Schmidt, R.A. (2018). FAME: An Automated Tool for Semantic Forgetting in Expressive Description Logics. In: Galmiche, D., Schulz, S., Sebastiani, R. (eds) Automated Reasoning. IJCAR 2018. Lecture Notes in Computer Science(), vol 10900. Springer, Cham. https://doi.org/10.1007/978-3-319-94205-6_2

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-94205-6_2

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-94204-9

  • Online ISBN: 978-3-319-94205-6

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation