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. Thus we check the feasibility of the rule by
  -using queries described in Listing [list:query_for_same_as],
  -[list:query_for_see_also].
  -+
  +using queries described in Listing <<query_for_same_as>>,
  +<<query_for_see_also>>.
  ++
  +[[query_for_same_as]]
  +.A Query for a Same AS Statement
   ....
   PREFIX owl:<http://www.w3.org/2002/07/owl#>
   SELECT
  
positive.code: 3.  Datatypes
  +
  We retrieve a list of datatypes using a query described in Listing
  [list:query_for_datatypes_on_a_graph].
  +
  ....
  SELECT DISTINCT (datatype(?o) AS ?ldt)
  FROM <g>
  
negative.code: 4.  Properties
  +
  We retrieve a list of properties using a query described in Listing
  <<query_for_properties_on_a_graph>>.
  +
  [[query_for_properties_on_a_graph]]
  .Obtain the properties on a graph g
  ....
  SELECT DISTINCT ?p
          FROM <g>
  