知识库是（）与数据库技术相结合的产物，研究如何在数据库中加入（）或知识，以使数据库具有推理能力或知识。