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

Zhe Wang, Kewen Wang, Rodney W. Topor, Xiaowang Zhang. Tableau-based Forgetting in [Ascr ][Lscr ][Cscr ] Ontologies. In Helder Coelho, Rudi Studer, Michael Wooldridge, editors, ECAI 2010 - 19th European Conference on Artificial Intelligence, Lisbon, Portugal, August 16-20, 2010, Proceedings. Volume 215 of Frontiers in Artificial Intelligence and Applications, pages 47-52, IOS Press, 2010. [doi]

Possibly Related Publications

The following publications are possibly variants of this publication: