国际上流行的权利描述语言中，基于逻辑权利描述语言的是（　　）。