Data-Complexity of the Two-Variable Fragment with Counting Quantifiers
  The data-complexity of both satisfiability and finite satisfiability for the two-variable fragment with counting is NP-complete; the data-complexity of both query-answering and finite query-answering for the two-variable guarded fragment with counting is co-NP-complete. 
Ian Pratt-Hartmann