Sciweavers

DLOG
2007
14 years 1 months ago
Conjunctive Query Entailment for SHOQ
An important reasoning task, in addition to the standard DL reasoning services, is conjunctive query answering. In this paper, we present a decision procedure for conjunctive query...
Birte Glimm, Ian Horrocks, Ulrike Sattler