Decidable, logic-based knowledge representation