Okay, so you have triples across named graphs associated with your TBox and ABox.
If your physical counts of triples reconcile, using count(*), you can test semantic integrity by re-running queries that you’ve built using existing inference rules to see if the solutions remain intact.
Links:
- Sample Inference Rules Collection from our Github Repo