Ontologies and knowledge bases: Towards a terminological clarification
Logical Foundations Of Artificial Intelligence