• A
  • A
  • A
  • АБB
  • АБB
  • АБB
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта

Глава

Conservative rewritability of description logic TBoxes

P. 1153-1159.
Konev B. Y., Lutz C., Wolter F., Zakharyaschev M.