PAC-Reasoning in Relational Domains