fact checking for semantic reasoners

Good morning good peoples

I am following up on a few ideas shared earlier this year at the first
workshop for linked data provenance.

http://wiki.esi.ac.uk/Workshop:_Understanding_Provenance_and_Linked_Open_Data

hope that perhaps someone on this list (or the related WG list to which I am
not subscribed, if someone could xpost there) could help to answer the
question below

Had a few conversations in recent years, where it was suggested that
semantic reasoners
do not support fact checking, ie, that axioms are not verified as being
true, rather
assumed to be true.

Is this true? (pardon the pun)


The question is, does any of the popular semantic reasoners
have built in fact checking routines?

I can of course answer this question by checking one by one, trying to save
myself a bit of work
by asking the list

Thanks in advance for sharing any knowledge you may have o this topic
(answered will be referenced and acknowledged in any write up that may
follow)

thank you!

PDM