Clark & Parsia.

What is an ABox query?

An ABox query is a query about individuals and their relationship to data and other individuals through (datatype or object) properties. In SPARQL, an ABox query must satisfy three conditions:

1. They contain no variables in the predicate position.
2. Each property used in the predicate position is either a (datatype or object) property defined in the ontology or one of the following built-in properties: rdf:type, owl:sameIndividualAs, owl:differentFrom.
3. If rdf:type is used in the predicate position, a constant URI denoting an OWL class (or a class expression) is used in the object position.