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

Глава

Inseparability and conservative extensions of description logic ontologies: A survey

P. 27-89.
Zakharyaschev M., Botoeva E., Konev B. Y., Lutz C., Ryzhikov V., Wolter F.