236 search results - page 5 / 48 » el 2007 |
GECCO
2007
Springer
14 years 17 days ago
2007
Springer
CADE
2007
Springer
14 years 9 months ago
2007
Springer
We bring together two recent trends in description logic (DL): lightweight DLs in which the subsumption problem is tractable and conservative extensions as a central tool for forma...
FCCM
2007
IEEE
14 years 3 months ago
2007
IEEE
ECOWS
2007
Springer
14 years 2 months ago
2007
Springer
LPAR
2007
Springer
14 years 2 months 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...