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

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

基本释义

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