# Query11
PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
PREFIX ub: <http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#>
SELECT * WHERE
{
	?x rdf:type ub:ResearchGroup .
	?x ub:subOrganizationOf <http://www.University0.edu> .
}
# (type ResearchGroup ?X)
# (subOrganizationOf ?X http://www.University0.edu)
# - Query 11, 12 and 13 are intended to verify the presence of certain reasoning capabilities in the system. In this query, property subOrganizationOf is defined as transitive. Since in the benchmark data, instances of ResearchGroup are stated as a sub-organization of a Department individual and the later suborganization of a University individual, inference about the subOrgnizationOf relationship between instances of ResearchGroup and University is required to answer this query. Additionally, its input is small.