A Tableaux-Based Method for Computing Least Common Subsumers for Expressive Description Logics

Cite

Text

Donini et al. "A Tableaux-Based Method for Computing Least Common Subsumers for Expressive Description Logics." International Joint Conference on Artificial Intelligence, 2009.

Markdown

[Donini et al. "A Tableaux-Based Method for Computing Least Common Subsumers for Expressive Description Logics." International Joint Conference on Artificial Intelligence, 2009.](https://mlanthology.org/ijcai/2009/donini2009ijcai-tableaux/)

BibTeX

@inproceedings{donini2009ijcai-tableaux,
  title     = {{A Tableaux-Based Method for Computing Least Common Subsumers for Expressive Description Logics}},
  author    = {Donini, Francesco M. and Colucci, Simona and Di Noia, Tommaso and Di Sciascio, Eugenio},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {2009},
  pages     = {739-745},
  url       = {https://mlanthology.org/ijcai/2009/donini2009ijcai-tableaux/}
}