It should not only be possible to reason about a knowledge representation, but also to do so efficiently, with acceptable levels of computatonal power to be economic and sufficiently quickly to be useful.
Used in glossary entries: knowledge representation