Author:
Baader Franz,Mendez Julian,Morawska Barbara
Publisher
Springer Berlin Heidelberg
Reference9 articles.
1. Baader, F.: Terminological cycles in a description logic with existential restrictions. In: Proc. IJCAI 2003 (2003)
2. Baader, F., Brandt, S., Lutz, C.: Pushing the $\mathcal{EL}$ envelope. In: Proc. IJCAI 2005 (2005)
3. Lecture Notes in Computer Science;F. Baader,2009
4. Lecture Notes in Computer Science;F. Baader,2010
5. Baader, F., Morawska, B.: Unification in the description logic $\mathcal{EL}$ . Logical Methods in Computer Science 6(3) (2010)
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献