Deciding Subsumers of Least Fixpoint Concepts w.r.t. general $$\mathcal{EL}$$ -TBoxes

KI 2015: Advances in Artificial Intelligence - Lecture Notes in Computer Science ◽

10.1007/978-3-319-24489-1_5 ◽

2015 ◽

pp. 59-71

Author(s):

Shasha Feng ◽

Michel Ludwig ◽

Dirk Walther

Download Full-text