This is one of the more interesting things which I have run across. Epistematica's article A new approach for Digital Financial Reporting states (the emphasis is mine):
Epistematica has studied and experimented an original approach for the XBRL-based Digital Financial Reporting, that introduces the possibility of defining the semantics of financial facts.
This approach is based in a strongly logical knowledge representation that aims at running inferential processes to automatically extract knowledge that is implicit in balance sheets and notes.
This is exactly on target: make the implicit knowledge explicit and articulate this explicit knowledge using a format understandable by computer software.
They seem to be calling their approach "Semantic Financial Reporting". I like that term even better than Digital Financial Reporting.