anchor.diff:  vocabularies owl:sameAs or rdfs:seeAlso. We think if there are any
   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, 12>>,
  -<<query_for_see_also, 13>>.
  -+
  -[[query_for_same_as]]
  -.Listing 12. A Query for a Same AS Statement
  +using queries described in Listing <<query_for_same_as_on_a_graph, 19>>,
  +<<query_for_see_also_on_a_graph, 20>>.
  ++
  +[[query_for_same_as_on_a_graph]]
  +.Listing 19. A Query for a Same AS Statement on a graph g
   ....
   PREFIX owl:<http://www.w3.org/2002/07/owl#>
   SELECT
  
positive.code:       )
      }
  }
  
  ....
  3.  Datatypes
  +
  If there is GRAPH clause being applied, we retrieve a list of datatypes using a query described in Listing
  <<query_for_datatypes_on_a_graph, 8>>.
  +
  [[query_for_datatypes_on_a_graph]]
  .Listing 8. Obtain the datatypes on a graph g
  ....
  SELECT DISTINCT (datatype(?o) AS ?ldt)
  FROM <g>
  
negative.code: WHERE{
          [] rdf:type ?c.
  }
  ....
  +
  [[query_for_classes_on_background_graph]]
  .Listing 7. Obtain the classes on the background graph
  ....
  PREFIX rdfs: <http://www.w3.org/2000/01/rdf-schema#>
  PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
  SELECT DISTINCT ?c
  WHERE {
    { ?c rdf:type rdfs:Class. }
    UNION
    { [] rdf:type ?c. }
    UNION
    { [] rdfs:domain ?c. }
    UNION
    { [] rdfs:range ?c. }
    UNION
    { ?c rdfs:subclassOf []. }
    UNION
    { [] rdfs:subclassOf ?c. }
  }
  LIMIT 100
  ....
  +
  [[query_for_classes_having_instances_on_background_graph]]
  .Listing 8. Obtain the classes having instances on the background graph
  ....
  PREFIX rdf:
  SELECT DISTINCT ?c
  WHERE{
          [] rdf:type ?c.
  }
  ....
  2.  Labels
  +
  If there is GRAPH clause being applied, we retrieve a list of labels using a query described in Listing
  <<query_for_labels_of_classes_on_a_graph, 9>>.
  +
  [[query_for_labels_of_classes_on_a_graph]]
  .Listing 9. Obtain labels of the classes c1 c2 ... cn from a graph g
  ....
  PREFIX rdfs: <http://www.w3.org/2000/01/rdf-schema#>
  SELECT DISTINCT ?c ?label
  