Extending the Description Logic tEL(deg) with acyclic TBoxes

Franz BaaderFranz Baader, Oliver Fernandez GilOliver Fernandez Gil

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

Details
Bibtex

Projekt:Project: QuantLA
Forschungsgruppe:Research Group: AutomatentheorieAutomata Theory

@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}
}