本体源自哲学，在计算机与知识工程中指的是对某一领域内概念、属性及其关系的显式、形式化规格，常见形式包括类、属性、实例、关系约束。