1）目前使用的查询语言是SPARQL语言，还是Conjunctive queries，或者是其他的什么语言？这些查询语言之间的关系是什么，可以相互转化吗？在目前的Pellet、Jena等软件上，实现了吗？

2）当在O上进行查询时，比如说Query式为：(x) <--- C(x)P(x,y)D(y)，执行的过程是什么，我的意思是，这个查询将会转化为哪些推理的过程，比如说最笨的方法就是，穷举所有的可能:

for a in all individuals of O
for b in all individuals of O
     check if O \entail C(a)P(a,b)D(b)

或者

for a in all individuals of O
  check if O \entail C(a), put the entailed into S1;
  check if O \entail D(a), put the entailed into S2;
for b in S1
  for c in S2
    check if O \entail C(b)P(b,c)D(c)

当然实际情况肯定不会使用这么低效的方法，目前有哪些优化的算法呢？

希望大家能给些提示和参考文献，谢谢！