Author:
Baader Franz,Borgwardt Stefan,Morawska Barbara
Publisher
Springer Berlin Heidelberg
Reference18 articles.
1. Baader, F., Borgwardt, S., Mendez, J., Morawska, B.: UEL: Unification solver for
$\mathcal{EL}$
. In: Proc. DL 2012. CEUR Workshop Proceedings, vol. 846 (2012)
2. Baader, F., Borgwardt, S., Morawska, B.: Extending unification in
$\mathcal{EL}$
towards general TBoxes. In: Proc. KR 2012, pp. 568–572. AAAI Press (2012) (short paper)
3. Baader, F., Borgwardt, S., Morawska, B.: A goal-oriented algorithm for unification in
$\mathcal{ELH}_{R+}$
w.r.t. cycle-restricted ontologies. LTCS-Report 12-05, TU Dresden, Germany (2012),
http://lat.inf.tu-dresden.de/research/reports.html
4. Baader, F., Borgwardt, S., Morawska, B.: A goal-oriented algorithm for unification in
$\mathcal{EL}$
w.r.t. cycle-restricted TBoxes. In: Proc. DL 2012. CEUR Workshop Proceedings, vol. 846 (2012)
5. Lecture Notes in Computer Science;F. Baader,2012
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献