Specification of the terminology of the ontology within a formal language such as first-order logic

• 采用一种形式化语言编写该本体术语的规格说明书