anchor.diff:  statement of which property is owl:sameAs or rdfs:seeAlso, the endpoint
   is satisfied with the rule. If there is GRAPH clause being applied, we check the feasibility of the rule by
   using queries described in Listing <<query_for_same_as_on_a_graph, 19>>,
  -<<query_for_see_also_on_a_graph, 20>>.
  +<<query_for_see_also_on_a_graph, 20>> if there is GRAPH clause being applied;
  +otherwise Listing <<query_for_same_as_on_background_graph, 21>>,
  +<<query_for_see_also_on_background_graph, 22>>
  +
   +
   [[query_for_same_as_on_a_graph]]
   .Listing 19. A Query for a Same AS Statement on a graph g
  
positive.code: |==========================================
  1.  Classes
  +
  If there is GRAPH clause being applied, we retrieve a list of classes using a query described in Listing
  <<query_for_classes_on_a_graph, 5>> and
  <<query_for_classes_having_instances_on_a_graph, 6>>.
  +
  [[query_for_classes_on_a_graph]]
  .Listing 5. Obtain the classes on a graph g
  
negative.code: ....
  3.  Datatypes
  +
  We retrieve a list of datatypes using a query described in Listing
  <<query_for_datatypes_on_a_graph, 11>> if there is GRAPH clause being applied;
  otherwise Listing
  <<query_for_datatypes_on_background_graph, 12>>.
  +
  [[query_for_datatypes_on_a_graph]]
  .Listing 11. Obtain the datatypes on a graph g
  