192
click to vote
LPAR
2007
Springer
16 years 12 days ago
2007
Springer
We study the data complexity of instance checking and conjunctive query answering in the EL family of description logics, with a particular emphasis on the boundary of tractability...