Term Subsumption Languages in Knowledge Representation

Jim when we want to define the class of should be justified by something Schmolze argued that if you think of people who work in specific institutions), other than the code implementing a sort of lingua franca for knowledge (2) when a concept definition the system. However, interpreting the representation, you can't be committed depends on the assertional properties two terms efficient and principled as to the difference between terminological of its instances (as with gray elephants, worst-case tractability and soundness and assertional knowledge for example), and (3) when and completeness with respect to the or even between roles and concepts.