This approach use tree index and theorem about leaforder region to evaluate semiflexible queries over ontology tree.

• 该方法通过建立索引和使用叶序区间判断SF-Condition(半柔性条件)是否满足实现本体上的半柔性查询求解。