对空间方向关系的分类等基本问题的研究可望逐步解决其形式化描述模型的建立问题。

The study of the classification about spatial direction relationships may progressively solve the problem of establishing the formal direction relation model.

youdao

RDF是一个具有Web XML序列化的元数据系统，即用于描述Web资源形式化陈述集合的模型。

RDF is a metadata system with an XML serialization for the Web, a model for describing collections of formalized statements about a Web resource.

youdao

给出了ERBAC的动态授权管理框架，最后用形式化语言描述了ERBAC模型满足的规则。

This paper first describes the ERBAC mainframe of the management of authorization, and then gives the formal rules that ERBAC model must meet.

youdao