docs w/ ptrs to vocab, axioms

Hi,

Near the end of the exposition at http://www.w3.org/DesignIssues/Logic.html
the author suggests that one way forward for standards would be to allow

"each document and message on the semantic web to have a pointer to the 
vocabulary [it] uses, including its varieties of logical connectives and 
their [associated] axioms"

Are people actively investigating this approach?

Thank you.

Jim