形式本体

形式本体是用形式化语言表达的，对于共享概念体系的明确而又详细的说明。