体语言，又称为“"本体论语言"”，是一种用于编制本体的形式化语言。目前，存在着许许多多此类的本体语言，既包括专有的，也包括基于标准的：
本体库.为互联网开发各种本体的工作，已经孕育出那些具有搜索功能的，提供本体目录（）或列表的服务。此类目录就称为“"本体库"”。如下是一些采用人工方式选择出来的本体所构成静态库：下列这些即是目录，同时又是搜索引擎。其中，包括用于在互联网上搜索良构性本体的搜寻器。
常用本体工具.
本体编辑器.