Forgetting concept and role symbols in ALCH-ontologies

Patrick Koopmann, Renate A. Schmidt

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review


We develop a resolution-based method for forgetting concept and role symbols in ALCH ontologies, or for computing uniform interpolants in ALCH . Uniform interpolants use only a restricted set of symbols, while preserving logical consequences of the original ontology involving these symbols. While recent work towards practical methods for uniform interpolation in expressive description logics limits attention to forgetting concept symbols, we believe most applications would benefit from the possibility to forget both role and concept symbols. We focus on the description logic ALCH, which allows for the formalisation of role hierarchies. Our approach is based on a recently developed resolution-based calculus for forgetting concept symbols in ALC ontologies, which we extend by redundancy elimination techniques to make it practical for larger ontologies. Experiments on ALCH fragments of real life ontologies suggest that our method is applicable in a lot of real-life applications. © Springer-Verlag 2013.
Original languageEnglish
Title of host publicationLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|Lect. Notes Comput. Sci.
EditorsKen McMillan, Aart Middeldorp, Andrei Voronkov
PublisherSpringer Nature
Number of pages15
ISBN (Print)9783642452208
Publication statusPublished - Dec 2013
Event19th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2013 - Stellenbosch
Duration: 1 Jul 2013 → …


Conference19th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2013
Period1/07/13 → …
Internet address


  • uniform interpolation
  • forgetting
  • description logic
  • resolution
  • second-order quantifier elimination
  • fixpoints


Dive into the research topics of 'Forgetting concept and role symbols in ALCH-ontologies'. Together they form a unique fingerprint.

Cite this