Tableau-based Forgetting in [Ascr ][Lscr ][Cscr ] Ontologies.

Zhe Wang, Kewen Wang, Rodney W. Topor, Xiaowang Zhang

Browse the full ECAI paper archive.