Extending the Description Logic tEL(deg) with acyclic TBoxes

From International Center for Computational Logic

Toggle side column

Extending the Description Logic tEL(deg) with acyclic TBoxes

Franz BaaderFranz Baader,  Oliver Fernandez GilOliver Fernandez Gil
Extending the Description Logic tEL(deg) with acyclic TBoxes


Franz Baader, Oliver Fernandez Gil
Extending the Description Logic tEL(deg) with acyclic TBoxes
Proceedings of the 22nd European Conference on Artificial Intelligence (ECAI 2016), to appear
@inproceedings{BG2016,
  author    = {Franz Baader and Oliver Fernandez Gil},
  title     = {Extending the Description Logic {tEL(deg)} with acyclic {TBoxes}},
  booktitle = {Proceedings of the 22nd European Conference on Artificial
               Intelligence (ECAI 2016)},
  year      = {2016},
  month     = {September}
}