Conjunctive Query Answering over an f-ALC Knowledge Base | IEEE Conference Publication | IEEE Xplore