Complete and formal description method of spatial relation semantics is emphasized in GIS research field. Dynamic and fuzzy spatial relations make the method very complicated.
完备和形式化的空间关系语义描述方法一直是GIS理论研究的重点，空间关系的动态性和模糊性决定了描述方法的复杂性。
Firstly the method of knowledge representation by owl ontologies is researched, then the formal and semantic description is introduced, and finally knowledge is represented by an instance.
本文在研究owl本体进行知识表示的机制后，阐述形式化表示及语义说明方法，并结合实例说明知识的表示。
This method takes formal description of protocols as input, and is easy to be automated, also generates a shorter test sequence, promotes the test efficiency.
这种方法以协议的形式化描述为输入，易于自动化实现，同时生成的测试序列较短，提高了测试效率。
应用推荐