SPAR语义网规范,定义了一系列的正交,互补的本体集。