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

  • Yizheng Zhao
  • Renate A. Schmidt
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 10900)


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.



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


  1. 1.
    Ackermann, W.: Untersuchungen über das eliminationsproblem der mathematischen logik. Math. Ann. 110(1), 390–413 (1935)MathSciNetCrossRefGoogle Scholar
  2. 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. 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. 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)MathSciNetzbMATHGoogle Scholar
  5. 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. 6.
    Koopmann, P.: Practical uniform interpolation for expressive description logics. Ph.D thesis. The University of Manchester, UK (2015)Google Scholar
  7. 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. 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. 9.
    Matentzoglu, N., Parsia, B.: BioPortal Snapshot 30.03.2017, March 2017Google Scholar
  10. 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)MathSciNetCrossRefGoogle Scholar
  11. 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). Scholar
  12. 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. 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

Copyright information

© Springer International Publishing AG, part of Springer Nature 2018

Authors and Affiliations

  1. 1.School of Computer ScienceThe University of ManchesterManchesterUK

Personalised recommendations