Formal refers to the fact that the ontology should be machine readable.

• 正式指的是本体应该能够被机器读这个事实。