DAML and Jena - slide "DAML Query Language"

the (current) top of the query language hierarchy

likely to support existentials (e.g. father implied by cardinality constraints and/or blank nodes)
latest proposal
see http://ksl.stanford.edu/projects/dql/