Subsumption in $\mathcal{EL}$ w.r.t. Hybrid TBoxes

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

10.1007/11551263_5 ◽

2005 ◽

pp. 34-48 ◽

Cited By ~ 3

Author(s):

Sebastian Brandt ◽

Jörg Model

Download Full-text