¶
1.4.6. What inferencing is supported?
Subclass, subproperty, identity by inverse-functional properties, and owl:sameAs are processed at run time if an inference context option is specified in the query.
There is a general-purpose transitivity feature that can be used for a wide variety of graph algorithms. For example:
SELECT ?friend
WHERE
{
<alice> foaf:knows ?friend option (transitive)
}
would return all the people directly or indirectly known by <alice>.