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]

@inproceedings{WangWTZ10,
  title = {Tableau-based Forgetting in [Ascr ][Lscr ][Cscr ] Ontologies},
  author = {Zhe Wang and Kewen Wang and Rodney W. Topor and Xiaowang Zhang},
  year = {2010},
  doi = {http://www.booksonline.iospress.nl/Content/View.aspx?piid=17712},
  tags = {ontologies, rule-based, ontology},
  researchr = {http://researchr.org/publication/WangWTZ10},
  cites = {0},
  citedby = {0},
  pages = {47-52},
  booktitle = {ECAI 2010 - 19th European Conference on Artificial Intelligence, Lisbon, Portugal, August 16-20, 2010, Proceedings},
  editor = {Helder Coelho and Rudi Studer and Michael Wooldridge},
  volume = {215},
  series = {Frontiers in Artificial Intelligence and Applications},
  publisher = {IOS Press},
  isbn = {978-1-60750-605-8},
}