"Implementing" OWL RL in SPARQL https://lists.wikimedia.org/pipermail/wikidata/2015-November/007607.html SPARQLは難しくないことを示すためにOWL RLの推論公理をCONSTRUCTで示してみせたところ、それは不十分だけれどQL推論なら書けるという論文が示されたり