Query answering in concept-based knowledge representation systems: algorithms, complexity, and sematic issues